fp.

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•6m ago•0 comments

Proof Repair and (Co)algebra Equivalences

https://arxiv.org/abs/2610.36669

1•matt_d•11m ago•0 comments

Aipicks.ca – Using multi-sport AI models to find edges in table tennis

https://aipicks.ca/

1•prepperscanada•12m 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•12m 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•23m ago•1 comments

Show HN: 3D Conformal Transformations via Geometric Algebra

https://static.laszlokorte.de/conformal-3d/

1•laszlokorte•27m ago•0 comments

Gisting

https://shopify.engineering/gisting

2•sonabinu•35m ago•0 comments

Mountains of Kong

https://en.wikipedia.org/wiki/Mountains_of_Kong

1•silver92bullet•36m ago•0 comments

Adaptive Agentic Worms Are Here

https://www.lesswrong.com/posts/fpLDjKg3ej49beqTC/adaptive-agentic-worms-are-here

1•gmays•36m 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...

1•jomon003•37m ago•1 comments

Apple Store Subscription Sign-Up Controversy Exposed

https://www.macrumors.com/2026/11/08/apple-store-subscription-controversy/

2•ksec•39m ago•0 comments

Winsight: Transparent security suite for Windows, in the spirit of Objective-See

https://github.com/ClementG91/winsight

1•philonoist•39m ago•0 comments

Project Lighthouse

https://github.com/professorsolderin/project-lighthouse

1•gslin•40m ago•1 comments

Socratic-tutor – turns an LLM into a strict personal tutor

https://github.com/janestreet/agent_skills

1•vpj•41m ago•0 comments

Discuss: America Should Unleash Cyber Privateers

https://www.realcleardefense.com/cyber-warfare/articles/america-should-unleash-cyber-privateers-2...

2•Gaishan•41m ago•2 comments

FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference

https://flashstates.ai/

1•matt_d•44m 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•44m ago•0 comments

Land: Using Determinstic methods for faster CI and merging

https://useland.dev/

2•rohanucla•48m ago•0 comments

OSS devtool seed stage startup looking to hire DevRel In SF

1•rohankhameshra•50m ago•2 comments

Factors in Choosing WebRTC vs. HLS

https://www.red5.net/blog/5-factors-in-choosing-webrtc-vs-hls/

1•mondainx•52m ago•0 comments

The Occupational Ladder: Implications for Life-Cycle Wage Dynamics

https://www.nber.org/papers/w35929

1•rohanm93•57m 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

Lumo. On Your Desktop

https://mrthp.github.io/lumo-desktop/

1•misterthp•1h ago•0 comments

Nvidia CEO Huang sued over disclosures related to suspected Chinese spy

https://www.reuters.com/world/nvidia-ceo-huang-sued-over-disclosures-related-suspected-chinese-sp...

Formalizing Julia in Lean (and finding 400 bugs in Base)

Proof Repair and (Co)algebra Equivalences

Aipicks.ca – Using multi-sport AI models to find edges in table tennis

Fable 5.2 and Jagged AGI: General, often expert, and sometimes jagged

Ford Reveals Mach-E Battery Degradation After 100k Miles

Show HN: 3D Conformal Transformations via Geometric Algebra

Gisting

Mountains of Kong

Adaptive Agentic Worms Are Here

Anthropic joins AI's natural gas frenzy, buys $3.4B worth of turbines

Apple Store Subscription Sign-Up Controversy Exposed

Winsight: Transparent security suite for Windows, in the spirit of Objective-See

Project Lighthouse

Socratic-tutor – turns an LLM into a strict personal tutor

Discuss: America Should Unleash Cyber Privateers

FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference

Autonomous AI Agents Conduct End-to-End Research with Human Participants

Land: Using Determinstic methods for faster CI and merging

OSS devtool seed stage startup looking to hire DevRel In SF

Factors in Choosing WebRTC vs. HLS

The Occupational Ladder: Implications for Life-Cycle Wage Dynamics

Make this forward pass as fast as possible

All your clusters. One workspace. – Kite

GlitchTip 7.0 Released

CoderPad Reports a Security Breach

Blunt Banhammer Blocks Basic Bots Ballistically

Lumo. On Your Desktop

Nvidia CEO Huang sued over disclosures related to suspected Chinese spy

macOS-Uke: Full macOS 26.5 (25F71) on the Xiaomi Pad 7

Ultorg: The User Interface for Relational Databases

Fable 5.2 and Jagged AGI: General, often expert, and sometimes jagged

Formalizing Julia in Lean (and finding 400 bugs in Base)

Proof Repair and (Co)algebra Equivalences

Aipicks.ca – Using multi-sport AI models to find edges in table tennis

Fable 5.2 and Jagged AGI: General, often expert, and sometimes jagged

Ford Reveals Mach-E Battery Degradation After 100k Miles

Show HN: 3D Conformal Transformations via Geometric Algebra

Gisting

Mountains of Kong

Adaptive Agentic Worms Are Here

Anthropic joins AI's natural gas frenzy, buys $3.4B worth of turbines

Apple Store Subscription Sign-Up Controversy Exposed

Winsight: Transparent security suite for Windows, in the spirit of Objective-See

Project Lighthouse

Socratic-tutor – turns an LLM into a strict personal tutor

Discuss: America Should Unleash Cyber Privateers

FlashStates Unlocking Flexible Hybrid State Management for Agentic LLM Inference

Autonomous AI Agents Conduct End-to-End Research with Human Participants

Land: Using Determinstic methods for faster CI and merging

OSS devtool seed stage startup looking to hire DevRel In SF

Factors in Choosing WebRTC vs. HLS

The Occupational Ladder: Implications for Life-Cycle Wage Dynamics

Make this forward pass as fast as possible

All your clusters. One workspace. – Kite

GlitchTip 7.0 Released

CoderPad Reports a Security Breach

Blunt Banhammer Blocks Basic Bots Ballistically

Lumo. On Your Desktop

Nvidia CEO Huang sued over disclosures related to suspected Chinese spy

macOS-Uke: Full macOS 26.5 (25F71) on the Xiaomi Pad 7

Ultorg: The User Interface for Relational Databases