pull down to refresh

SkiftOS: A hobby OS built from scratch using C/C++ for ARM, x86, and RISC-Vskiftos.org
0 sats \ 1 comment \ @hn 12h tech
related
My Linux Story So Far: Coming Full Circle
3013 sats \ 29 comments \ @kepford 4 Mar 2024 Linux
Precursor: Mobile, Open Hardware, RISC-V System-on-Chip (SoC) Development Kitwww.crowdsupply.com/sutajio-kosagi/precursor
2773 sats \ 5 comments \ @final 18 Jun 2023 tech
Tock - Embedded Operating System for Microcontrollerstockos.org/
423 sats \ 0 comments \ @nout 2 Jun 2024 tech
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1816 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
Virtual Machine for the Web: A Linux virtual machine that runs in your browsergithub.com/leaningtech/webvm
322 sats \ 0 comments \ @bren 17 Nov 2024 devs
A little Linux goes a long wayonbitcoin.substack.com/p/a-little-linux-goes-a-long-way?s=r
706 sats \ 8 comments \ @opiental 5 Jun 2022 bitcoin
Making my first embedded Linux systempopovicu.com/posts/making-my-first-embedded-linux-system/
185 sats \ 0 comments \ @Rsync25 16 Jun 2024 tech
Introduction to Bash Scriptinggithub.com/bobbyiliev/introduction-to-bash-scripting
148 sats \ 0 comments \ @hn 17 Jul 2024 tech
Linux now has Real Time Kernel Support. After 20 years of development!
1130 sats \ 3 comments \ @zuspotirko 21 Sep 2024 tech
DivestOS - A mobile operating system divested from the norm.divestos.org/
413 sats \ 9 comments \ @hueso 16 Jan 2024 privacy
BitVM-Research: Opensource code to replicate the whole process of BitVMgithub.com/bitlayer-org/BitVM-Research
251 sats \ 0 comments \ @Rsync25 1 Mar 2024 bitdevs
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
egui – An immediate mode GUI written in Rustwww.egui.rs/
231 sats \ 1 comment \ @Rsync25 26 Dec 2024 tech
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
46 sats \ 0 comments \ @hn 1 Jun tech
SnowflakeOS: Beginner friendly and GUI focused NixOS variantsnowflakeos.org/
158 sats \ 1 comment \ @hn 1 Aug 2024 tech
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 tech
Iced: A cross-platform GUI library for Rust, inspired by Elmgithub.com/iced-rs/iced
385 sats \ 0 comments \ @Rsync25 24 Jun 2024 rust
Writing a Unix-like OS in Rustvmm.dev/en/rust/osinrust.md
105 sats \ 0 comments \ @ch0k1 6 Apr 2024 devs
Hunt for Red October 1990 (2016)www.modelshipsinthecinema.com/2016/12/hunt-for-red-october-1990.html
46 sats \ 0 comments \ @hn 10 Apr tech