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
A book about the internals of the NetBSD operating system.

https://www.netbsd.org/docs/internals/en/index.html

#book #osdev #system #programming
I have a plan to write a short book about virtualization, internals of hypervisors and virtual machines. Technically some work is already done. Are you interested in such a book?
Anonymous Poll
28%
I am interested in a newbie guide, because I have no background in system programming.
69%
I am interested in a guide for experienced system programmers. I already know the basics.
3%
Virtualization? Huh! The topic is not interesting to me at all.
Two days ago I read about a new programming language - Vale. This project just did first public steps, but already looked interesting.

In some sense Vale brings to mind Rust: it is based on the idea of single ownership and regions. But obviously it differs a lot and does some things the own way.

Vale uses LLVM and therefore targets many platforms.

I hope eventually the project will bring us a worthy alternative to Rust, Zig and Go.

https://vale.dev/

#compilers #languages #system #programming
Glamorous Toolkit is a sleek modern Smalltalk programming environment built with Pharo.

https://gtoolkit.com

#smalltalk
A friend of mine asked me how to write object-oriented code in non-OOP languages, such as C. There are many articles on this topic, but not all are good. I liked this article by Chris Wellons.

https://nullprogram.com/blog/2014/10/21/

#oop #c
Hey. I need system programmers for the team creating the core of KasperskyOS.

If you know the C language perfectly, understand the architecture of operating systems, have experience of kernel-level development, it would be great to talk at an interview.

We have our microkernel, drivers and system services, a hypervisor, and a security system. There is also a family of DSLs for describing security policies and a compiler for them. In short, a lot of interesting work!

The offices are located in Moscow, near Vodny Stadion and Dynamo metro stations.

Send me a message if interested (@richiefreedom).
The article at the link below shows an interesting way to hide messages in the binary code of programs for x86-compatible processors.

https://blog.yossarian.net/2020/08/16/Hiding-messages-in-x86-binaries-using-semantic-duals

#steganography #osdev #system #programming #infosec #lowlevel
A page documenting the use of Spin/Promela to verify Plan 9's synchronization primitives.

https://swtch.com/spin/

#synchronization #verification #osdev #spin #promela
ShivyC is a simple compiler for a subset of C11 written in Python. It uses an intermediate representation and allocates registers using George and Appel’s iterated register coalescing algorithm.

https://github.com/ShivamSarodia/ShivyC

#compilers #c #python
A short tutorial on writing a virtual machine that simulates the LC-3 fictional architecture.

https://justinmeiners.github.io/lc3-vm/

#tutorial #vm #fantasycomputer #lowlevel #system #programming #c #cpp
A simple and well-documented microkernel operating system released under public domain.

https://resea.org/

#osdev #system #programming #c #microkernel #cc0 #lowlevel
A brilliant article on a VM escape attack exploiting vulnerabilities in the BHyve virtual machine.

http://phrack.org/papers/escaping_from_freebsd_bhyve.html

#infosec #hacking #vm #virtualization #bug
RIAA sucks!

From http://yt-dl.org/:

Currently our dev repository is taken down due to DMCA takedown notice by RIAA.
An article that describes the cached rendering system utilized by the Lite text editor.

https://rxi.github.io/cached_software_rendering.html

#c #graphics #programmimg #internals