ΠΣ: Dependent Types Without the Sugar (kosmikus.org)

1 points by fanf2 1m ago 0 comments

Bluesky has caught on with many news influencers, but X remains popular (pewresearch.org)

1 points by giuliomagnifico 3m ago 0 comments

Amazon Pledges to Continue Aggressive Data Center Expansion (bloomberg.com)

1 points by toomuchtodo 8m ago 1 comments

Professional Military Education (acoup.blog)

2 points by Tomte 9m ago 0 comments

Lessons Learned from Outsourcing Software Projects: A Technical Perspective (nexadevs.com)

1 points by jlarkson 17m ago 2 comments

Vanishing Culture: A Report on Our Fragile Cultural Record (2024) (blog.archive.org)

1 points by rbanffy 19m ago 0 comments

Taylor Swift buys back the rights to her master recordings (bbc.com)

4 points by Tomte 20m ago 0 comments

Bret Victor's Refs (worrydream.com)

1 points by pramodbiligiri 22m ago 0 comments

Programming Beyond Practices [pdf] (notes.skillstopractice.com)

1 points by todsacerdoti 22m ago 0 comments

Tesla Autopilot Flips Car over in Perfect Driving Conditions (electrek.co)

9 points by atomicbeanie 23m ago 2 comments

'Just in Time' Software (jlchnc.com)

1 points by pizzuh 23m ago 0 comments

Stack Overflow Developer Survey 2025 (stackoverflow.az1.qualtrics.com)

2 points by juhatl 25m ago 0 comments

Using 'Slop Forensics' to Determine Model Lineage (dbreunig.com)

1 points by dbreunig 25m ago 0 comments

Demark: HTML in. MD out. (github.com)

1 points by tosh 25m ago 0 comments

The Coolest Radio You've Probably Never Heard of [video] (youtube.com)

1 points by jamesgill 26m ago 0 comments

Filmmakers Used 20 iPhones at Once to Shoot '28 Years Later' (macrumors.com)

2 points by mgh2 26m ago 0 comments

GritQL: A query language for searching, linting, and modifying code (github.com)

4 points by vmg12 27m ago 0 comments

Proof that Patrick Stewart exists in the Star Trek universe (ironicsans.ghost.io)

1 points by tobr 29m ago 0 comments

YAML Tool Calls for LLMs (jeremyaboyd.com)

1 points by jermaustin1 32m ago 0 comments

Introducing Alpenglow – Solana's New Consensus [video] (youtube.com)

1 points by lawrenceyan 32m ago 0 comments

Show HN: Blende – Simple, Shareable Photo Galleries (blende.io)

1 points by pmilla1606 33m ago 0 comments

Retreating to Safety (marco.org)

2 points by chmaynard 33m ago 1 comments

Handling Workflow Failures with Forks (dbos.dev)

2 points by qianli_cs 34m ago 0 comments

Show HN: Merunit – Visual-first unit test generator (waitlist) (merunit.io)

1 points by laguerdo 34m ago 0 comments

Ask HN: Feeling uninspired as a programmer, could I get some advice?

3 points by Allyedge 38m ago 1 comments

Trump Taps Palantir to Create Master Database on Every American (newrepublic.com)

17 points by handfuloflight 40m ago 2 comments

Add Qwen3 (github.com)

1 points by kanpuriyanawab 40m ago 0 comments

Sustain in the brain: conserved neural mechanisms of emotion from mice to humans (med.stanford.edu)

5 points by neuronerd1 40m ago 2 comments

Notes on Type Layouts and ABIs in Rust (2018) (faultlore.com)

2 points by pythops 40m ago 0 comments

Fix Safari SecurityError when Block All Cookies is enabled (github.com)

1 points by valyala 42m ago 0 comments

Redis-cpp: a header-only library in C++17 for Redis (github.com)

1 points by klaussilveira 43m ago 0 comments

Structured Concurrency in Robot Control (max.xz.ax)

2 points by quasiconnected 43m ago 0 comments

Elon Musk used cocktail of ketamine, ecstasy, shrooms, and Adderall while at WH (vanityfair.com)

5 points by bhouston 44m ago 0 comments

K0s Joins CNCF Sandbox (cncf.io)

2 points by maxloh 47m ago 0 comments

A Smiling Public Man (salmagundi.skidmore.edu)

8 points by crescit_eundo 48m ago 0 comments

Orange County's Big Healthcare Brawl (pricepoints.health)

1 points by ageitgey 49m ago 0 comments

Enhanced Agentic-RAG: What If Chatbots Could Deliver Near-Human Precision? (uber.com)

1 points by andriika 51m ago 0 comments

The Cost of Misalignment (doinghandstands.substack.com)

3 points by laurelcanin 51m ago 1 comments

Formal Methods Let You Explore the Corners (2016) (johndcook.com)

2 points by gavinhoward 53m ago 0 comments

The Pivot Penalty in Research (nature.com)

2 points by rntn 55m ago 0 comments

America needs to make its cities family-friendly again (ft.com)

9 points by ericmay 56m ago 1 comments

Unified Graph-Vector Database for AI Retrieval (helix-db.com)

2 points by xavcochran 56m ago 1 comments

Show HN: AI Phone Assistant Built for Solo Entrepreneurs (phonewise-ivr.tilda.ws)

2 points by helgeai 57m ago 0 comments

Pair programming with Claude for one week

1 points by jeyzolo 59m ago 0 comments

Blue Origin boss: Government should forget launch and focus on "exotic" missions (arstechnica.com)

2 points by voxadam 1h ago 0 comments

Stack Overflow's plan to survive the age of AI (thenewstack.io)

3 points by MilnerRoute 1h ago 1 comments

Java at 30: How a language designed for a failed gadget became a powerhouse (zdnet.com)

2 points by CrankyBear 1h ago 0 comments

Cap: Lightweight, modern open-source CAPTCHA alternative using proof-of-work (capjs.js.org)

11 points by tiagorangel 1h ago 5 comments

The lessons from China's dominance in manufacturing (ft.com)

1 points by bookofjoe 1h ago 1 comments

Logical Disjunct Categories Don't Work (karl-voit.at)

2 points by Malfunction92 1h ago 0 comments

A new generation of Tailscale access controls

3 ingve 0 5/29/2025, 6:23:04 PM tailscale.com ↗

Comments (0)

No comments yet