fp.
news
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
Load More
crvdgc•8h ago
ProofHouse•1h ago