I didn't know that, but as a research activity Microsoft developed a verifier for concurrent C programs. They planned to use the verifier (VCC) to prove correctness of Hyper-V.
To verify your program you have to add special annotations describing state assertions, function contracts and type invariants. VCC will generate a set of mathematical statements and try to prove them using an automatic theorem prover.

https://archive.codeplex.com/?p=vcc

13 апреля в павильоне "Книги" ВВЦ пройдет презентация художественной книги Александра Панчина. Александр расскажет, чем страшна апофения - недуг, которым страдает общество из его антиутопии. Апофения - фантастическое произведение, но через него автор знакомит нас с распространенным когнитивным искажением, последствиями этой ошибки восприятия для личности и общества.

Требуется бесплатная регистрация на мероприятие.

https://fgbuk-gmvts-rosizo.timepad.ru/event/936354/

Pixie is a minimal cross-platform C++ library for simple drawing and input handling. It also includes a simple immediate GUI framework with a set of basic UI-elements like buttons, input fields, etc. Only Windows and MacOS backends are supported, but it should be easy to add X11 one.

https://github.com/samizzo/pixie

A blog by Drew DeVault — the author of Sway and Sourcehut.

https://drewdevault.com

A paper on the design of Orca — a novel approach to automatic memory reclaim used in the Pony programming language.

https://www.ponylang.io/media/papers/orca_gc_and_type_system_co-design_for_actor_languages.pdf

A static site generator with incremental updates written in shell:

https://www.romanzolotarev.com/ssg.html

I have always liked the idea that art cannot live without limitations. The finest masterpieces are born using the most primitive tools. Maybe that's why I love computer retro art and the demoscene. Today's link will be to an excellent archive of ANSI art. Thanks to this site, I also learned about the program ansilove, which allows you to convert popular formats of ANSI sketches to PNG images, as well as the editor of ANSI art — pablodraw.

https://16colo.rs/

A tour through the internals of the Go compiler.

https://blog.altoros.com/golang-part-1-main-concepts-and-project-structure.html

BASICO is a simple PASCAL-like imperative programming language implemented in less than 1000 lines of source code.

http://www.andreadrian.de/tbng/

I've found an eyes-pleasant light color scheme for Vim/NeoVim. There are also similar themes for other programs including tmux, st, etc (googling required).

https://github.com/morhetz/gruvbox

Wio is a new Wayland compositor that simulates the behaviour of Rio, the window manager of Plan 9.

https://wio-project.org

A compact and simple immediate GUI library written in C almost without external dependencies (needs qsort and some memory/string-related functions from libc, doesn't perform any memory allocation from heap).

https://github.com/rxi/microui

The author of the microui library also developed a wonderful atlas program that can create packed images with character sprites and icons. You run atlas and give it the path to the directory containing some ttf-font file and icons in the png format, in response, the program generates a png-picture containing letter sprites and icons, as well as a file describing the positions and sizes of the sprites.

Atlas depends only on stb libraries and libc, everything is available in the repository of the project.

https://github.com/rxi/atlas

I learned about another interesting hobby-operating system — Vanadium OS. This is a multitasking multiuser OS functioning in protected mode with a modular core and a GUI subsystem implemented at the kernel level.

https://github.com/p-durlej/newsys

A 3D-rasterizer written in C89 with clever design and compact implementation.

https://github.com/AgentD/swrast

A paper on the approach to implementation of high-quality resizable bitmap fonts using signed distance fields.

It turns out that there is a whole phenomenon in the world of computer games — fantasy game consoles. These are programs that simulate imaginary machines with the capabilities of retro consoles, and they usually have built-in game development tools: simple editors for code, sprites, game maps and sound effects. The most popular fantasy console, in my opinion, is PICO-8. It seems to be the most thoughtful and complete. There are many other similar programs, including open source ones.

Here is a link to a list of such consoles.

https://github.com/paladin-t/fantasy

A short series of articles on how to write a simple X11 reparenting window manager.

https://jichu4n.com/posts/how-x-window-managers-work-and-how-to-write-one-part-i/

Winnie is a tiny window system for Linux framebuffer written in C++.

https://github.com/hikiko/winnie

Serenity is an on-going project of Andreas Kling who implements own Unix-like operating system with aestetic of late-1990s. It already supports multithreading, POSIX-signals, mmap, local sockets, TCP/IP networking, GUI, etc. There are many user space applications working well in the operating system, they include a text editor, an IRC client, even two games!

https://github.com/SerenityOS/serenity

#osdev #system #programming #lowlevel