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

Feeds to Scour
SubscribedAll
Scoured 253456 posts in 3.67 s
A Validated Semantics for LLVM IR
sf.snu.ac.krยท16h
๐Ÿ—๏ธMLIR
Preview
Report Post
Any useful resources for improving the quality of the vscode projects?
addyo.substack.comยท10hยท
Discuss: r/vscode
๐Ÿ’ฌPrompt Engineering
Preview
Report Post
Department of Computer Science and Technology โ€“ Technical reports: UCAM-CL-TR-949
cl.cam.ac.ukยท6hยท
Discuss: Hacker News
๐Ÿท๏ธMemory Tagging
Preview
Report Post
Seeking advice on building a strong C++ gameplay portfolio
reddit.comยท3hยท
Discuss: r/cpp
๐ŸŽฎGame Development
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.comยท18h
๐ŸŒ€Naiad
Preview
Report Post
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.netยท2h
๐Ÿฆ™Ollama
Preview
Report Post
Think Your Python Code Is Slow? Stop Guessing and Start Measuring
towardsdatascience.comยท1d
๐Ÿ“ŠProfiling Tools
Preview
Report Post
eliben/pykaleidoscope: Implementation of the LLVM tutorial in Python using llvmlite
github.comยท2h
๐Ÿ”จLLVM
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
๐Ÿ“TLA+
Preview
Report Post
Docling + Go + Bob: The Modern Document Stack
dev.toยท1dยท
Discuss: DEV
๐ŸฑNom
Preview
Report Post
Wine 11.0-rc4 Released: 22 Bug Fixes Boost Windows App Compatibility
webpronews.comยท12h
๐Ÿ–ฅ๏ธSerenityOS
Preview
Report Post
Learning Zig
blog.senko.netยท7h
โš™๏ธZig
Preview
Report Post
Built my first Rust project offline Markdown renderer for security documentation
reddit.comยท13hยท
Discuss: r/rust
๐Ÿฆ€Rust
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
๐Ÿ—๏ธPavex
Preview
Report Post
๐ŸŽฒ Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.ioยท12h
๐Ÿ”’S2N-QUIC
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.ioยท18hยท
๐Ÿ”ฌMiri
Preview
Report Post
Does Valgrind report real issues with ELF executables build by Zig 0.15.2?
reddit.comยท2dยท
Discuss: r/Zig
๐Ÿ”ŽValgrind
Preview
Report Post
Postgres client in Standard ML
bsky.appยท12hยท
Discuss: Bluesky
๐Ÿ˜PostgreSQL Internals
Preview
Report Post
Infinite Software Crisis
gearsofmedicine.comยท1d
๐Ÿ”“Binary Exploitation
Preview
Report Post