This awesome page made by Russ Cox gathers lots of materials related to efficient implementation of engines for regular expression search.

https://swtch.com/~rsc/regexp/

This page written by Russ Cox puts together info about verification of Plan9's synchronization primitives with Promela/Spin.

https://swtch.com/spin/

A partially POSIX-compliant operating system written in golang.

https://github.com/mit-pdos/biscuit

Harvey OS is a modern reincarnation of Plan9. It can be built with GCC, ICC or Clang on any popular operating system, has an updated APE subsystem and supports userspace development in golang. There are plans to add a new GUI, native toolchain and a file server.

https://harvey-os.org/

My colleague sent me a link to the article How to Write Unmaintainable Code — a kind of a best practices list but turned inside out. After reading you will know how to make the lives of your colleagues unbearable!

https://www.se.rit.edu/~tabeec/RIT_441/Resources_files/How%20To%20Write%20Unmaintainable%20Code.pdf

A blog post about drum sound synthesis with Web Audio API.

https://dev.opera.com/articles/drum-sounds-webaudio/

Direct link to the page on github:
https://chrislo.github.io/drum_synthesis/

NesC is a programming language similar to C with extensions for component-oriented programming on small platforms.

https://github.com/tinyos/nesc

TinyOS is an operating system for "smart dust" devices. It is written in NesC and provides component-based approach for applications programming. The kernel is linked statically with the developed application's components.

The system actively uses the concept of events and fits well for I/O-intensive areas.

Unfortunately, computing tasks cannot be preempted and run untill their end, so the programmer is responsible for task decomposition and chaining of its parts, just like in oberon systems.

https://github.com/tinyos/tinyos-main

An old but still interesting book — Symbolic Processing in Pascal.

This is difficult to categorize the book, it contains different topics and looks little bit unstructured but the content pleases anyway.

It starts from simple projects on translation and interpretation of propositional logic formulas. The first chapter results to a program that computes truth tables for logic formulas entered by the user. Next, the author describes how to program an interpreter for a model imperative language. The following chapter introduces higher order functions and their implementation in programming languages. The author explains how recursion and continuations can be implemented. He shows a design of a simple functional (and concatenative) language called Joy.

Following chapters focus on internals of a theorem prover for monadic logic, a database language and a verifier for Petri nets.

And all this stuff is written in Pascal!

https://www.latrobe.edu.au/__data/assets/file/0014/240305/Symbolic-Processing-in-Pascal.zip

A blog dedicated to retro computing and low-level programming.

https://www.pagetable.com/

Riot OS is a tiny operating system for small IoT-devices. You don't need any hardware to start development with Riot because it can work in hosted mode with HAL implemented on top of the Linux system calls.

The networking subsystem embedded to Riot kernel supports those trendy IoT stacks, protocols and data formats you've exactly heard about (IPv6, 6LoWPAN, RPL, Constrained Application Protocol and CBOR).

The system tries to be very compact and implements a part of the POSIX standard.

https://github.com/RIOT-OS/RIOT

A microkernel-based hobby OS with some non-standard solutions inside, custom build system written in shell and full-featured graphical interface.

https://ghostkernel.org

One more hobby OS with cute composite window system and a couple of applications.

There is a video with a presentation about this OS where one of the authors shows slides using a viewer under Toaru OS itself.

https://toaruos.org/

A blog about minimalist and terminal-oriented software for Linux.

https://inconsolation.wordpress.com/

Rover is a fast and simple filemanager for Linux terminal. It supports Vi-style navigation and significantly simplifies routine actions with files.

https://github.com/lecram/rover

I'm seriously worried about bloated software and websites. Programs become larger and slower, one webpage can be bigger than the whole DOOM distribution. Text editor can be slower than a 3D computer game computing shadows in realtime. I'm happy to see that others notice the problem too.

https://pxlnv.com/blog/bullshit-web/

https://www.wired.com/2016/04/average-webpage-now-size-original-doom/

Have you heard about tilde communities? Standalone Unix computers connected to the Internet which people share together for publishing websites, communication, learning programming and so on.

Tilde.Town is a most famous tilde community. Get a login and join this oldschool funny social network available from the Unix terminal via SSH.

http://tilde.town/

Lemon is a LALR parser generator written by Richard Hipp specially for the SQLite project. Lemon source code is short and well-commented. In opposite to other YACC-style parser generators it doesn't require global variables and can work in a multithreaded environment.

http://www.hwaci.com/sw/lemon/

Случайно нашел краткое руководство к Lemon parser generator на русском. На том же сайте есть переводы руководств и к другим генераторам парсеров, а также краткие заметки по теории трансляции.

https://ps-group.github.io/compilers/lemon_doc

A blog dedicated to programming for retro platforms.

http://www.retroprogramming.com/

An interesting article developing the idea of packrat parsers towards fast incremental parsing for IDEs and other applications where full re-parsing of the source text can take too much time.

The article contains a full example of a library for incremental and traditional packrat parsing in EcmaScript 6.

https://ohmlang.github.io/pubs/sle2017/incremental-packrat-parsing.pdf