C1ick and C⊗LLec⊥: Interactive linear logic prover (click-and-collect.linear-logic.org)

1 points by abathologist 1m ago 1 comments

China Is Building a Brain-Computer Interface Industry (wired.com)

1 points by aspenmayer 2m ago 0 comments

The First 15 Minutes of Skyblivion Oblivion Remake Gameplay 2025 [video] (youtube.com)

1 points by agluszak 4m ago 0 comments

Lewis and Clark marked their trail with laxatives (offbeatoregon.com)

2 points by toomuchtodo 5m ago 0 comments

Safe Aliasable Mutability via Stable References in Ante (antelang.org)

1 points by jfecher 5m ago 0 comments

Java build tooling could be better Java User Group Switzerland (youtube.com)

1 points by lihaoyi 6m ago 0 comments

Reverse engineering Solos smart glasses (jfloren.net)

1 points by floren 7m ago 0 comments

Turning Point: 10-day Vipassana meditation and its impact on focus and ego (thawani.substack.com)

1 points by pt7even 7m ago 1 comments

Why enterprises lag in adopting AI (and why this time is different) (ai4enterprise.substack.com)

1 points by pt7even 9m ago 1 comments

Chuck E. Cheese's Annual Report For Kids (1982) [pdf] (showbizpizza.com)

1 points by xxr 10m ago 0 comments

Water as Medicine (williamjbarry.substack.com)

2 points by wjb3 13m ago 0 comments

Show HN: Omoshiro – Private Pinterest/Instagram for Couples (hello.omoshiro.app)

1 points by ashaney 15m ago 0 comments

Show HN: Local-HTML – A hack to share .html as GUI's with R/w permissions (github.com)

1 points by athrowaway3z 15m ago 0 comments

Altair 8800: The Most Powerful Minicomputer Ever Presented (1975) (archive.org)

2 points by glimshe 15m ago 0 comments

AI can't solve these puzzles that take humans only seconds (scientificamerican.com)

1 points by mikhael 16m ago 0 comments

A Linux version of the Procmon Sysinternals tool (github.com)

3 points by LelouBil 16m ago 0 comments

Efrit: Giving Claude Full Access to 50 Years of Emacs Capabilities [video] (youtube.com)

1 points by pizza 25m ago 0 comments

Social connections matter for the well-being of neurodivergent workers (theconversation.com)

1 points by supriyo-biswas 28m ago 0 comments

Show HN: I built a tool to create art work (pencilart.app)

1 points by samuelaidoo45 33m ago 0 comments

The Super-Rich 'Preppers' Planning To Save Themselves From The Apocalypse (2022) (theguardian.com)

2 points by optimalsolver 44m ago 1 comments

Curl Project Status Dashboard (curl.se)

2 points by jacques_chester 45m ago 1 comments

Introduction to Writing Good Puzzle Hunt Puzzles (mit.edu)

2 points by ntnbr 50m ago 0 comments

Journaling with Terminal and Plaintext Files (njbrown.com)

4 points by ntnbr 54m ago 1 comments

AI and Jobs: The Final Word (Until the Next One) (eig.org)

1 points by bikenaga 56m ago 0 comments

Chatbots can be manipulated through flattery and peer pressure (theverge.com)

2 points by alwillis 1h ago 0 comments

Upgraded catalyst system achieves low-temperature oxidation (phys.org)

1 points by PaulHoule 1h ago 0 comments

Uvicorn (uvicorn.org)

2 points by tosh 1h ago 0 comments

A story about an obsolete PC, an old library book, and one version of MS-DOS (arstechnica.com)

1 points by mariuz 1h ago 0 comments

What Every Argument About Sideloading Gets Wrong (hugotunius.se)

2 points by K0nserv 1h ago 0 comments

Early noradrenergic axon loss drives olfactory dysfunction in Alzheimer's (nature.com)

2 points by bookofjoe 1h ago 0 comments

Frustrated by failing ID checks, migrants change names to fit databases (abc.net.au)

1 points by decimalenough 1h ago 0 comments

Show HN: Super simple file transfer utility (file.guru)

1 points by brianush1 1h ago 0 comments

NetSurf on ReMarkable 2 (akselmo.dev)

2 points by Fudgel 1h ago 0 comments

Aimentor Global – find the right mentor (aimentorglobal.eu)

1 points by surkhailazhar 1h ago 0 comments

Every Implementable Algorithm Is Extensionally a Lookup Table (table.dk.workers.dev)

1 points by measurablefunc 1h ago 0 comments

CLI for semantic search (by meaning, not exact words) over PDF, DOCX, etc. (github.com)

1 points by mustaphah 1h ago 0 comments

Random Movie Clips TV – Made with Phoenix Liveview (tvmode.net)

2 points by atulvi 1h ago 0 comments

Staying Sane on a Zombie Planet (scottaaronson.blog)

3 points by FergusArgyll 1h ago 0 comments

Google and HTTP (2018) (this.how)

1 points by panic 1h ago 0 comments

Show HN: Save links, get a weekly recap about what's important (tryeyeball.com)

1 points by quinto_quarto 1h ago 0 comments

Operation Mincemeat (en.wikipedia.org)

3 points by niklasbuschmann 1h ago 0 comments

Run AI Agents in Lightweight Sandboxes Using Bubblewrap (blog.gpkb.org)

1 points by globular-toast 1h ago 0 comments

Why I shop via print catalogs in 2025 (kevinlynagh.com)

2 points by zdw 1h ago 0 comments

Shepard Tables (en.wikipedia.org)

6 points by bookofjoe 1h ago 0 comments

Show HN: Claudable – open-source web builder powered by 5 CLI AI coding agents (github.com)

3 points by aaronSong 1h ago 0 comments

The Untold Story Behind Prince of Persia's Impressive SNES Port (timeextension.com)

5 points by syx 1h ago 1 comments

The Cost of Slow Feedback Loops (revontulet.dev)

3 points by kiyanwang 1h ago 0 comments

Earth models can predict the planet's future but not their own (undark.org)

1 points by worik 1h ago 0 comments

Compass – 10-min founder diagnostic with an AI weekly coach (compass.prepare4vc.com)

1 points by jkraus23 2h ago 1 comments

Show HN: Design Inspirations on an Infinite Wall of UI Components (shuffle.dev)

1 points by kemyd 2h ago 0 comments

Making a game that's fun for longer than it took to build it [video]

1 jasonjmcghee 0 8/31/2025, 12:51:56 AM youtube.com ↗

Comments (0)

No comments yet