frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Automated Lean Proofs for Every Type

https://www.galois.com/articles/automated-lean-proofs-for-every-type
33•surprisetalk•4d ago

Comments

crvdgc•8h ago
From the title I thought they solved math! Turns out to be a framework to use SMT solvers for decision-based proof. For additional types, you still need to write the bridging part. Interesting nonetheless.
ProofHouse•1h ago
same

Notes on Switching to Helix from Vim

https://jvns.ca/blog/2025/10/10/notes-on-switching-to-helix-from-vim/
137•chmaynard•3h ago•54 comments

Igalia, Servo, and the Sovereign Tech Fund

https://www.igalia.com/2025/10/09/Igalia,-Servo,-and-the-Sovereign-Tech-Fund.html
278•robin_reala•6h ago•42 comments

Show HN: I invented a new generative model and got accepted to ICLR

https://discrete-distribution-networks.github.io/
377•diyer22•9h ago•44 comments

Ask HN: What's the best hackable smart TV?

84•xrd•4d ago•68 comments

Ryanair flight landed at Manchester airport with six minutes of fuel left

https://www.theguardian.com/business/2025/oct/10/ryanair-flight-landed-at-manchester-airport-with...
262•mazokum•3h ago•245 comments

You can't build tcc from Nixpkgs if you are in the UK

https://github.com/NixOS/nixpkgs/issues/444342
91•RGBCube•3h ago•25 comments

NanoMi: Open-source transmission electron microscope

https://sites.google.com/view/nanomi-org?usp=sharing
42•pillars•2d ago•6 comments

Illegible Nature of Software Development Talent

https://surfingcomplexity.blog/2025/10/08/the-illegible-nature-of-software-development-talent/
5•hackthemack•46m ago•1 comments

QA-use-MCP: MCP for E2E testing

https://www.npmjs.com/package/@desplega.ai/qa-use-mcp
17•tarasyarema•4d ago•3 comments

Show HN: Modeling the Human Body in Rust So I Can Cmd+Click Through It

https://github.com/lantos1618/open_human_ontology
3•lleong1618•24m ago•0 comments

The Molecular Basis of Long Covid Brain Fog

https://www.yokohama-cu.ac.jp/english/news/20251001takahashi.html
80•onnnon•3h ago•24 comments

All-Natural Geoengineering with Frank Herbert's Dune

https://www.governance.fyi/p/all-natural-geoengineering-with-frank
44•toomuchtodo•4h ago•10 comments

Show HN: Gitcasso – Syntax Highlighting and Draft Recovery for GitHub Comments

https://github.com/diffplug/gitcasso
12•etwigg•2h ago•2 comments

2025.41: It's OpenAI's World, We're Just Living in It

https://stratechery.com/2025/its-openais-world-were-just-living-in-it/
43•feross•1h ago•53 comments

My approach to building large technical projects (2023)

https://mitchellh.com/writing/building-large-technical-projects
279•mad2021•14h ago•38 comments

Ohno Type School

https://ohnotype.co/blog/ohno-type-school-a
140•tobr•4d ago•52 comments

A story about bypassing air Canada's in-flight network restrictions

https://ramsayleung.github.io/en/post/2025/a_story_about_bypassing_air_canadas_in-flight_network_...
132•samray•10h ago•97 comments

Weave (YC W25) is hiring a founding AI engineer

https://www.ycombinator.com/companies/weave-3/jobs/SqFnIFE-founding-ai-engineer
1•adchurch•6h ago

Show HN: Lights Out: my 2D Rubik's Cube-like Game

https://raymondtana.github.io/projects/pages/Lights_Out.html
20•raymondtana•13h ago•8 comments

Microsoft lets bosses spot teams that are dodging Copilot

https://www.theregister.com/2025/10/10/microsoft_copilot_viva_insights/
65•mikece•2h ago•47 comments

Regarding the Compact

https://president.mit.edu/writing-speeches/regarding-compact
91•ChrisArchitect•1h ago•19 comments

A Library for Parsing Dutch Smart Meter Requirements (DSMR)

https://github.com/mijnverbruik/dsmr
7•robinvdvleuten•4d ago•0 comments

Examples Are the Best Documentation

https://rakhim.exotext.com/examples-are-the-best-documentation
340•Bogdanp•22h ago•127 comments

Python 3.14 is here. How fast is it?

https://blog.miguelgrinberg.com/post/python-3-14-is-here-how-fast-is-it
681•pjmlp•1d ago•491 comments

Origami Patterns Solve a Major Physics Riddle

https://www.quantamagazine.org/origami-patterns-solve-a-major-physics-riddle-20251006/
36•westurner•4d ago•2 comments

Boring Company cited for almost 800 environmental violations in Las Vegas

https://www.propublica.org/article/elon-musk-boring-company-violations-fines-vegas-loop
190•maxeda•2h ago•173 comments

"Vibe code hell" has replaced "tutorial hell" in coding education

https://blog.boot.dev/education/vibe-code-hell/
169•wagslane•2h ago•79 comments

Use a separate domain for user content

https://www.statichost.eu/blog/google-safe-browsing/
136•ericselin•4h ago•113 comments

Nobel Peace Prize 2025: María Corina Machado

https://www.nobelprize.org/prizes/peace/2025/summary/
497•pykello•9h ago•526 comments

OpenGL is getting mesh shaders as well, via GL_EXT_mesh_shader

https://www.supergoodcode.com/mesh-shaders-in-the-current-year/
82•pjmlp•6h ago•73 comments