Announcing Amazon EC2 M4 and M4 Pro Mac instances
aws.amazon.com·3d·
Discuss: Hacker News, Hacker News
🍎Apple
Show HN: I made an app that turns scripts to videos in minutes
kliptory.com·1d·
Discuss: Hacker News
🍎Apple
Astonishing moment pod of orcas SINKS tourist boat
dailymail.co.uk·20h·
Discuss: Hacker News
🍎Apple
How to Boost Your Productivity While Managing Multiple Projects
freeter.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.com·21h·
Discuss: Hacker News
🧩Parser Combinators
China’s Great Firewall suffers its biggest leak ever as 500GB of source code and docs spill online — censorship tool has been sold to three different countries
tomshardware.com·2d·
Discuss: Hacker News, r/news, r/worldnews, r/zhongwen
🖥️Self-hosted Infrastructure
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
Glass-like state leads to advancements in cryopreservation
techxplore.com·4d·
Discuss: Hacker News
💾Retro Computing
Optimizing 100B ClickHouse Events
replo.computer·4d·
Discuss: Hacker News
👁️System Observability
Ditch those words!
robinrendle.com·2d·
Discuss: Hacker News
⚙Operational Semantics
The Real Reasons Why Developers Burnout
jcmartinez.dev·4d·
Discuss: r/programming
🔬Static Analysis
Rackintosh Plus
identity4.com·5d·
Discuss: Hacker News
💾Retro Computing
The dark forest of political communication
andrew-quinn.me·3d·
Discuss: Hacker News
🧮Lambda Calculus
Microscopic robots navigate ‘artificial spacetimes’
science.org·6d·
Discuss: Hacker News
🧩Separation Logic
You and your employer are not monogamous; you're friends with benefits at best
alnewkirk.com·20h·
Discuss: Hacker News
🎮Verification Games
Be An Agnostic Programmer
theaxolot.wordpress.com·4d·
Discuss: r/SoftwareEngineering, r/programming
🔬Static Analysis
Don't Build an Audience
humaninvariant.com·3d·
Discuss: Hacker News
🍎Apple
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·4d·
Discuss: Hacker News
👁️System Observability
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·5d
✓Automated Theorem Proving
What I think about when I think about Claude Code
interconnected.org·3d·
Discuss: Hacker News
🐫Embedded OCaml