frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Being Linux Torvalds

https://antirez.com/news/171
6•surprisetalk•1h ago

Comments

boesboes•42m ago
pff, i'm getting a bit tired of this endless bullshit from antirez tbh.

No we are not linus now, LLMs are not humans, agents don't think, don't 'know' when they fuck up. Even making the comparison is just disrespectful to everyone involved

Japanese Lottery Tickets

https://designreviewed.com/50-japanese-lottery-tickets/
1•Michelangelo11•5m ago•0 comments

Show HN: Smriti: Your Photos, Your Memories

https://chivukulavirinchi.github.io/photovault/
1•virinchi_cv•6m ago•0 comments

Games of Incomplete Information(2002) [pdf]

https://web.stanford.edu/~jdlevin/Econ%20203/Bayesian.pdf
1•nill0•7m ago•0 comments

AIs-welcome Lean library downstream of Mathlib

https://github.com/TauCetiProject/TauCeti
1•MADEinPARIS•10m ago•0 comments

Quil – a reboot-proof terminal multiplexer that resumes AI sessions

https://github.com/artyomsv/quil
1•artyomsv•15m ago•0 comments

The math of traffic jams and how to avoid them

https://theconversation.com/dont-change-lanes-the-maths-of-holiday-traffic-jams-287389
1•beardyw•15m ago•0 comments

Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for

https://fortune.com/2026/07/23/why-did-jensen-huang-donate-75-million-to-art-school-vanderbilt-un...
1•theanonymousone•17m ago•0 comments

Why Would Meta Download So Much Porn?

https://www.theatlantic.com/technology/2026/07/meta-strike-3-porn-lawsuit/688023/
2•hebelehubele•17m ago•1 comments

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

https://www.boazbarak.org/Papers/nuclear-zk.pdf
1•nill0•18m ago•0 comments

Why My Open-Source Project Hasn't Done Better

1•yohji1984•19m ago•0 comments

CP/M-68K and Motorola 68000 Emulator

https://kobolt.github.io/article-264.html
1•AlexeyBrin•20m ago•0 comments

Type checker may be wrong – Lean and the Curry-Howard correspondence

https://max-amb.github.io/blog/your_type_checker_may_be_wrong/
1•max-amb•21m ago•1 comments

Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS

https://cygnus.run
2•ccheshirecat•22m ago•0 comments

Personal context data isn't a moat, tacit knowledge is

https://cse.ac/en/jun/hobby-capital/
1•hyeongjun•23m ago•0 comments

Show HN: I made an algorithmic arena game with physics in 3D

https://algohol.net/
1•Vibr•23m ago•0 comments

Git rebase -I is not that scary

https://cachebag.sh/journal/interactive-rebasing/
1•birdculture•25m ago•0 comments

An industrial designer's take on a portfolio tracker

https://stockfly.app
1•khorsus•26m ago•0 comments

Trajectory: A Standard Format for Agent Experience Data

https://www.letta.com/blog/trajectory/
1•wertyk•28m ago•0 comments

Systems and Delays

https://martin.janiczek.cz/2026/07/24/systems-and-delays.html
1•haeseong•29m ago•0 comments

Show HN: Tawrida – Global Trade Export Documents Generator Tool

https://tawrida.xyz/tools
2•Mohamed_zakarya•30m ago•0 comments

What if the RAM/GPU shortage is deliberate?

https://xn--vk5b17r.online/posts/ram-gpu-consp/
1•theoneone•31m ago•1 comments

Copyfarleft

https://wiki.p2pfoundation.net/Copyfarleft
1•Tepix•32m ago•0 comments

Trump announces 2028 presidential bid

https://www.smh.com.au/world/trump-announces-2028-presidential-bid-20260725-p60iho.html
1•wahnfrieden•35m ago•1 comments

Scientist with 1k Patents Fueling a Drug Powerhouse

https://www.wsj.com/health/pharma/regeneron-george-yancopoulos-drug-discovery-17fea3fa
2•bookofjoe•38m ago•1 comments

FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript

https://frontalign.dev
2•eyruz•46m ago•1 comments

You never have to do work again

https://hiotto.vercel.app/
2•anqer•47m ago•2 comments

How we pushed CDC into Postgres, and turned replication into clockwork

https://www.snowflake.com/en/blog/engineering/postgres-to-snowflake-replication-mirroring/
2•plaur782•54m ago•0 comments

The University After AI

https://www.chronicle.com/article/the-university-after-ai
3•Michelangelo11•55m ago•0 comments

Things I wish Datomic had: Map values

https://blog.danieljanus.pl/datomic-map-values/
2•nathell•58m ago•0 comments

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

https://arxiv.org/abs/2511.12834
2•giuliomagnifico•1h ago•0 comments