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).

A paper on optimizing the IPC fastpath in seL4.

https://ts.data61.csiro.au/publications/nicta_full_text/5858.pdf

#paper #osdev #microkernel #system #programming

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

An interesting project with the crazy goal of building a computer and a complete software stack from scratch. The author shows every step in daily Twitch streams and uploads screencasts to YouTube.

https://github.com/pervognsen/bitwise

#hardware #osdev #compilers #system #programming

A nice free book on cryptography.

http://web.engr.oregonstate.edu/~rosulekm/crypto/

#book #cryptography #infosec

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 hobbyist operating system with GUI written in assembly language for x86_64.

https://github.com/Blackend/Cyjon/

#osdev #system #programming #assembly #lowlevel

A tiny article on simple soft shadows for 2D games.

https://www.rykap.com/2020/09/23/distance-fields/

#gamedev #algorithms #graphics

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

A talk on the implementation of object capabilities (OCAP) in HelenOS:

https://youtu.be/w-VraUmQoDU

#ocap #osdev #system #programming #video

ZZ is a new C dialect with Rusty syntax and ability for formal verification through symbolic execution at compile time.

https://github.com/zetzit/zz

#c #rust #compiler #transpiler #system #programming

On December 2, I will be speaking at the KasperskyOS Night online technical conference, where I will tell the story of finding a non-trivial bug in our hypervisor.

The entire conference is dedicated to our microkernel operating system, KasperskyOS. There will be both kinds of reports: with dry theory and stories from our daily practice.

Join if you are interested in OS development, DSL (domain specific languages) or information security. Participation is absolutely free, just register.

The conference lasts two days, December 1 — 2. The main language of the conference is Russian.

https://os.kaspersky.ru/night/

#conference #osdev #microkernel #system #programming #c #haskell #dsl #kasperskyos #infosec

A simple program that shows an example of radio transmission without utilization of any onboard wireless technology. Just start the program on MacBook Air (2015) and try to detect the signal with an SDR receiver tuned to 1580kHz on AM.

https://github.com/fulldecent/system-bus-radio

#radio #programming #c #hacking #infosec

αcτµαlly pδrταblε εxεcµταblε is a clever approach to produce x86_64 binaries able to run on most modern operating systems, including Linux, Windows, MacOS and FreeBSD.

https://justine.lol/ape.html

#c #assembly #system #programming #lowlevel