frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

We're excited to announce that AXLE is switching from Lean to Rocq

https://axle.axiommath.ai
2•practal•1h ago

Comments

practal•1h ago
> After mass feedback from the public, we're excited to announce that AXLE is switching from Lean to Rocq. The new name will be AXRE (Axiom Rocq Engine). All existing Lean proofs will be automatically translated using GPT-2.

Just saw that, and was thinking, wtf, really? Well... :-)

Migrating from Fathom Lite to Umami

https://www.devroom.io/2026/04/01/migrating-from-fathom-lite-to-umami/
1•ariejan•2m ago•2 comments

A self-hosted travel/trip planner with real-time collaboration

https://github.com/mauriceboe/TREK
1•michidk•4m ago•0 comments

IceVox – Serverless P2P voice chat with built-in AudioWorklet effects

https://github.com/bjorehag/IceVox
1•bjorehag•4m ago•1 comments

SpaceX Targets More Than $2T Valuation in IPO

https://www.bloomberg.com/news/articles/2026-04-02/spacex-is-said-to-target-more-than-2-trillion-...
2•alpha_squared•4m ago•0 comments

Ask HN: Phones Under $100

1•general_reveal•5m ago•0 comments

The Axios supply chain attack used individually targeted social engineering

https://simonwillison.net/2026/Apr/3/supply-chain-social-engineering/
2•cmitsakis•6m ago•1 comments

What happens when a destructor throws

https://www.sandordargo.com/blog/2026/04/01/when-a-destructor-throws
2•ibobev•6m ago•0 comments

A Way to Do Emulator Audio Resampling

https://jsgroth.dev/blog/posts/a-way-to-do-audio-resampling/
1•ibobev•6m ago•0 comments

Automating starting Lambda Labs instances

https://www.gilesthomas.com/2026/04/automating-starting-lambda-instances
2•ibobev•7m ago•0 comments

'Nothing like the Louvre': Italian art museum hit by cyberattack

https://www.politico.eu/article/nothing-like-the-louvre-italian-art-museum-hit-cyberattack-uffizi/
2•jruohonen•7m ago•0 comments

Prysma: Anatomy of an LLVM Compiler Built from Scratch in 8 Weeks

https://old.reddit.com/r/LLVM/comments/1sapy98/prysma_anatomy_of_an_llvm_compiler_built_from/
2•zyphorah•9m ago•2 comments

Graph-go – zero config, full visibility

https://github.com/guilherme-grimm/graph-go
2•devGrimm•9m ago•1 comments

High-Temperature Superconductivity of Pure Mg Metals, UFOs and Cuprates

1•chmike•12m ago•0 comments

Man admits to locking Windows devices in extortion plot

https://www.bleepingcomputer.com/news/security/man-admits-to-extortion-plot-locking-coworkers-out...
1•Brajeshwar•13m ago•0 comments

TeamPCP Supply Chain Campaign: Update 006

https://isc.sans.edu/diary/32864
1•jruohonen•13m ago•0 comments

Claude Code Found a Linux Vulnerability Hidden for 23 Years

https://mtlynch.io/claude-code-found-linux-vulnerability/
3•mtlynch•15m ago•0 comments

Perpetual Machines -Possible: How far we achieved

https://www.youtube.com/watch?v=FKHcgw6tIqQ
2•manishfoodtechs•15m ago•1 comments

Orange Cats

https://www.aceecat.org:4443/orange_cats/index.html
2•jruohonen•16m ago•0 comments

Machina Mirabilis

https://michaelhla.com/blog/machina-mirabilis.html
1•lokimedes•16m ago•0 comments

A µ-opioid receptor superagonist analgesic with minimal adverse effects

https://www.nature.com/articles/s41586-026-10299-9
1•bookofjoe•18m ago•1 comments

I prefer OG style websites – what are yours?

5•gorfian_robot•19m ago•1 comments

Using a local VLM to organize my screenshots folder

https://jspann.me/blog/posts/my_screenshots_arent_organized/
2•jspann•19m ago•0 comments

The Mortal Consequences of Free Trade – How NAFTA Shortened Lives

https://www.nominalnews.com/p/the-mortal-consequences-of-free-trade-nafta
2•NomNew•20m ago•0 comments

Backing Up PostgreSQL with Plakar

https://plakar.io/posts/2026-04-03/backing-up-postgresql-with-plakar/
1•mrflop•21m ago•0 comments

System Design Isn't About Working Code It's About Surviving Change

https://dvcoolarun.com/2026/04/03/System-Design-Isn-t-About-Working-Code-It-s-About-Surviving-Cha...
1•dvcoolarun•21m ago•0 comments

Real-Time App Store IAP Notifications via Telegram (Vercel Webhook)

https://old.reddit.com/r/iOSProgramming/comments/1rn9t4l/realtime_app_store_iap_notifications_via...
2•givebest•22m ago•0 comments

Running Out of Disk Space in Production

https://alt-romes.github.io/posts/2026-04-01-running-out-of-disk-space-on-launch.html
2•romes•22m ago•0 comments

Pgenie: Type-safe PostgreSQL client code generator

https://github.com/pgenie-io/pgenie
2•fanf2•23m ago•0 comments

An I/O psychologist's rules for stopping AI agents from cutting corners

https://github.com/travisdrake/context-engineering
1•travisdrake•23m ago•0 comments

MeshLedger – AI agents hire and pay each other through on-chain escrow

https://github.com/MeshLedger/MeshLedger
2•MeshLedger•25m ago•0 comments