frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Combinatorial Games in Lean

https://github.com/vihdzp/combinatorial-games
14•wertyk•3d ago

Comments

unprovable•1h ago
Neat! Perhaps add a wishlist or Project tab? :)

Tangentially, I recall reading a paper not that long ago that showed that under certain assumptions that Zermelo's theorem showed that making the games 'quantum games' didn't actually offer any real advantage.

wertyk•1h ago
Not the author, I just submitted the link — vihdzp maintains the repo. An issue over there would actually reach them.)

Jurassic Park computers in excruciating detail

https://fabiensanglard.net/jurrasic_park_computers/index.html
506•vinhnx•8h ago•122 comments

Vancouver PD website features Quick Escape button that wipes itself from history

https://vpd.ca/
280•LookAtThatBacon•10h ago•117 comments

Bonsai 27B: A 27B-Class model that runs on a phone

https://prismml.com/news/bonsai-27b
612•xenova•17h ago•214 comments

TS-2026-009: Insecure argument handling in Tailscale SSH permitted root access

https://tailscale.com/security-bulletins
161•jervant•9h ago•83 comments

Who's running all those tiny RPKI servers?

https://blog.apnic.net/2026/07/15/whos-running-all-those-tiny-rpki-servers/
44•enz•4h ago•1 comments

RISC-V Is Inevitable: State of the Union Keynote Argues

https://www.eetimes.com/risc-v-is-inevitable-state-of-the-union-keynote-argues/
75•signa11•5h ago•61 comments

I tricked Claude into leaking your deepest, darkest secrets

https://www.ayush.digital/blog/the-memory-heist
350•macleginn•4h ago•162 comments

The Tower Keeps Rising

https://lucumr.pocoo.org/2026/7/13/the-tower-keeps-rising/
479•cdrnsf•18h ago•226 comments

Combinatorial Games in Lean

https://github.com/vihdzp/combinatorial-games
15•wertyk•3d ago•2 comments

Dependabot version updates introduce default package cooldown

https://github.blog/changelog/2026-07-14-dependabot-version-updates-introduce-default-package-coo...
181•woodruffw•13h ago•113 comments

Cursor 0day: When Full Disclosure Becomes the Only Protection Left

https://mindgard.ai/blog/cursor-0day-when-full-disclosure-becomes-the-only-protection-left
380•Synthetic7346•17h ago•179 comments

How I use HTMX with Go

https://www.alexedwards.net/blog/how-i-use-htmx-with-go
257•gnabgib•15h ago•71 comments

Andon (manufacturing)

https://en.wikipedia.org/wiki/Andon_(manufacturing)
56•tony•3d ago•18 comments

How to stop Claude from saying load-bearing

https://jola.dev/posts/how-to-stop-claude-from-saying-load-bearing
541•shintoist•23h ago•564 comments

Microsoft has released software updates to plug at least 570 security holes

https://krebsonsecurity.com/2026/07/microsoft-patches-a-record-570-security-flaws/
139•robin_reala•13h ago•90 comments

I'm a USB-C Maximalist

https://shkspr.mobi/blog/2026/07/im-a-usb-c-maximalist/
294•speckx•19h ago•388 comments

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel

https://www.starfleetmath.com/
140•colin7snyder•10h ago•72 comments

Surprising lessons from my research scientist job search

https://yongzx.github.io/blog/2026/06/24/job-search/
18•gmays•4d ago•1 comments

Neverclick: Desktop application for performing mouse actions with your keyboard

https://github.com/LazoVelko/neverclick
11•thunderbong•3d ago•8 comments

The kids with phones are alright

https://heatherburns.tech/2026/07/08/the-kids-with-phones-are-alright/
217•JumpCrisscross•4d ago•232 comments

The largest available Minecraft world, totalling 15 TB

https://2b2t.place/1million
223•_____k•3d ago•71 comments

Mathematical texts from a Maya site in Guatemala identify an ancient astronomer

https://www.nature.com/articles/d41586-026-02170-8
99•homarp•23h ago•22 comments

LeMario: Training a JEPA World Model on Super Mario Bros

https://www.benjamin-bai.com/projects/lemario
106•kevinjosethomas•12h ago•13 comments

The bread paradox: why convenience always wins, and why SaaS isn't doomed

https://www.joanwestenberg.com/p/the-bread-paradox-why-convenience
92•srijan4•1d ago•87 comments

Launch HN: Agnost AI (YC S26) – Extract user feedback from agent conversations

https://agnost.ai
79•laalshaitaan•19h ago•41 comments

Probably check on your smart appliances

https://xeiaso.net/notes/2026/check-your-smart-tv/
75•xena•13h ago•28 comments

Show HN: Juggler – an open-source GUI coding agent, by the creator of JUCE

https://github.com/juggler-ai/juggler
246•julesrms•2d ago•106 comments

The Estranged Worlds of J. G. Ballard

https://lareviewofbooks.org/article/jg-ballard-illuminated-man-christopher-priest-nina-allan/
66•Caiero•1d ago•15 comments

Your 'app' could have been a webpage (so I fixed it for you)

https://danq.me/2026/07/09/your-app-could-have-been-a-webpage/
822•MrVandemar•4d ago•488 comments

Never argue with your boss (2009)

https://righteousit.com/2009/03/12/never-argue-with-your-boss/
53•indigodaddy•4d ago•46 comments