In cooperation with IEEE Computer Society the event is focused on static analysis, program verification, bug detection, and software maintenance.

In Yekatirinburg! Might attend, if exams allow.

Выбор воды — решающий момент в успешном чаепитии. Вода либо раскрывает чай правильно и вкусно, либо меняет интенсивность оттенков в худшую сторону, оставляя нас с носом и невкусным чаем.

Черноголовка и Святой Источник норм. У Черноголовки смешные бутылки в 2.5 л, это им в плюс

A maintained rolling release DOS distribution with a package manager. What an incredible technology

A paper about the old NoteCards program. I printed it out on an office printer and read it, unlike most other papers I saved in this Betula.

Organizing data in notecards, linking them. Notecards are not scrollable. Fileboxes and Browsers, special notecards. They state the system is programmable, but no detailed description of programmability is given. Interface is not really detailed.

Overall, this paper is not enough. I shall look for more.

It would be a game-changer if all members of a basketball team could see out of each other's eyes in addition to their own. A research duo at Columbia's Zuckerman Institute has found evidence that this kind of collective sensing occurs in close-knit groups of African weakly electric fish, also known as elephantnose fish. This instantaneous sharing of sensory intelligence could help the fish locate food, friends and foes.

3D DOM viewer, copy-paste this into your console to visualise the DOM topographically. - DOM3D.js

Back in the day, centering an element was one of the trickiest things in CSS. As the language has evolved, we’ve been given lots of new tools we can use… But how do we pick the best option? When do we use Flexbox, or CSS Grid, or something else? Let's dig into it.

From table hacks to CSS kludges, these are some of the techniques that helped web developers get their fancy pages on the internet.

Гришка учит Активитипабу. Вовремя!

This module provides go bindings for sqlean. It is compatible with the popular mattn/go-sqlite3 driver.

It might be worth to prepare your data for a big electric spark. The spark is unlikely, but still. Your safest bets are discs and paper, the two optical storage media.

Антон Жиянов рекламирует свой новый реестр. Там показано, как расширение в Го подключить, может пригодиться потом.

Command Line Programs for the Blind

Karl Dahlke on blind a11y. Note that Karl is the creator of edbrowse.

Seems like a continuation of the previous article: 186

Varaboy is a Game Boy emulator written in uxntal for the Varvara system.