Good Learners Think Their Thinking: Generative PRM Makes Large Reasoning Model More Efficient Math Learner
arxiv.org·1d
🕯️Candle
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·3d
🔧Embedded Rust
InterfO-RAN: Real-Time In-band Cellular Uplink Interference Detection with GPU-Accelerated dApps
arxiv.org·1d
🌐WebGPU
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·23h
🧮Linear Algebra
Improving SpGEMM Performance Through Matrix Reordering and Cluster-wise Computation
arxiv.org·3d
🔢SIMD Programming
If Odin Had Macros
gingerbill.org·23h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
Our $100M Series B
oxide.computer·2d·
Discuss: Lobsters, Hacker News
🔒Hardware Security
Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerability Datasets Detect Top 25 CWE Weaknesses?
arxiv.org·3d
🕯️Candle
You Are the Bios Now: Building a Hypervisor in Rust with KVM
yeet.cx·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔒Hardware Security
I am worried about near-term non-LLM AI developments
lesswrong.com·1d
🤖AI
Systolic Array-based Accelerator for State-Space Models
arxiv.org·3d
🔢SIMD Programming
LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
arxiv.org·3d
🏗️LLVM
Predicting Maintenance Cessation of Open Source Software Repositories with An Integrated Feature Framework
arxiv.org·3d
🕯️Candle
Crafting your own Static Site Generator using Phoenix (2023)
fly.io·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
What is gVisor?
blog.yelinaung.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Hardware Security
I built my blog with C preprocessor macros
wheybags.com·2d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
GlideinBenchmark: collecting resource information to optimize provisioning
arxiv.org·3d
🧠Memory Allocators
Agentic Coding Things That Didn’t Work
lucumr.pocoo.org·3d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
Benchmarking Fraud Detectors on Private Graph Data
arxiv.org·2d
📈Graph Algorithms
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·3d
🔧Embedded Rust