Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🔮Lisp Interpreters
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·2d
🛡️Parser Security
General Component Controls
nasa.gov·18h
🧱WASM Components
Advent of Code: Libraries
elly.town·2d
📚Stack Data Structures
LLM Context Engineering
dev.to·4h·
Discuss: DEV
🎮Language Ergonomics
Connecting to LLMs: Building a Simple HTTP Client for AI Integration
dev.to·12h·
Discuss: DEV
🔧API Design
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·18h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Nanopasses
Ask HN: LLM Prompt Engineering
news.ycombinator.com·22h·
Discuss: Hacker News
⚡Incremental Parsing
Swift 6.2 advances the language meaningfully
victorwynne.com·2d·
Discuss: Hacker News, r/programming
🦉Swift Interpreters
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·1d
🔗Weak References
💥 Recursion in Java: Unlock the Power
dev.to·22h·
Discuss: DEV
🪢Rope Data Structures
Prompts should live outside.
dev.to·1d·
Discuss: DEV
📝Rope Editors
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·1d·
Discuss: DEV
🌊Gradual Typing
Built a tiny c++ text chunker for python
github.com·16h·
Discuss: r/opensource
📚Factor
Rapid Prototyping of Chatbots with Streamlit and Chainlit
towardsdatascience.com·23h
💬Interactive REPLs
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
📜Proof Languages
CTRL-Z DLL Hooking, (Wed, Sep 17th)
isc.sans.edu·2d
🪤Trap Handlers
I Know What You Shipped Last Summer - RCE, SQLi and More in Logistics Software e-TMS
cyber.wtf·1h
🛡️Parser Security
CTD after switching Vortex profiles
pastebin.com·2d·
Discuss: r/skyrimmods
🔐Ownership Types
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·9h
📡Erlang BEAM