Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.comยท3d
๐ŸงชBinary Fuzzing
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.orgยท15hยท
Discuss: Hacker News
๐ŸŒDNS over QUIC
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท1dยท
Discuss: r/programming
๐Ÿง Lisp Dialects
To MD - Convert PDFs, Word, HTML and more to Markdown
tomd.ioยท1dยท
Discuss: Hacker News
๐Ÿ”„Migration Tools
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
Bidirectional type checking step by step (in Ruby)
luizpvas.github.ioยท16hยท
Discuss: Hacker News
โฌŒBidirectional Typing
The Pain Driven Workflow
magistr.meยท1dยท
Discuss: Hacker News
โšกIncremental Computation
Yes, Python is Slow, but it doesn't matter for AI SaaS
fastro.aiยท2dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
JVM stack is about to be massively modernized
medium.comยท21hยท
Discuss: Hacker News
๐Ÿ”—Dependency Resolution
The Great Software Quality Collapse Or, How We Normalized Catastrophe
techtrenches.substack.comยท2dยท
Discuss: Substack
๐Ÿ›ก๏ธError Boundaries
I have seen the compounding teams
sundaylettersfromsam.substack.comยท3hยท
Discuss: Substack
โš”๏ธLean Tactics
Dual-stage and Lightweight Patient Chart Summarization for Emergency Physicians
arxiv.orgยท2d
๐ŸŒŠStream Processing
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Planning Out My First Home Server/Camera System
i.redd.itยท11hยท
Discuss: r/homelab
๐Ÿ HomeLab
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
What is Codex GA by OpenAI in 2025? How It Revolutionizes Software Teamsโ€™ Workflow
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šMARC Evolution
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blogยท2d
๐Ÿ“œProof Carrying Code
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.ioยท6hยท
๐ŸŽ™๏ธWhisper
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠApache Kafka
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.comยท1d
๐Ÿ”Z3 Parsing