From Concentrate: 6 Great Brain-On Science Fiction and Fantasy Books
bookriot.comยท11h
๐Ÿ”—Concatenative Theory
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.comยท5hยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
Flag this post
QA/Dev Report: October 2025
qa.blog.documentfoundation.orgยท11h
๐Ÿ›Interactive Debuggers
Flag this post
AI RTL Generation versus AI RTL Verification
semiwiki.comยท5h
๐ŸŽญProgram Synthesis
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.comยท7hยท
Discuss: Hacker News
๐Ÿ”„Subinterpreters
Flag this post
Complexity fills the space it's given
wilsoniumite.comยท15hยท
Discuss: Hacker News
๐Ÿ—‘๏ธDead Code
Flag this post
Your AI-driven threat hunting is only as good as your data platform and pipeline
cybersecuritydive.comยท13h
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
Fridge Phobia and the Invention of Boiling: Bee Wilsonโ€™s Consider the Fork
reactormag.comยท5h
๐ŸคZipper Structures
Flag this post
Great, now even malware is using LLMs to rewrite its code, says Google, as it documents new phase of 'AI abuse'
pcgamer.comยท11h
๐Ÿ“Linear Memory
Flag this post
PAINT25 Invited Talk transcript: โ€œNotational Freedom via Self-Raising Diagramsโ€
programmingmadecomplicated.wordpress.comยท2d
๐Ÿ“šSelf-Documenting Code
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.comยท1dยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Flag this post
Any great sources on turn-based-combat mathematics or mechanics?
reddit.comยท7hยท
Discuss: r/gamedev
๐ŸงธToy Compilers
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.orgยท4dยท
Discuss: Hacker News
๐Ÿ“PEG Parsing
Flag this post
Jordan triple system
ncatlab.orgยท6d
๐Ÿ”—Category Theory
Flag this post
How to Resolve Tightly Coupled Dependencies in AWS CDK
dev.toยท15hยท
Discuss: DEV
โš™๏ธConfiguration Parsing
Flag this post
Automated Human-Aligned Value Alignment via Multi-Modal Reasoning and Recursive Score Calibration
dev.toยท1dยท
Discuss: DEV
โœจEffect Inference
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.orgยท1d
๐ŸŽฒParser Fuzzing
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.orgยท2d
๐Ÿ“‹Souffle Datalog
Flag this post
Build intelligent agents with every leading model on Databricks
databricks.comยท1d
๐ŸงฉConstraint Solvers
Flag this post