Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based

Assembly output to figure out lvalues from rvalues, assignment to array vs pointer
godbolt.org·21h·
📏Linear Types
Flag this post
How Deductive AI saved DoorDash 1,000 engineering hours by automating software debugging
venturebeat.com·1d
🎭Program Synthesis
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Reverse Engineering Yaesu FT-70D Firmware Encryption
landaire.net·15h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Announcing Dart 3.10
blog.dart.dev·1d·
Discuss: Hacker News
🔎Quickwit
Flag this post
Top 5 Agentic Coding CLI Tools
kdnuggets.com·9h
💻CLI Tools
Flag this post
C++ Enum Class and Error Codes
mropert.github.io·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
Spider-Man: The Movie Game dissection project Checkpoint - November 2025
krystalgamer.github.io·2d·
Discuss: r/programming
📊Profiling Tools
Flag this post
Commercial Open Source Is Hard: Our Journey
agenta.ai·5h·
Discuss: Hacker News
🌐Open Source
Flag this post
AI-Accelerated Agile Hardware Design Using the ROHD Framework
intel.github.io·1d·
Discuss: Hacker News
🔍DTrace
Flag this post
Tony Hoare and negative space
sicpers.info·1d·
Discuss: Hacker News
Formal Verification
Flag this post
Yet another redundant workflow engine
github.com·2d·
Discuss: Hacker News
Ruff
Flag this post
Learn More, Forget Less: A Gradient-Aware Data Selection Approach for LLM
arxiv.org·17h
💬Prompt Engineering
Flag this post
Ask HN: What open source LLM agent do you guys use and why?
news.ycombinator.com·7h·
Discuss: Hacker News
🖥️SerenityOS
Flag this post
Matz: Ruby 4.0 is arriving this year
rubyweekly.com·3h·
Discuss: Hacker News
📦Folly
Flag this post
Welcome to DataHaskell
datahaskell.org·1d·
Discuss: Hacker News
🐧Rust for Linux
Flag this post
Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached
github.com·1d·
Discuss: DEV, Hacker News
🎨WGPU
Flag this post
Show HN: SQL++ – 5x faster than Prisma (Rust)
github.com·1d·
Discuss: Hacker News
🔥DataFusion
Flag this post
Automated Dynamic Resource Provisioning via Reinforcement Learning & Predictive Analytics in AWS EC2
dev.to·1h·
Discuss: DEV
📱Edge AI
Flag this post
Carmack on inlined code and functional programming
cbarrete.com·3d·
Discuss: Hacker News
🧩mimalloc
Flag this post