🔍 KLEE

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

Assembly output to figure out lvalues from rvalues, assignment to array vs pointer
godbolt.org·13h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
Project OSSAS: Custom LLMs to Process 100M Research Papers
inference.net·21h·
Discuss: Hacker News
🦙Ollama
Flag this post
Gain 60% performance on RDNA 4 using this fix
github.com·1h·
Discuss: r/LocalLLaMA
⚡Hardware Acceleration
Flag this post
Building SqURL: A Human's and an AI's Perspective
ronforrester.substack.com·22h·
Discuss: Substack
📦Folly
Flag this post
Enhanced Semantic Validation via Hybrid Logic & Numerical Simulation Framework
dev.to·11h·
Discuss: DEV
🌀Naiad
Flag this post
Fun-reliable side-channels for cross-container communication
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, r/linux, r/programming
🔒Futex
Flag this post
Beauty in/of mathematics: tessellations and their formulas
tandfonline.com·1h·
Discuss: Hacker News
🔢Homomorphic Encryption
Flag this post
GSoC Wrap Up - Adding Witness Generation to cargo-semver-checks
glitchlesscode.ca·2d·
Discuss: r/rust
🦀Rayon
Flag this post
Deep Dive: Modernizing Stalld
walac.github.io·1d·
Discuss: Hacker News
🌊Glommio
Flag this post
A catalog of side effects
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Async and Finaliser Deadlocks
tratt.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Concurrency Patterns
Flag this post
Building a real-time LLM visualization tool for Mac - what would make it useful for you?
reddit.com·12h·
Discuss: r/LocalLLaMA
🚀MLOps
Flag this post
Loosely, yet Tightly Coupled
hacklewayne.com·2h·
Discuss: Hacker News
💎Refinement Types
Flag this post
PHP Game Changing Editions
stitcher.io·2h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Top 5 Agentic Coding CLI Tools
kdnuggets.com·1h
💻CLI Tools
Flag this post
Ts-event-core: TypeScript functional programming Event Sourcing implementation
github.com·6h·
Discuss: Hacker News
📡Event-Driven Architecture
Flag this post
Automated Code Clone Detection & Remediation Using Hybrid Graph Neural Networks & Semantic Similarity Scoring
dev.to·1d·
Discuss: DEV
🏗️Cranelift
Flag this post
A reminder to stay in control of your agents
raniz.blog·3h·
Discuss: Hacker News, r/programming
🏗️Cranelift
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