The Open 2025: final round updates from Royal Portrush – live
theguardian.com·7h
💻Local first
Reading List 07/19/25
construction-physics.com·1d
🇨🇳Chinese Computing
GHC will start maintaining an LTS release/branch in the near future
blog.haskell.org·1d·
Discuss: Hacker News
🔒Linear Types
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
Quadratic Forms Beyond Arithmetic
ams.org·2d·
Discuss: Hacker News
🔱Galois Theory
ChatGPT is not AI
newsletter.techworld-with-milan.com·3d·
Discuss: Hacker News
🎙️Whisper
Short Takes #2
secondthoughts.ai·1d·
Discuss: Hacker News
🧠Intelligence Compression
Centreon Extends Monitoring Reach into Observability Realm
devops.com·3d
📊Homelab Monitoring
ld-decode: Software defined LaserDisc decoder
github.com·7h·
Discuss: Hacker News
📼Cassette Archaeology
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·5d·
Discuss: Hacker News, Hacker News
🦀Rust Borrowing
One Engineer, Hundreds of Motors, and a $0.06 App That Saves a Single Amazon Site Over $100K a Year
hackernoon.com·2d
🔍eBPF
BrowserStation is an open source alternative to Browserbase.
reddit.com·3d·
Discuss: r/kubernetes
📦Container Security
Notes on Image Generation with GPT-4.1
taoofmac.com·1h·
Discuss: Hacker News
📐Mathematical Art
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·4d
🧮Z3 Solver
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·5d
💻Local LLMs
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·5d
✨Effect Handlers
I tested a mini PC that costs under $200 – and it shows
techradar.com·5h
🔌Operating system internals
Can AI really code? Study maps the roadblocks to autonomous software engineering
news.mit.edu·4d
📏Code Metrics
Implementing on-demand deployment with customized Amazon Nova models on Amazon Bedrock
aws.amazon.com·3d
🧱Immutable Infrastructure
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·2d
🧠Intelligence Compression