1

Quil – a reboot-proof terminal multiplexer that resumes AI sessions (github.com)

by artyomsv 3 minutes ago | hide | 0 comments

1

The math of traffic jams and how to avoid them (theconversation.com)

by beardyw 4 minutes ago | hide | 0 comments

1

Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for (fortune.com)

by theanonymousone 6 minutes ago | hide | 0 comments

1

Why Would Meta Download So Much Porn? (theatlantic.com)

by hebelehubele 6 minutes ago | hide | 1 comments

1

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf] (boazbarak.org)

by nill0 7 minutes ago | hide | 0 comments

1

Why My Open-Source Project Hasn't Done Better

by yohji1984 8 minutes ago | hide | 0 comments

1

CP/M-68K and Motorola 68000 Emulator (kobolt.github.io)

by AlexeyBrin 8 minutes ago | hide | 0 comments

1

Type checker may be wrong – Lean and the Curry-Howard correspondence (max-amb.github.io)

by max-amb 10 minutes ago | hide | 0 comments

1

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS (cygnus.run)

by ccheshirecat 11 minutes ago | hide | 0 comments

1

Personal context data isn't a moat, tacit knowledge is (cse.ac)

by hyeongjun 12 minutes ago | hide | 0 comments

1

Show HN: I made an algorithmic arena game with physics in 3D (algohol.net)

by Vibr 12 minutes ago | hide | 0 comments

1

Git rebase -I is not that scary (cachebag.sh)

by birdculture 14 minutes ago | hide | 0 comments

1

An industrial designer's take on a portfolio tracker (stockfly.app)

by khorsus 15 minutes ago | hide | 1 comments

1

Trajectory: A Standard Format for Agent Experience Data (letta.com)

by wertyk 17 minutes ago | hide | 0 comments

1

Systems and Delays (martin.janiczek.cz)

by haeseong 18 minutes ago | hide | 0 comments

2

Show HN: Tawrida – Global Trade Export Documents Generator Tool (tawrida.xyz)

by Mohamed_zakarya 19 minutes ago | hide | 0 comments

1

What if the RAM/GPU shortage is deliberate? (xn--vk5b17r.online)

by theoneone 20 minutes ago | hide | 1 comments

1

Copyfarleft (wiki.p2pfoundation.net)

by Tepix 21 minutes ago | hide | 0 comments

1

Trump announces 2028 presidential bid (smh.com.au)

by wahnfrieden 24 minutes ago | hide | 1 comments

2

Scientist with 1k Patents Fueling a Drug Powerhouse (wsj.com)

by bookofjoe 27 minutes ago | hide | 1 comments

2

FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript (frontalign.dev)

by eyruz 35 minutes ago | hide | 1 comments

2

You never have to do work again (hiotto.vercel.app)

by anqer 36 minutes ago | hide | 2 comments

2

How we pushed CDC into Postgres, and turned replication into clockwork (snowflake.com)

by plaur782 43 minutes ago | hide | 0 comments

3

The University After AI (chronicle.com)

by Michelangelo11 44 minutes ago | hide | 0 comments

2

Things I wish Datomic had: Map values (blog.danieljanus.pl)

by nathell an hour ago | hide | 0 comments

2

Saga: Source Attribution of Generative AI Videos (identifies the model used) (arxiv.org)

by giuliomagnifico an hour ago | hide | 0 comments

3

What's horned, fluffy, and ethically dubious? Yak clones (cnn.com)

by breve an hour ago | hide | 0 comments

3

The Rise of Anti-Flock Influencers Who Make Things Up for Clout (404media.co)

by Cider9986 an hour ago | hide | 1 comments

4

Epistemic Engine – verify AI-generated code and forecast what will break (github.com)

by aswinsasi123 an hour ago | hide | 0 comments

3

cpp-tui – A lightweight, single-header C++ TUI (Text User Interface) library (github.com)

by gjvc an hour ago | hide | 0 comments

[MAD] Hacker News