🔍 KLEE - hello · Scour

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·15h

📊Profile-Guided Optimization

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·2h·

Discuss: r/cpp

Why Programs Fail A Guide to Systematic Debugging by Andreas Zeller-A Book Review

dev.to·39m·

Discuss: DEV

🧬Mutation Testing

Show HN: Klyve - A local-first Software Factory (Automated SDLC) for solo devs

news.ycombinator.com·1d·

Discuss: Hacker News

🖥️SerenityOS

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·8h

🦀Rust Macros

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·23h

📊Criterion.rs

Using Local LLMs to Discover High-Performance Algorithms

towardsdatascience.com·2d

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·15h

🔓Lock-Free Programming

High-Availability Feature Flagging at Databricks

databricks.com·39m

🔐Capability Systems

Rust async combinators for elegant and secure concurrency

kerkour.com·14h·

Discuss: r/rust

A Novel Side-channel Attack That Utilizes Memory Re-orderings (U. of Washington, Duke, UCSC et al.)

semiengineering.com·2h

🔄Hardware Transactional Memory

FlashAttention 4: Faster, Memory-Efficient Attention for LLMs

digitalocean.com·8h

🔄Hardware Transactional Memory

GSoC 2025: Advanced symbol resolution for Clang-Repl

blog.llvm.org·2d

Prisma 7: Rust-Free Architecture and Performance Gains

infoq.com·1d·

Discuss: Hacker News

I paired NotebookLM with Antigravity, and it feels like they’re meant to work together

xda-developers.com·5h

🗃️Zettelkasten

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·1d

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·4h·

Discuss: Hacker News

⚠️Rust Unsafe

**Abstract:** This paper introduces a novel, automated system for anomaly detection and risk mitigation within regulated stablecoin lending pools, a critical...

freederia.com·1d

💰TigerBeetle

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·7h

🦀Rust Macros

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·11h·

Discuss: r/golang

Loading more...