Zero Dereference – Telegram
Zero Dereference
127 subscribers
3 photos
3 files
372 links
Interesting links related to systems programming, hacking, and science.

Contact: @richiefreedom
Download Telegram
Visopsys is an old but still alive OSdev project performed generally by only one author.

https://visopsys.org
A good introduction to the internals of Prolog.

https://www.amzi.com/articles/prolog_under_the_hood.htm
A perfect book on the art of solving problems by Sanjoy Mahajan. You can download the PDF version for free (see the "Open Access" tab).

https://mitpress.mit.edu/books/street-fighting-mathematics
I used many TUI-based TODO lists, there are plenty of them in GNU/Linux: todolist, ikog, todo.txt, yokadi and others. All of them are too simple for serious use, I think. But it looks like I've eventually found the golden middle - powerfull enough but still terminal friendly utility. Its name is Calcurse.

https://calcurse.org

One more tool looks very similar to Calcurse and definitely deserves your attention. This is Taskwarrior.

https://taskwarrior.org
Judy array is an effective sparse data structure implementing an interface of associative arrays.

http://judy.sourceforge.net
Электронная книга на русском с последовательным введением в язык Perl. Книга особенная, потому что фокусируется на примерах реализации алгоритмов, а не на тонкостях самого языка. Список примеров просто огромен.

http://mech.math.msu.su/~shvetz/54/inf/perl-problems/index.xhtml
Отличная книга в формате презентации про язык METAPOST.

http://mech.math.msu.su/~shvetz/54/inf/metapost/mpshort.pdf
ATS is a functional programming language inspired by ML and C++ with support of dependent and linear types. It also supports a subsystem for interactive theorem proving. As the author of the language wrote, ATS unifies implementation with formal specification.

http://www.ats-lang.org
DMVN - ресурс сделанный мехматовцами для мехматовцев с лекциями по основным направлениям и спецкурсам физики и математики, аккуратно сверстанными в LaTeX.

http://dmvn.mexmat.net
Sortix is a small POSIX-compliant self-hosting OS written from scratch and distributed under the terms of ISC license. What a nice mascotte!

https://sortix.org
LinageOS is an alternative Android distribution. It is fast, small and secure. I have installed it on my Xiaomi Redmi 3 today and it works perfectly!

https://lineageos.org/
A series of blog posts describing the memory manager of the Linux i915 driver. Eventually clears how buffer objects are managed and mapped using GTT and PPGTT.

https://bwidawsk.net/blog/index.php/2014/06/the-global-gtt-part-1/

Use the main menu to access other posts.
MPC is a pure C library implementing parser combinators. You can write your parser using basic parsers and combinators from the library or just describe a grammar to generate the corresponding parser automatically.

https://github.com/orangeduck/mpc
This longread is a great way to show non-technical people what the programming is and why it is difficult but still interesting.

https://www.bloomberg.com/graphics/2015-paul-ford-what-is-code/

It's better to read the article in the desktop, full-featured browser, because the text contains many dynamic interactive examples.
Terry Davis has passed away in August. I didn't know that. In spite of his conflictness in community he was a brilliantly productive programmer. His last year was dufficult and finished tragically. Use links below to read more about him and his software.

https://en.m.wikipedia.org/wiki/Terry_A._Davis

https://en.m.wikipedia.org/wiki/TempleOS

https://motherboard.vice.com/en_us/article/wnj43x/gods-lonely-programmer

https://www.templeos.org/
Many members of the OSDEV community thought that Terry Devis was a kind of computer freak and considered his OS as an odd job. But, actually, Temple OS always had many strong features that one couldn't find in mainstream operating systems. The following article reveals such hidden things.

http://www.codersnotes.com/notes/a-constructive-look-at-templeos/