fp.
newest
Open in hackernews
Formalizing Julia in Lean (and finding 400 bugs in Base)
https://discourse.julialang.org/t/formalizing-julia-in-lean-and-finding-400-bugs-in-base/140243
1
•
anewhnaccount2
•
14m ago
What's with All the Goats?
https://resilienceassembled.blot.im/whats-with-all-the-goats
1
•
bsears
•
58s ago
•
0 comments
Show HN: Desires: privacy-first (kinky) interest matching app for adults
https://desires.be/
1
•
xl0
•
2m ago
•
0 comments
Decoding REXPaint Files in Odin
https://tylerelton.com/posts/decoding-rexpaint-files-in-odin/
2
•
tylerelton
•
3m ago
•
1 comments
Stenvakt Autopilot: a server cleanup that proves each step
https://stenvakt.com/autopilot
1
•
ranwhatcom
•
5m ago
•
0 comments
Formalizing Julia in Lean (and finding 400 bugs in Base)
https://discourse.julialang.org/t/formalizing-julia-in-lean-and-finding-400-bugs-in-base/140243
1
•
anewhnaccount2
•
14m ago
•
0 comments
Proof Repair and (Co)algebra Equivalences
https://arxiv.org/abs/2610.36669
1
•
matt_d
•
20m ago
•
0 comments
Aipicks.ca – Using multi-sport AI models to find edges in table tennis
https://aipicks.ca/
1
•
prepperscanada
•
20m ago
•
0 comments
Fable 5.2 and Jagged AGI: General, often expert, and sometimes jagged
https://www.oneusefulthing.org/p/fable-52-and-jagged-agi
2
•
nradov
•
21m ago
•
0 comments
Ford Reveals Mach-E Battery Degradation After 100k Miles
https://insideevs.com/news/814780/ford-mustang-mach-e-battery-degradation-range-study/
3
•
xbmcuser
•
31m ago
•
1 comments
Show HN: 3D Conformal Transformations via Geometric Algebra
https://static.laszlokorte.de/conformal-3d/
1
•
laszlokorte
•
35m ago
•
0 comments
Gisting
https://shopify.engineering/gisting
2
•
sonabinu
•
43m ago
•
0 comments
Mountains of Kong
https://en.wikipedia.org/wiki/Mountains_of_Kong
1
•
silver92bullet
•
44m ago
•
0 comments
Adaptive Agentic Worms Are Here
https://www.lesswrong.com/posts/fpLDjKg3ej49beqTC/adaptive-agentic-worms-are-here
1
•
gmays
•
45m ago
•
0 comments
Anthropic joins AI's natural gas frenzy, buys $3.4B worth of turbines
https://techcrunch.com/2026/11/09/anthropic-joins-ais-natural-gas-frenzy-buys-3-4b-worth-of-turbi...
2
•
jomon003
•
46m ago
•
1 comments
Apple Store Subscription Sign-Up Controversy Exposed
https://www.macrumors.com/2026/11/08/apple-store-subscription-controversy/
2
•
ksec
•
47m ago
•
0 comments
Winsight: Transparent security suite for Windows, in the spirit of Objective-See
https://github.com/ClementG91/winsight
2
•
philonoist
•
47m ago
•
0 comments
Project Lighthouse
https://github.com/professorsolderin/project-lighthouse
2
•
gslin
•
48m ago
•
1 comments
Socratic-tutor – turns an LLM into a strict personal tutor
https://github.com/janestreet/agent_skills
1
•
vpj
•
49m ago
•
0 comments
Discuss: America Should Unleash Cyber Privateers
https://www.realcleardefense.com/cyber-warfare/articles/america-should-unleash-cyber-privateers-2...
2
•
Gaishan
•
50m ago
•
3 comments
FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference
https://flashstates.ai/
1
•
matt_d
•
52m ago
•
0 comments
Autonomous AI Agents Conduct End-to-End Research with Human Participants
https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.76675
1
•
Gaishan
•
52m ago
•
0 comments
Land: Using Determinstic methods for faster CI and merging
https://useland.dev/
2
•
rohanucla
•
56m ago
•
0 comments
OSS devtool seed stage startup looking to hire DevRel In SF
1
•
rohankhameshra
•
58m ago
•
2 comments
Factors in Choosing WebRTC vs. HLS
https://www.red5.net/blog/5-factors-in-choosing-webrtc-vs-hls/
1
•
mondainx
•
1h ago
•
0 comments
The Occupational Ladder: Implications for Life-Cycle Wage Dynamics
https://www.nber.org/papers/w35929
1
•
rohanm93
•
1h ago
•
0 comments
Make this forward pass as fast as possible
https://ianbarber.blog/2026/11/09/make-this-forward-pass-as-fast-as-possible/
2
•
matt_d
•
1h ago
•
0 comments
All your clusters. One workspace. – Kite
https://kitehq.dev/
2
•
xdasf
•
1h ago
•
0 comments
GlitchTip 7.0 Released
https://glitchtip.com/blog/2026-11-09-glitchtip-7-0-release/
2
•
gslin
•
1h ago
•
1 comments
CoderPad Reports a Security Breach
4
•
werrett
•
1h ago
•
0 comments
Blunt Banhammer Blocks Basic Bots Ballistically
https://shkspr.mobi/blog/2026/11/blunt-banhammer-blocks-basic-bots-ballistically/
2
•
jay_kyburz
•
1h ago
•
1 comments
Load More