frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

What's horned, fluffy, and ethically dubious? Yak clones

https://www.cnn.com/2026/07/25/china/tibet-yak-clones-conservation-intl-hnk-dst
3•breve•1h ago

Japanese Lottery Tickets

https://designreviewed.com/50-japanese-lottery-tickets/
1•Michelangelo11•4m 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•9m ago•0 comments

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

https://github.com/artyomsv/quil
1•artyomsv•14m 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•14m 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•17m ago•0 comments

Why My Open-Source Project Hasn't Done Better

1•yohji1984•18m ago•0 comments

CP/M-68K and Motorola 68000 Emulator

https://kobolt.github.io/article-264.html
1•AlexeyBrin•19m 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•20m ago•1 comments

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

https://cygnus.run
2•ccheshirecat•21m 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•24m ago•0 comments

An industrial designer's take on a portfolio tracker

https://stockfly.app
1•khorsus•25m 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•28m ago•0 comments

Show HN: Tawrida – Global Trade Export Documents Generator Tool

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

What if the RAM/GPU shortage is deliberate?

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

Copyfarleft

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

Trump announces 2028 presidential bid

https://www.smh.com.au/world/trump-announces-2028-presidential-bid-20260725-p60iho.html
1•wahnfrieden•34m 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•45m 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•53m ago•0 comments

The University After AI

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

Things I wish Datomic had: Map values

https://blog.danieljanus.pl/datomic-map-values/
2•nathell•57m 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