Ten advances in mathematics and theoretical computer science
openai.com- 156 points
- 53 comments
- 3 hours ago
- by milkshakes
Devtools must be open source
blog.exe.dev- 331 points
- 34 comments
- 5 hours ago
- by bryanmikaelian
Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years
changelog.complete.org- 64 points
- 9 comments
- 2 hours ago
- by roryirvine
Wind and solar overtake fossil fuels in Germany for the first time
intellinews.com- 210 points
- 15 comments
- 6 hours ago
- by just_some_user
MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video
blog.comfy.org- 192 points
- 11 comments
- 6 hours ago
- by vblanco
Andy Pavlo joins ClickHouse to establish ClickHouse Labs
clickhouse.com- 178 points
- 16 comments
- 5 hours ago
- by nikolay_sivko
How Hollywood stopped making movies in Hollywood
statsignificant.com- 116 points
- 23 comments
- 6 days ago
- by speckx
Smaller, faster, safer: running Kimi and GLM at scale
blog.cloudflare.com- 22 points
- 1 comments
- 2 hours ago
- by ascorbic
Massively Parallel Postgres Backups
planetscale.com- 31 points
- 1 comments
- 3 days ago
- by ksec
Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents
hoplite.sh- 24 points
- 12 comments
- 3 hours ago
- by BenceRed
AirLLM 70B inference with single 4GB GPU
github.com- 147 points
- 10 comments
- 8 hours ago
- by Anon84
The Billable Usage API: programmatic cost visibility for Cloudflare
blog.cloudflare.com- 17 points
- 1 comments
- 2 hours ago
- by ashleypeacock
Bonsai: Janestreet's UI Library
github.com- 244 points
- 22 comments
- 11 hours ago
- by KolmogorovComp
Use Task Runners for Common Coding Tasks
hamvocke.com- 23 points
- 2 comments
- 2 hours ago
- by speckx
Show HN: Product analytics (and evals) for agent sessions on your MCP
armature.tech- 21 points
- 3 comments
- 3 hours ago
- by screm
Kelly Criterion Simulator
kellysimulator.com- 7 points
- 0 comments
- 3 days ago
- by aleyan
SQLite Critical CVEs or LLM Slop?
research.jfrog.com- 663 points
- 48 comments
- 8 hours ago
- by ymir_e
Don't be a meat proxy
gruhn.me- 1535 points
- 163 comments
- 13 hours ago
- by ngruhn
SearXNG in Rust
github.com- 26 points
- 4 comments
- 3 hours ago
- by dluuuu
SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros
dmarcguard.io- 34 points
- 3 comments
- 6 hours ago
- by meysamazad
Prevent cognitive debt by manually retyping LLM-generated code
ankursethi.com- 309 points
- 104 comments
- 10 hours ago
- by mpweiher
C++ float-to-int conversion can be undefined behavior
kttnr.net- 29 points
- 7 comments
- 4 days ago
- by signa11
Qwen3.8-Max: A New Bar for Coding and Cowork
qwen.ai- 989 points
- 61 comments
- 17 hours ago
- by ai2027
Rust project goals: Immobile types and guaranteed destructors
github.com- 201 points
- 15 comments
- 13 hours ago
- by paavohtl
Show HN: Nightcrawler – A local AI pentesting agent running on a smartphone
github.com- 89 points
- 10 comments
- 8 hours ago
- by NickySlicks
Explanation of INT8 ConvRot (FP8 is no longer needed)
note.com- 13 points
- 4 comments
- 3 hours ago
- by peter_d_sherman
What DMARC Protects You From, and What It Does Not
senderledger.com- 109 points
- 13 comments
- 10 hours ago
- by adulion
Kraid is a now a real compiler
collabora.com- 20 points
- 4 comments
- 4 days ago
- by losgehts
Taylor Farms has rewritten its cyclospora statement four times in sixteen days
marlerblog.com- 256 points
- 19 comments
- 4 hours ago
- by speckx
Games at the press of a button: The Rip-O-Bot (1989)
blog.gingerbeardman.com- 26 points
- 2 comments
- 23 hours ago
- by msephton
Train Simulator Controller
z80.me- 87 points
- 4 comments
- 4 days ago
- by austinallegro
Octane – React’s programming model, compiled
octanejs.dev- 113 points
- 21 comments
- 11 hours ago
- by nnx
Finding zombies in our systems: A real-world story of CPU bottlenecks
medium.com- 21 points
- 4 comments
- 1 day ago
- by fagnerbrack
Cloudflare Workers and Containers now support inbound TCP connections and gRPC
blog.cloudflare.com- 17 points
- 0 comments
- 6 hours ago
- by aofeisheng
The Abandoned Fish Sauce Terrorizing a Small Canadian Town
defector.com- 176 points
- 25 comments
- 3 days ago
- by ohjeez
ASCII Today
ascii.today- 9 points
- 1 comments
- 2 hours ago
- by andsoitis
Walk on Decomposed Subdomains
clementjambon.github.io- 40 points
- 2 comments
- 1 week ago
- by E-Reverance
Utah produced more power from solar than any other source in May, a new first
sltrib.com- 98 points
- 5 comments
- 5 hours ago
- by toomuchtodo
Show HN: Hacker News with AI stories filtered out
hcker.news- 25 points
- 2 comments
- 2 hours ago
- by postalcoder
Why we write our own C and C++ inference engines
localai.io- 112 points
- 13 comments
- 3 days ago
- by eatonphil
White House's new upcoming model-testing framework
cnbc.com- 15 points
- 1 comments
- 2 hours ago
- by freakynit
Show HN: We Fixed UniFi's Slow PPPoE Performance with PPPoE Half-Bridge
arcbox.dev- 60 points
- 12 comments
- 11 hours ago
- by uneven9434
Show HN: ssh ssh.place
ssh.place- 165 points
- 22 comments
- 19 hours ago
- by jeninh
SwiftUI After 7 Years
ykvm.com- 254 points
- 38 comments
- 1 day ago
- by mpweiher
Characterizing Warp Divergence from Pascal to Blackwell
arxiv.org- 25 points
- 1 comments
- 4 days ago
- by matt_d
CP/M-386 – CP/M for 386 protected mode, derived from CP/M‑68K
github.com- 91 points
- 11 comments
- 19 hours ago
- by TMWNN
Twenty Years of Pandoc
pandoc.org- 6 points
- 0 comments
- 4 hours ago
- by fiddlosopher
FCC Restricts Imports of New Foreign Power Inverters and Robotic Devices
covingtonblogs.com- 14 points
- 0 comments
- 2 hours ago
- by atlasunshrugged
Stanford CS329A: Self-Improving AI Agents
youtube.com- 9 points
- 0 comments
- 1 hour ago
- by matt_d
Why Book Corners won't sync contributions back to OpenStreetMap
andreagrandi.it- 136 points
- 18 comments
- 19 hours ago
- by pizzaiolo