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

1 points by fanf2 3m ago 0 comments

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

1 points by giuliomagnifico 5m ago 0 comments

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

1 points by toomuchtodo 9m ago 1 comments

Professional Military Education (acoup.blog)

2 points by Tomte 11m ago 0 comments

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

1 points by jlarkson 19m ago 2 comments

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

1 points by rbanffy 21m ago 0 comments

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

4 points by Tomte 22m ago 0 comments

Bret Victor's Refs (worrydream.com)

1 points by pramodbiligiri 23m ago 0 comments

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

1 points by todsacerdoti 24m ago 0 comments

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

10 points by atomicbeanie 24m ago 2 comments

'Just in Time' Software (jlchnc.com)

1 points by pizzuh 25m ago 0 comments

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

2 points by juhatl 27m ago 0 comments

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

1 points by dbreunig 27m ago 0 comments

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

1 points by tosh 27m ago 0 comments

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

1 points by jamesgill 27m ago 0 comments

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

2 points by mgh2 28m ago 0 comments

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

4 points by vmg12 28m ago 0 comments

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

2 points by tobr 31m ago 0 comments

YAML Tool Calls for LLMs (jeremyaboyd.com)

1 points by jermaustin1 34m ago 0 comments

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

1 points by lawrenceyan 34m ago 0 comments

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

1 points by pmilla1606 35m ago 0 comments

Retreating to Safety (marco.org)

2 points by chmaynard 35m ago 1 comments

Handling Workflow Failures with Forks (dbos.dev)

2 points by qianli_cs 35m ago 0 comments

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

1 points by laguerdo 36m ago 0 comments

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

3 points by Allyedge 39m ago 1 comments

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

18 points by handfuloflight 41m ago 2 comments

Add Qwen3 (github.com)

1 points by kanpuriyanawab 41m ago 0 comments

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

6 points by neuronerd1 42m ago 2 comments

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

2 points by pythops 42m ago 0 comments

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

1 points by valyala 44m ago 0 comments

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

1 points by klaussilveira 44m ago 0 comments

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

2 points by quasiconnected 45m ago 0 comments

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

5 points by bhouston 45m ago 0 comments

K0s Joins CNCF Sandbox (cncf.io)

2 points by maxloh 48m ago 0 comments

A Smiling Public Man (salmagundi.skidmore.edu)

8 points by crescit_eundo 49m ago 0 comments

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

1 points by ageitgey 50m ago 0 comments

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

1 points by andriika 52m ago 0 comments

The Cost of Misalignment (doinghandstands.substack.com)

3 points by laurelcanin 53m ago 1 comments

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

2 points by gavinhoward 55m ago 0 comments

The Pivot Penalty in Research (nature.com)

2 points by rntn 57m ago 0 comments

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

9 points by ericmay 57m ago 1 comments

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

2 points by xavcochran 57m ago 1 comments

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

2 points by helgeai 59m ago 0 comments

Pair programming with Claude for one week

1 points by jeyzolo 1h 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)

13 points by tiagorangel 1h ago 6 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

Qualys TRU Discovers Two Local Information Disclosure Vulnerabilities in AppPort

2 eyberg 0 5/29/2025, 7:01:21 PM blog.qualys.com ↗

Comments (0)

No comments yet