Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·21h·
Discuss: Hacker News
📐Formal Methods
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
youtube.com·2d·
Discuss: Hacker News
⚡SIMD
Flag this post
Gamma Correct Blurring (2015)
iquilezles.org·1d·
Discuss: Hacker News
🎲Bayesian Methods
Flag this post
Stochastic computing
scottlocklin.wordpress.com·2d·
Discuss: Hacker News
📈Time Series ML
Flag this post
Writing a DOS Clone in 2019
medium.com·8h·
Discuss: Hacker News
📏Linear Types
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·12h·
Discuss: Lobsters, Hacker News
🔥DataFusion
Flag this post
Digital Twins: the missing pieces we can solve with Machine Learning
quantblog.wordpress.com·7h·
Discuss: Hacker News
📈Time Series ML
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·1h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·1d·
Discuss: Hacker News
📈Time Series ML
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
📏Linear Types
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
AWK technical notes (2023)
maximullaris.com·17h·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·6h·
Discuss: Hacker News
🌐Distributed systems
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·7h
🌐Distributed systems
Flag this post
Show HN: I built an AI that generates full-stack apps in 30 seconds
news.ycombinator.com·24m·
Discuss: Hacker News
💻Programming languages
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.edu·7h·
Discuss: Hacker News
📐Formal Methods
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·3d·
Discuss: Hacker News
🐻Polars
Flag this post
Scala vs. F#
alexn.org·9h·
Discuss: Hacker News
💻Programming languages
Flag this post
2025 GPU Price A100 and H100 Cloud Pricing and Availability
cast.ai·2h·
Discuss: Hacker News
🦆DuckDB
Flag this post
A/B Testing Could Lead LLMs to Retain Users Instead of Helping Them
newsletter.danielpaleka.com·18h·
Discuss: Hacker News
📈Time Series ML
Flag this post