The Fisherman and His Wife
sites.pitt.edu·1d·
Discuss: Hacker News
🧮Lambda Calculus
Top 10% of Earners Drive a Growing Share of US Consumer Spending
bloomberg.com·1d·
Discuss: Hacker News
📚Automata Learning
Europe wants to turn Digital Euro (CBDC) into a stablecoin
antongolub.substack.com·2d·
Discuss: Substack
🔧Unikernel Development
Installing NetWare NFS Gateway 1.2 on NetWare 3.12
zx.net.nz·2d·
Discuss: Hacker News
🐳Containerization
How Much Carbon Do We Need to Capture?
spectrum.ieee.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Which is better
mohessaid.medium.com·4d·
Discuss: r/programming
📚Automata Learning
Nano-switch achieves first directed, gated flow of excitons
news.engin.umich.edu·6d·
Discuss: Hacker News
🧩Separation Logic
Death Rates from Chronic Diseases Dropped in Most Countries
scientificamerican.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
“I Got Pwned”: npm maintainer of Chalk & Debug speaks on the massive supply-chain attack
youtube.com·5d·
Discuss: Hacker News, r/programming
❄️Nixified Development
Using AI to Augment, Not Automate Your Writing
blog.apiad.net·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Spiral
spiraldb.com·6d·
Discuss: Hacker News
💾Retro Computing
AI Coding
geohot.github.io·6d·
Discuss: Lobsters, Hacker News, Hacker News
📚Automata Learning
A vibe coding learning design to enhance EFL students' talking to, through, and about AI
arxiv.org·6d
🤖Program Synthesis
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·6d
🧩Separation Logic
Show HN: PHP MCP SDK
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·4d
🐫OCaml
iPhone Air review: The thinnest iPhone ever, but at what cost?
9to5mac.com·21h
🍎Apple
Book Review: If Anyone Builds It, Everyone Dies
astralcodexten.com·6d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
CodeRabbit raises $60M, valuing the 2-year-old AI code review startup at $550M
techcrunch.com·1d·
Discuss: Hacker News
📊Runtime Verification
How should ‘mirror life’ research be restricted? Debate heats up
nature.com·2d·
Discuss: Hacker News
🏹Effect Systems