🔍 KLEE - hello · Scour

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

arxiv.org·23h

📊Profile-Guided Optimization

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

github.com·9h·

Discuss: r/cpp

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

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

dev.to·8h·

Discuss: DEV

🧬Mutation Testing

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

binarly.io·1d

📊Criterion.rs

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·16h

🦀Rust Macros

Using Local LLMs to Discover High-Performance Algorithms

towardsdatascience.com·2d

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·23h

🔓Lock-Free Programming

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

semiengineering.com·9h

🔄Hardware Transactional Memory

Rust async combinators for elegant and secure concurrency

kerkour.com·22h·

Discuss: r/rust

FlashAttention 4: Faster, Memory-Efficient Attention for LLMs

digitalocean.com·16h

🔄Hardware Transactional Memory

GSoC 2025: Advanced symbol resolution for Clang-Repl

blog.llvm.org·3d

High-Availability Feature Flagging at Databricks

databricks.com·8h·

Discuss: Hacker News

🔐Capability Systems

Evolution of LLMs use by a programmer

asfaload.com·11h·

Discuss: Hacker News

🏗️Cranelift

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

pub.towardsai.net

·2d

Streamlining CUB with a Single-Call API

developer.nvidia.com·6h

**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·14h

🦀Rust Macros

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

reddit.com·18h·

Discuss: r/golang

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

xda-developers.com·13h

🗃️Zettelkasten

Loading more...