A mathematical proof assistant (v2) (github.com)

1 points by ptrj_ 1m ago 0 comments

Why travel didn't bring the world together (ft.com)

1 points by rwc9 2m ago 0 comments

We've submitted Fortnite to Apple for review (twitter.com)

1 points by ushakov 4m ago 0 comments

Not Recommended: Why Current Content Recommendation Systems Fail Us (gojiberries.io)

1 points by goji_berries 8m ago 1 comments

Ask HN: Which function definition keyword do you prefer, def or fn?

1 points by winwang 12m ago 1 comments

Xkcd's "Is It Worth the Time?" Considered Harmful (will-keleher.com)

4 points by gcmeplz 12m ago 0 comments

Apple reportedly readies Baltra processors for AI servers (tomshardware.com)

2 points by giuliomagnifico 12m ago 0 comments

Galactic Coordinate System (en.wikipedia.org)

1 points by olddustytrail 14m ago 0 comments

The Grug Brained Developer (grugbrain.dev)

1 points by vkaku 15m ago 0 comments

Fine-tuned acoustic waves can knock drones out of the sky (economist.com)

3 points by m1guelpf 16m ago 0 comments

Sidebar Calendar – Your Schedule at a Glance (apps.apple.com)

1 points by gabecatalfo 18m ago 1 comments

Legal actions in Brazilian air transport: a ML/logistic regression analysis (frontiersin.org)

1 points by felineflock 18m ago 0 comments

Orders for Pahalgam satellite images from US firm peaked 2 months before attack (theprint.in)

1 points by rainhacker 19m ago 0 comments

Simon Willison's first blog on LLMs (2022) (simonwillison.net)

4 points by Alifatisk 20m ago 0 comments

Show HN: No as a Service Rust (github.com)

2 points by ZAZPRO 21m ago 0 comments

Ursula K. Le Guin on the TV Earthsea. (2004) (slate.com)

2 points by Tomte 22m ago 0 comments

GNU Taler 1.0 Released (taler.net)

6 points by midzer 22m ago 0 comments

why vi rocks (why-vi.rocks)

2 points by exvi 24m ago 0 comments

How Bail Bonds Work (finbarr.site)

1 points by Finbarr 25m ago 0 comments

Book Review: Chronicles of Wasted Time (2015) (slatestarcodex.com)

1 points by Michelangelo11 26m ago 0 comments

Why John Wilson Can't Stop Filming (youtube.com)

2 points by marviel 30m ago 0 comments

Python Internals (2010) (eli.thegreenplace.net)

1 points by azhenley 32m ago 0 comments

A sub-millisecond GC for .NET? (blog.applied-algorithms.tech)

2 points by PKop 32m ago 0 comments

Why is open source failing? (youtube.com)

1 points by pjmlp 32m ago 1 comments

OpenAI enterprise adoption appears to be accelerating, at the expense of rivals (techcrunch.com)

1 points by rntn 32m ago 0 comments

MDS-PC1 (Sony) 1997 (anniversary-net.com)

1 points by erickhill 33m ago 0 comments

RecordLite: Declaratively maintains SQLite tables, views of semi-structured data (github.com)

1 points by thunderbong 37m ago 0 comments

What Do the Most Powerful Get By Cutting Off the Internet (nytimes.com)

2 points by hanson108 37m ago 2 comments

Show HN: Kozu – A minimalist tool to manage your YouTube study sessions (mykozu.xyz)

2 points by realhardik18 37m ago 0 comments

Show HN: Diffwithgpt – Local LLM Summarizer for Git diffs (diffwithgpt.com)

1 points by sp1982 39m ago 0 comments

DCJ11 Single Board Computer (PDP-11) (5volts.ch)

1 points by classichasclass 40m ago 0 comments

Call It Sour Grapes (2020) (betonit.ai)

1 points by xqcgrek2 43m ago 0 comments

Book Review: "What Went Wrong?" By Bernard Lewis (chevalierdarlington.substack.com)

1 points by impish9208 44m ago 0 comments

Unique Games Conjecture (en.wikipedia.org)

1 points by surprisetalk 45m ago 0 comments

Fauna/FaunaDB (github.com)

1 points by l2dy 48m ago 0 comments

The absolute best transportation for cities (trams/streetcars) [video] (youtube.com)

2 points by surprisetalk 49m ago 0 comments

Seed-Coder: Let the Code Model Curate Data for Itself (github.com)

2 points by wertyk 51m ago 0 comments

Everything you always wanted to know about the Carnegie Diplodocus (svpow.com)

1 points by surprisetalk 52m ago 0 comments

The crisis of the 21st century is here (noahpinion.blog)

2 points by paulpauper 52m ago 0 comments

The $200B Gamble: Bill Gates's Plan to Wind Down His Foundation (nytimes.com)

1 points by paulpauper 52m ago 0 comments

Ghosts in the CDN: Publishing with Astro and Cloudflare (zeropoint.sh)

4 points by indigodaddy 58m ago 0 comments

Caffeine in Your Blood Could Affect Body Fat and Diabetes Risk, Study Shows (sciencealert.com)

2 points by amichail 59m ago 1 comments

Reverse engineering the 386 processor's prefetch queue circuitry (righto.com)

11 points by todsacerdoti 1h ago 1 comments

Hallucination Index (galileo.ai)

1 points by andsoitis 1h ago 0 comments

Teaching Coding with JavaScript and P5.js (eli.thegreenplace.net)

2 points by ingve 1h ago 1 comments

Show HN: Be Lux – AI-Powered Super App for Consumer Services (consumerapp.belux.ai)

1 points by beluxllc 1h ago 0 comments

TSD Proxy is a proxy for containerized services on a Tailscale network (almeidapaulopt.github.io)

1 points by teekert 1h ago 0 comments

Sam Altman Wants Your Eyeball (privacyguides.org)

39 points by ChiptuneIsCool 1h ago 22 comments

Protest in Front of BBC Headquarters (bsky.app)

4 points by modinfo 1h ago 1 comments

Bcachefs, Btrfs, EXT4, F2FS and XFS File-System Performance on Linux 6.15

5 throwaway1482 0 5/10/2025, 2:13:54 PM phoronix.com ↗

Comments (0)

No comments yet