frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

https://abhamra.com/blog/randomized-maxcut/
26•todsacerdoti•3d ago

Fabrice Bellard Releases MicroQuickJS

https://github.com/bellard/mquickjs/blob/main/README.md
1015•Aissen•15h ago•387 comments

X-ray: a Python library for finding bad redactions in PDF documents

https://github.com/freelawproject/x-ray
385•rendx•10h ago•79 comments

Some Epstein file redactions are being undone with hacks

https://www.theguardian.com/us-news/2025/dec/23/epstein-unredacted-files-social-media
419•vinni2•12h ago•301 comments

Unifi Travel Router

https://blog.ui.com/article/travel-in-style-unifi-style-unifi-travel-router
227•flurdy•8h ago•182 comments

Texas app store age verification law blocked by federal judge

https://www.macrumors.com/2025/12/23/texas-app-store-law-blocked/
218•danso•10h ago•119 comments

Autonomously navigating the real world: lessons from the PG&E outage

https://waymo.com/blog/2025/12/autonomously-navigating-the-real-world
73•scoofy•6h ago•22 comments

CEO killed at industrial site by worker operating forklift

https://www.12onyourside.com/2025/12/23/ceo-killed-industrial-site-by-worker-operating-forklift-w...
14•gehwartzen•2h ago•1 comments

Show HN: Turn raw HTML into production-ready images for free

https://html2png.dev
57•alvinunreal•6h ago•26 comments

Nabokov's guide to foreigners learning Russian

https://twitter.com/haravayin_hogh/status/2003299405907247502
76•flaxxen•7h ago•103 comments

Could lockfiles just be SBOMs?

https://nesbitt.io/2025/12/23/could-lockfiles-just-be-sboms.html
46•zdw•6h ago•23 comments

Custom Cross Compiler with Nix

https://www.hobson.space/posts/nixcross/
14•todsacerdoti•3h ago•0 comments

Lua 5.5

https://lua.org/versions.html#5.5
278•km•1d ago•89 comments

Life, Death and Mowing

https://www.cam.ac.uk/stories/lawnmower-poetry
7•timthorn•4d ago•2 comments

Don't Become the Machine

https://armeet.bearblog.dev/becoming-the-machine/
51•armeet•5h ago•19 comments

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

https://abhamra.com/blog/randomized-maxcut/
26•todsacerdoti•3d ago•0 comments

Perfect Software – Software for an Audience of One

https://outofdesk.netlify.app/blog/perfect-software
135•ggauravr•4d ago•57 comments

Is Northern Virginia still the least reliable AWS region?

https://statusgator.com/blog/aws-least-reliable-region-in-2025/
89•colinbartlett•9h ago•60 comments

Correspondence Between Don Knuth and Peter van Emde Boas on Priority Deques 1977 [pdf]

https://staff.fnwi.uva.nl/p.vanemdeboas/knuthnote.pdf
31•vismit2000•6h ago•2 comments

Learn Lisp/Fennel Programming Against Neovim

https://github.com/humorless/fennel-fp-neovim
51•veqq•6d ago•5 comments

Interactive Fluid Typography

https://electricmagicfactory.com/articles/interactive-fluid-typography/
42•list•5d ago•8 comments

HTTP Caching, a Refresher

https://danburzo.ro/http-caching-refresher/
100•danburzo•12h ago•15 comments

We replaced H.264 streaming with JPEG screenshots (and it worked better)

https://blog.helix.ml/p/we-mass-deployed-15-year-old-screen
403•quesobob•14h ago•247 comments

Open source USB to GPIB converter (for Test and Measurement instruments)

https://github.com/xyphro/UsbGpib
31•v15w•7h ago•6 comments

What makes you senior

https://terriblesoftware.org/2025/11/25/what-actually-makes-you-senior/
313•mooreds•4d ago•154 comments

'Dracula's Chivito': Hubble reveals largest birthplace of planets ever observed

https://phys.org/news/2025-12-chaotic-dracula-chivito-hubble-reveals.html
41•wglb•6h ago•9 comments

Volvo Centum is Dalton Maag's new typeface for Volvo

https://www.wallpaper.com/design-interiors/corporate-design-branding/volvo-new-font-volvo-centum
81•ohjeez•14h ago•68 comments

Help My c64 caught on fire

https://c0de517e.com/026_c64fire.htm
94•ibobev•13h ago•31 comments

Fifty problems with standard web APIs in 2025

https://zerotrickpony.com/articles/browser-bugs/
112•dhruv3006•6d ago•37 comments

iOS 26.3 brings AirPods-like pairing to third-party devices in EU under DMA

https://www.macrumors.com/2025/12/22/ios-26-3-dma-airpods-pairing/
287•Tomte•1d ago•251 comments

Time-Traveling to 1979: Advice for Designing 'C with Classes

https://coderschmoder.com/i-time-traveled-1979-met-bjarne-stroustrup
11•birdculture•1w ago•8 comments