๐Ÿ” KLEE

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

Assembly output to figure out lvalues from rvalues, assignment to array vs pointer
godbolt.orgยท15hยท
Discuss: r/C_Programming
๐Ÿ“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
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
arxiv.orgยท1d
โœ…Model Checking
Flag this post
Haiku Activity & Contract Report, October 2025
haiku-os.orgยท1dยท
Discuss: Lobsters, Hacker News
๐ŸŒŠGlommio
Flag this post
Why Rust is Revolutionizing Game Development: Performance, Safety, and Future-Ready Code
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
Flag this post
Testable Dotfiles Management With Chezmoi
shunk031.meยท2hยท
Discuss: Lobsters, Hacker News
๐Ÿ“Dotfiles
Flag this post
Integrate LLMs into Your Data Pipelines
risingwave.comยท9hยท
Discuss: Hacker News
๐Ÿฆ™Ollama
Flag this post
The Gem in S/SL: Why Dataless Languages Matter
programmingsimplicity.substack.comยท3dยท
Discuss: Substack
๐Ÿ”ฌStatic Analysis
Flag this post
PSA: Trivial Relocatability has been removed from C++26
herbsutter.comยท2dยท
Discuss: Lobsters, Hacker News, r/cpp
๐Ÿ“Picolibc
Flag this post
the last couple years in v8's garbage collector
wingolog.orgยท1hยท
Discuss: Hacker News
๐Ÿ—‘๏ธGarbage Collection
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ยท9hยท
Discuss: Hacker News
๐Ÿ”“Binary Exploitation
Flag this post
Announcing Dart 3.10
blog.dart.devยท19hยท
Discuss: Hacker News
๐Ÿ”ŽQuickwit
Flag this post
Top 5 Agentic Coding CLI Tools
kdnuggets.comยท3h
๐Ÿ’ปCLI Tools
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
C++ Enum Class and Error Codes
mropert.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Handling
Flag this post
AI-Accelerated Agile Hardware Design Using the ROHD Framework
intel.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ”DTrace
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
reddit.comยท3dยท
Discuss: r/rust
๐Ÿฆ€Rust
Flag this post
Tony Hoare and negative space
sicpers.infoยท1dยท
Discuss: Hacker News
โœ“Formal Verification
Flag this post
Learn More, Forget Less: A Gradient-Aware Data Selection Approach for LLM
arxiv.orgยท11h
๐Ÿ’ฌPrompt Engineering
Flag this post