CERN Council reviews feasibility study for a next-generation collider
home.cern·12h·
Discuss: Hacker News
✅formal methods
Flag this post
Elfeed Curate Update: Two new features
bobonmedicaldevicesoftware.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Write Faster
sashachapin.substack.com·14h·
Discuss: Substack
🔄compilers
Flag this post
Is physical world AI the future of autonomous machines?
therobotreport.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Two 20-somethings are building America's FPV drone war machine
dronexl.co·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
An introduction to computer algebra (2018)
corywalker.me·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Rocket Software Expert on Modernizing and Securing COBOL Systems
channelinsider.com·5d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Entities enabling scientific fraud at scale are large, resilient growing rapidly
pnas.org·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Unlicensing
fossable.org·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Marble Fountain
willmorrison.net·2d·
Discuss: Lobsters, Hacker News
✅formal methods
Flag this post
'Roadmap' shows the environmental impact of AI data center boom
news.cornell.edu·17h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Ask HN: What's your top-recommended tuts for chatbot dev with local-hosted LLMs?
news.ycombinator.com·17h·
Discuss: Hacker News
🔄compilers
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·5d·
Discuss: Substack
⚙️systems programming
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
✅formal methods
Flag this post
‘It shows such a laziness’: why I refuse to date someone who uses ChatGPT
theguardian.com·2d·
Discuss: Hacker News
🗄️databases
Flag this post
Linux Proposal Aims To Overcome Kernel Limitation Affecting Various Gaming Peripherals
phoronix.com·19h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Accounting has only CRUD APIs
numeric.substack.com·1d·
Discuss: Substack
⚙️systems programming
Flag this post
Multitron 1.0 — MIT php task orchestrator focused on speed and DX
github.com·3d·
Discuss: Hacker News, r/opensource
⚙️systems programming
Flag this post
What I vibe coded in a week (laid off MLE at Meta)
hermitian3.substack.com·3d·
Discuss: Substack
⚙️systems programming
Flag this post
AI is all about inference now
infoworld.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post