OpenAI readies GPT-5.1 Thinking model ahead of Gemini 3 Pro
testingcatalog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
That time I girl-bossed too hard at my tech job
beabytes.com·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
LLMs are steroids for your Dunning-Kruger
bytesauna.com·11h·
Discuss: Hacker News, Hacker News
📵Digital Minimalism
Flag this post
Configuration as Data
reddit.com·17h·
Discuss: r/kubernetes
🔧DevOps
Flag this post
The Future of Coding with AI
vibe.forem.com·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Show HN: Solv – Stateless Offline-capable LiveView – Prototype 03
github.com·2d·
Discuss: Hacker News, Hacker News
🌐Network Protocols
Flag this post
Readtape: Decode the analog waveform extracted from old computer mag tapes
github.com·2d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Tunable Acoustic Black Hole Facades via Bio-Inspired Meta-Material Gradients
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
AI Ruined Programming, So I Fixed It (2025)
lightcapai.medium.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Performing Nonlinear Least Squares and Nonlinear Regression in R
dev.to·5h·
Discuss: DEV
🎯Hindley-Milner
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·5d·
Discuss: r/programming
🔬Reverse Engineering
Flag this post
ADPretrain: Advancing Industrial Anomaly Detection via Anomaly Representation Pretraining
arxiv.org·11h
📐Linear Algebra
Flag this post
Should I learn Rust over Go?
reddit.com·2d·
Discuss: r/rust
🔧DevOps
Flag this post
DR. WELL: Dynamic Reasoning and Learning with Symbolic World Model for Embodied LLM-Based Multi-Agent Collaboration
arxiv.org·3d
🔲Cellular Automata
Flag this post
Unleashing PIM: The Secret Weapon for AI Acceleration
dev.to·3d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
First is Not Really Better Than Last: Evaluating Layer Choice and Aggregation Strategies in Language Model Data Influence Estimation
arxiv.org·11h
📚Automata Learning
Flag this post
Show HN: Trying to Help Fellow Red Team Operators
github.com·3d·
Discuss: Hacker News
💻CLI Tools
Flag this post
Accelerating AI Agent Development: Strategies for Faster Iteration and Deployment
dev.to·2d·
Discuss: DEV
👁️System Observability
Flag this post
Building a Real-Time AI Interview Agent with Voice
dev.to·9h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
HP MicroServer Gen 8
reddit.com·8h·
Discuss: r/homelab
💻QEMU
Flag this post