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

1 points by ptrj_ 5s ago 0 comments

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

1 points by rwc9 1m ago 0 comments

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

1 points by ushakov 3m ago 0 comments

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

1 points by goji_berries 7m ago 1 comments

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

1 points by winwang 11m ago 1 comments

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

4 points by gcmeplz 11m ago 0 comments

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

2 points by giuliomagnifico 11m ago 0 comments

Galactic Coordinate System (en.wikipedia.org)

1 points by olddustytrail 13m ago 0 comments

The Grug Brained Developer (grugbrain.dev)

1 points by vkaku 14m ago 0 comments

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

3 points by m1guelpf 15m ago 0 comments

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

1 points by gabecatalfo 17m ago 1 comments

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

1 points by felineflock 17m ago 0 comments

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

1 points by rainhacker 18m ago 0 comments

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

3 points by Alifatisk 19m ago 0 comments

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

2 points by ZAZPRO 20m ago 0 comments

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

2 points by Tomte 21m ago 0 comments

GNU Taler 1.0 Released (taler.net)

6 points by midzer 21m ago 0 comments

why vi rocks (why-vi.rocks)

2 points by exvi 23m ago 0 comments

How Bail Bonds Work (finbarr.site)

1 points by Finbarr 24m ago 0 comments

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

1 points by Michelangelo11 25m ago 0 comments

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

2 points by marviel 29m ago 0 comments

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

1 points by azhenley 31m ago 0 comments

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

2 points by PKop 31m ago 0 comments

Why is open source failing? (youtube.com)

1 points by pjmlp 31m ago 1 comments

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

1 points by rntn 31m ago 0 comments

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

1 points by erickhill 32m ago 0 comments

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

1 points by thunderbong 36m ago 0 comments

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

2 points by hanson108 36m ago 2 comments

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

2 points by realhardik18 36m ago 0 comments

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

1 points by sp1982 38m ago 0 comments

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

1 points by classichasclass 39m ago 0 comments

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

1 points by xqcgrek2 42m ago 0 comments

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

1 points by impish9208 43m ago 0 comments

Unique Games Conjecture (en.wikipedia.org)

1 points by surprisetalk 44m ago 0 comments

Fauna/FaunaDB (github.com)

1 points by l2dy 47m ago 0 comments

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

2 points by surprisetalk 48m ago 0 comments

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

2 points by wertyk 50m ago 0 comments

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

1 points by surprisetalk 51m ago 0 comments

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

2 points by paulpauper 51m ago 0 comments

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

1 points by paulpauper 51m ago 0 comments

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

4 points by indigodaddy 57m ago 0 comments

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

2 points by amichail 58m 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 21 comments

Protest in Front of BBC Headquarters (bsky.app)

4 points by modinfo 1h ago 1 comments

An updated view on product market fit: Wrestling (aimode.substack.com)

1 points by warthog 1h ago 0 comments

Recurse Center: my return statement

1 pyb 0 5/10/2025, 1:13:34 PM baccou.com ↗

Comments (0)

No comments yet