My bookmarks - Seirdyhttps://seirdy.one/bookmarks/
| Something Something Programming Bookmarked 2022-03-12 15:54 Tags: dev , math I grew interested in Busy Beaver programs when studying Googology; this is a response to the Spaghet
Links from around the web, curated and annotated by Seirdy.
C++ Applicationshttps://www.stroustrup.com/applications.html
| TC++PL | Tour++ | Programming | D&E | bio | interviews | videos | quotes | applications | guidelines | compilers C++ Applications Modified May 13, 2021 Here is a list of systems
Kernel Planethttps://planet.kernel.org/
C or some other systems programming language and targeting Arm or RISC-V or maybe MIPS and even sometimes x86 2 . There’s no real distinction between it and any other bit of softw
Emergent Technologies Inc. -- Security Kernel</TITLEhttp://mumble.net/~jar/pubs/secureos/secureos.html
operating systems and programming environments. This report describes Scheme 48, a programming environment whose design is guided by established principles of operating system sec
CADR
Find more...