Can LLMs subtract numbers?
arxiv.org·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·15h·
Discuss: Hacker News
🦀Rust
Flag this post
AI Energy Score
huggingface.github.io·23h·
Discuss: Hacker News
✅Formal Methods
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·2d·
Discuss: Substack
🦀Rust
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·20h·
Discuss: Hacker News
✅Formal Methods
Flag this post
The Spegling Chronicles: Measuring dev shadow work until it measured us back
medium.com·21m·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·3d·
Discuss: Hacker News, r/cpp
🦀Rust
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·2d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
Cameras, Cameras Everywhere!
xn--gckvb8fzb.com·3h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
The world’s tallest chip defies the limits of computing: goodbye to Moore’s Law?
english.elpais.com·1d·
Discuss: Hacker News, Hacker News
⚡CUDA
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·14h·
Discuss: Hacker News
🦀Rust
Flag this post
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Can we hide the orange dot without disabling SIP?
notes.alinpanaitiu.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Essential Things to Know Before Upgrading Your Computer Memory
buysellram.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
Discuss: Hacker News, Hacker News
🦀Rust
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·3d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Automation via UEFI
vahidhashemi.com·19h·
Discuss: Hacker News
✅Formal Methods
Flag this post