G3 Watch for 6 and 7 November
spaceweather.gov·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
9 Malicious NuGet Packages Deliver Time-Delayed Destructive Payloads
socket.dev·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Free Weather Data with National Weather Service API
clojurecivitas.github.io·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Americans Are Increasingly Alone, but Are They Lonely?
realclearinvestigations.com·10h·
Discuss: Hacker News
🗄️databases
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
news.ycombinator.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Once upon a time this blog was powered by make
refp.se·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
github.com·17h·
Discuss: Hacker News
✅formal methods
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Thoughts on Building Reliable Systems
medium.com·3h·
Discuss: Hacker News, r/programming
⚙️systems programming
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·4d·
Discuss: Hacker News
⚙️systems programming
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Patterns for Building a Scalable Multi-Agent System
devblogs.microsoft.com·10h·
Discuss: Hacker News
⚙️systems programming
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·21h·
Discuss: Hacker News
✅formal methods
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·2d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
⚙️systems programming
Flag this post
Japanese polygon theorem
johndcook.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1d·
Discuss: Hacker News
✅formal methods
Flag this post
'Vibe coding' named word of the year by Collins Dictionary
bbc.com·2d·
Discuss: Hacker News
🔄compilers
Flag this post
CodeWeavers Launches CrossOver Preview for Linux ARM64
codeweavers.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Run LLMs Locally
ikangai.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post