frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

TorchLean: Formalizing Neural Networks in Lean

https://leandojo.org/torchlean.html
21•matt_d•2d ago

Comments

measurablefunc•1h ago
I guess the next step would be adding support for quantized arithmetic.
pstoll•1h ago
And the lower precision float variants.

I'm reluctant to verify my identity or age for any online services

https://neilzone.co.uk/2026/03/im-struggling-to-think-of-any-online-services-for-which-id-be-will...
605•speckx•4h ago•367 comments

MacBook Pro with new M5 Pro and M5 Max

https://www.apple.com/newsroom/2026/03/apple-introduces-macbook-pro-with-all-new-m5-pro-and-m5-max/
457•scrlk•5h ago•445 comments

Intel's make-or-break 18A process node debuts for data center with 288-core Xeon

https://www.tomshardware.com/pc-components/cpus/intels-make-or-break-18a-process-node-debuts-for-...
26•vanburen•16m ago•2 comments

Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video]

https://www.youtube.com/watch?v=B3m3AMRlYfc
265•pcdavid•4h ago•39 comments

MacBook Air with M5

https://www.apple.com/newsroom/2026/03/apple-introduces-the-new-macbook-air-with-m5/
249•Garbage•5h ago•229 comments

Don't become an engineering manager

https://newsletter.manager.dev/p/dont-become-an-engineering-manager
179•flail•4h ago•117 comments

Claude's Cycles [pdf]

https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
285•fs123•8h ago•135 comments

GitHub Is Having Issues

https://www.githubstatus.com/incidents/n07yy1bk6kc4
15•Simpliplant•8m ago•1 comments

Why payment fees matter more than you think

https://cuencahighlife.com/why-payment-fees-matter-more-than-you-think/
10•dxs•43m ago•1 comments

The Xkcd thing, now interactive

https://editor.p5js.org/isohedral/full/vJa5RiZWs
898•memalign•8h ago•125 comments

Apple Studio Display and Studio Display XDR

https://www.apple.com/newsroom/2026/03/apple-unveils-new-studio-display-and-all-new-studio-displa...
145•victorbjorklund•5h ago•142 comments

When AI Writes the Software, Who Verifies It?

https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html
48•todsacerdoti•2h ago•26 comments

Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents

39•atarus•4h ago•7 comments

GPT‑5.3 Instant

https://openai.com/index/gpt-5-3-instant/
57•meetpateltech•1h ago•19 comments

TorchLean: Formalizing Neural Networks in Lean

https://leandojo.org/torchlean.html
21•matt_d•2d ago•2 comments

I'm losing the SEO battle for my own open source project

https://twitter.com/Gavriel_Cohen/status/2028821432759717930
312•devinitely•5h ago•152 comments

Arm's Cortex X925: Reaching Desktop Performance

https://chipsandcheese.com/p/arms-cortex-x925-reaching-desktop
228•ingve•11h ago•123 comments

Tell HN: GitHub Having Issues

17•Sytten•12m ago•11 comments

Show HN: Open-Source Article 12 Logging Infrastructure for the EU AI Act

15•systima•8h ago•0 comments

Show HN: Explain Curl Commands

https://github.com/akgitrepos/explain-my-curl
5•akgitrepos•2d ago•0 comments

Simplifying Application Architecture with Modular Design and MIM

https://codingfox.net.pl/posts/mim/
19•codingfox•9h ago•0 comments

Someone Needs to Go to Jail

https://edwardelson.substack.com/p/someone-needs-to-go-to-jail
40•shimm723•1h ago•10 comments

Disable Your SSH access accidentally with scp

https://sny.sh/hypha/blog/scp
51•zdw•3d ago•16 comments

The beauty and terror of modding Windows

https://windowsread.me/p/windhawk-explained
83•wild_pointer•8h ago•73 comments

Pass-Through of Tariffs: Evidence from European Wine Imports

https://www.nber.org/202603/digest/pass-through-tariffs-evidence-european-wine-imports
57•neehao•2h ago•63 comments

Show HN: Effective Git

https://github.com/nolasoft/okgit
13•nola-a•2d ago•1 comments

Points on a ring: An interactive walkthrough of a popular math problem

https://growingswe.com/blog/points-on-ring
27•evakhoury•1d ago•5 comments

Most-read tech publications have lost over half their Google traffic since 2024

https://growtika.com/blog/tech-media-collapse
163•Growtika•5h ago•115 comments

Meta’s AI smart glasses and data privacy concerns

https://www.svd.se/a/K8nrV4/metas-ai-smart-glasses-and-data-privacy-concerns-workers-say-we-see-e...
1320•sandbach•20h ago•742 comments

Simple screw counter

https://mitxela.com/projects/screwcounter
244•jk_tech•2d ago•66 comments