General Component Controls
nasa.gov·14h
🧱WASM Components
Learn Swift Composable Architecture
bugfender.com·1d
🦉Swift Interpreters
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🔮Lisp Interpreters
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·1d
🔗Weak References
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·22h·
Discuss: DEV
🌊Gradual Typing
What’s Next for JavaScript: Upcoming Features, Trends, and Tooling
dev.to·1d·
Discuss: DEV
🌈Gradual Languages
Rapid Prototyping of Chatbots with Streamlit and Chainlit
towardsdatascience.com·18h
💬Interactive REPLs
💥 Recursion in Java: Unlock the Power
dev.to·18h·
Discuss: DEV
🪢Rope Data Structures
Built a tiny c++ text chunker for python
github.com·12h·
Discuss: r/opensource
📚Factor
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
📜Proof Languages
Unlocking AI’s Potential: Advanced Prompt Engineering Techniques for Smarter Interaction
patronus.ai·10h·
Discuss: DEV
💬Interactive REPLs
CTRL-Z DLL Hooking, (Wed, Sep 17th)
isc.sans.edu·2d
🪤Trap Handlers
Swift 6.2 advances the language meaningfully
victorwynne.com·2d·
Discuss: Hacker News, r/programming
🦉Swift Interpreters
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·4h
📡Erlang BEAM
CTD after switching Vortex profiles
pastebin.com·2d·
Discuss: r/skyrimmods
🔐Ownership Types
Omittable — Solving the Ambiguity of Null
committing-crimes.com·1d·
Discuss: r/programming
🗂️Type Indexing
Combating headcrabs in the Source SDK codebase
pvs-studio.com·1d·
Discuss: r/cpp
🌊Gradual Effects
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩Constraint Solvers
Lambda Explained: A Visual Journey from Init to Invoke
dev.to·2d·
Discuss: DEV
📦Closure Conversion
What I learned building a programming language with LLM agents
eddmann.com·16h·
Discuss: Hacker News
🔮Metacircular Evaluators