Human reward hacking
danmackinlay.name·1d
🎯Threat Hunting
AI could one day replace tutors, but its reliability still lags
phys.org·20h
✓Automated Theorem Proving
Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·2d
📏Code Metrics
When should you use an actor?
massicotte.org·15h·
Discuss: Hacker News
🌐Protocol Synthesis
C-to-N atom swap enables direct access to benzimidazoles from drug-like indoles
nature.com·12h·
Discuss: Hacker News
🌈Spectroscopy
The CoPilot productivity paradox
marginalia.nu·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Language Evolution
I made a transformer by hand (no training)
vgel.me·3d·
Discuss: Hacker News
🤖Grammar Induction
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·2d·
Discuss: Hacker News
🎙️Whisper
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·4d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📏Code Metrics
Ask HN: GAN'ing Coding GPTs
news.ycombinator.com·20h·
Discuss: Hacker News
📝Text Compression
Automated Circuit Fault Diagnosis via Dynamic Graph Neural Network Fusion
dev.to·1d·
Discuss: DEV
⚡Circuit Design
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Building PersonaPrep: An Agentic AI Coach for Real-World Social Confidence
dev.to·7h·
Discuss: DEV
🔄Session Type Inference
DevOps from the Driver's seat part 1
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Mu Puzzle
en.wikipedia.org·3d·
Discuss: Hacker News
🔲Proof Irrelevance
Know When to Explore: Difficulty-Aware Certainty as a Guide for LLM Reinforcement Learning
arxiv.org·4d
🧠Intelligence Compression
How do you manage cross-language dependencies?
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Robotic Design: Let the AI Build the Bots
dev.to·1d·
Discuss: DEV
🤖AI Curation
UNAUTHORIZED WINDOWS/386
virtuallyfun.com·14h·
Discuss: Hacker News
🕸️WASM Archives
Bio-Inspired Underwater Robot: Adaptive Vortex Shedding Suppression via Dynamic Fin Geometry
dev.to·4h·
Discuss: DEV
🔲Cellular Automata