Gemini Links 01/11/2025: FIFO and Gemini Age Survey
techrights.orgยท11h
๐Rope Editors
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ญRacket Modules
Flag this post
Open Source Journey
๐Self-Documenting Code
Flag this post
Exploring PKM concepts
nhlism.bearblog.devยท1d
๐Lua
Flag this post
FFpropaganda
codecs.multimedia.cxยท22h
๐ฑForth Kernels
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
๐ฌInteractive REPLs
Flag this post
Advances In Formal Verification Technology
semiengineering.comยท2d
๐งฉSAT Solvers
Flag this post
AI's Hidden Gift: We're Rediscovering the Practice of Coding
canro91.github.ioยท22h
๐ญProgram Synthesis
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Enhanced SPICE Modeling via Adaptive Transient Analysis & Hierarchical Parameter Optimization
โกJIT Optimizations
Flag this post
How do you study a game engine in order to program projects better from scratch?
๐งธToy Compilers
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
๐งชCompiler Testing
Flag this post
Growing explanations together
clojurecivitas.github.ioยท1d
๐Bootstrapping
Flag this post
Codeminer42 Dev Weekly #85
blog.codeminer42.comยท1d
๐บCode Archeology
Flag this post
Loading...Loading more...