Key Takeaways from the Safety Critical Track at Open Source Summit Europe 2025 โ 4
elisa.techยท7h
๐Open Source Software
Flag this post
ASP level generation examples from our PCG textbook
kmjn.orgยท10h
๐ฒCellular Automata
Flag this post
Building and Deploying the Digital Humanities Quarterly Recommender System
journal.code4lib.orgยท1d
๐Digital Humanities
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.comยท8h
๐ฌLean
Flag this post
Tame Python Chaos With uv
๐ฆPackage Managers
Flag this post
Linux Capabilities Revisited
๐ก๏ธCLI Security
Flag this post
The Not-So Bitter Lesson
๐ฒCellular Automata
Flag this post
Mars Pathfinder Disaster
๐ฉSystems Programming
Flag this post
An 80386 Assembler in Forth (1988)
๐งRISC-V Assembler
Flag this post
Practical Scheme
๐ง Lisp Dialects
Flag this post
valderman/haste-compiler
github.comยท3d
๐Functional Compilers
Flag this post
Book Preview: Rebels, Pirates and Tentacles: The Story of LucasArts
๐น๏ธGame Preservation
Flag this post
I see a future in jj
๐ฆRust Borrowing
Flag this post
Loading...Loading more...