Springer Nature retracts book with fake citations. Help us find more cases like this.
retractionwatch.com·1d·
Discuss: Hacker News
🎮Verification Games
Iceberg I/O performance comparison at scale (Bodo vs. PyIceberg, Spark, Daft)
bodo.ai·5d·
Discuss: Hacker News
🔄Reproducible Builds
Phone Is a Snitch – Untraceable Digital Dissident
untraceabledigitaldissident.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Vulnerability discovered in Google Gemini CLI, patch required
techzine.eu·5d·
Discuss: Hacker News
🛡️seL4
9 Signs You’re Writing Java in Python
medium.com·2d·
Discuss: r/programming
🔬Static Analysis
AI stands for “Artificial Inanity”
lambdaland.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Exclusive: retraction-prone editors identified at megajournal <i>PLoS ONE</i>
nature.com·1d·
Discuss: Hacker News, Hacker News
➡️Category Theory
Home network - ISR4451-X
reddit.com·3d·
Discuss: r/homelab
📡Network Protocol Design
Hexagonal Lighting Brings a Touch of Elegance to the Workshop
hackaday.com·5d
🔬Unikernels
Toward using explainable data-driven surrogate models for treating performance-based seismic design as an inverse engineering problem
arxiv.org·1d
🤖Program Synthesis
Automatic Classification of User Requirements from Online Feedback -- A Replication Study
arxiv.org·6d
🔄Reproducible Builds
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
How Kimi RL’ed Qualitative Data to Write Better
dbreunig.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Not everything needs GPT. Sometimes a simple equation will do
danielball.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Do I need a Kubernetes cluster?
reddit.com·5d·
Discuss: r/homelab
⎈Kubernetes
Linus Torvalds still uses an AMD RX 580 from 2017 — also ditches Apple Silicon for an Intel laptop
tomshardware.com·5d·
Discuss: Hacker News
🔬Unikernels
SketchMind: A Multi-Agent Cognitive Framework for Assessing Student-Drawn Scientific Sketches
arxiv.org·4d
✓Automated Theorem Proving
DevOps Pioneer: Vibe Coding 100x Bigger Than DevOps Revolution
thenewstack.io·3d
🤖Program Synthesis
StackLiverNet: A Novel Stacked Ensemble Model for Accurate and Interpretable Liver Disease Detection
arxiv.org·1d
✓Automated Theorem Proving
Roboboy, a mobile web application to control and interact with ROS2-based robots
github.com·6d·
Discuss: Hacker News
🧱Immutable Infrastructure