Eduard Gomoliako Gems

The Power of Ten – Rules for Developing Safety Critical Code

Author: Gerard J. Holzmann
Institution: NASA/JPL Laboratory for Reliable Software
Location: Pasadena, CA 91109

Introduction

JSpecify nullness design FAQ

As JSpecify is still in early stages, the link you followed has brought you to a draft document, which we are using for ease of editing. In the unspecified future this will become markdown hosted at jspecify.org, and as we update links we will make them into deep-links to the appropriate section (sorry that for now you were brought only to the top).

Project members: please edit at will; comment only if unsure of a change.

Can’t you see that nullness annotations are ugly, and we’d be better off with a String? language feature like Kotlin has?

Yep.

Страницы Фогейма. Общие требования к верстке.

Требования к браузерам

Последние 2-3 версии Firefox, Chrome и Opera Next, а также IE 10+ и Opera 12.1+.

Для проектов, для которых предусмотрены мобильные версии – корректная работа в iOS Safari 6.1+ и браузер по-умолчанию в Android 4+.

HTML

Стараемся использовать не только <div> и <span>, но и другие элементы в зависимости от семантики контента. Тексты предпочтительнее обрамлять в предусмотреных для этого <h?> и <p> и т. п.

	import nl.altindag.ssl.SSLFactory; // io.github.hakky54:sslcontext-kickstart

	@NoArgsConstructor
	public class HttpClientConfigurerTrustAllCACerts implements HttpClientConfigurer {

	@Override
	@SneakyThrows
	public void configureHttpClient(HttpClientBuilder clientBuilder) {

	// val sslContext = SSLContexts.custom().loadTrustMaterial(null, (cert, authType) -> true).build();

	package camel.test;

	import lombok.SneakyThrows;
	import lombok.val;
	import org.apache.camel.EndpointInject;
	import org.apache.camel.Produce;
	import org.apache.camel.ProducerTemplate;
	import org.apache.camel.builder.RouteBuilder;
	import org.apache.camel.component.mock.MockEndpoint;
	import org.apache.camel.test.junit5.CamelTestSupport;

	class Accessor {
	private static final MethodHandle methodHandle;

	private static final String METHOD_NAME = "methodName";

	static {
	try {
	val declaredMethod = Target.class.getDeclaredMethod(METHOD_NAME);
	declaredMethod.setAccessible(true);

	#!/usr/bin/env bash

	LOG_FILE=/dev/null

	exec > >(tee -a $LOG_FILE >&1)
	exec 2> >(tee -a $LOG_FILE >&2)

	if [ -n "$GIT_COMMITTER_DATE" ]; then
	FST="--faked-system-time $(date -j -f '%Y-%m-%dT%H:%M:%S' $GIT_COMMITTER_DATE +'%s')"
	fi

	#!/usr/bin/env bash

	TMP_FILE=/tmp/docker-compose.$$.yaml

	finish() {
	rm ${TMP_FILE} ${TMP_FILE}.tmp 2>/dev/null
	}

	trap finish EXIT

	server {
	listen 80;
	server_name ~^(?<domain>.+)$;

	set $htdocs "/usr/local/var/www/$domain/";

	root $htdocs;
	index index.html;

	set $auth "off";