frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

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

https://aipicks.ca/
1•prepperscanada•12m ago

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...
5•theanonymousone•1h ago•0 comments

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

https://github.com/iOSNJBrepo/macOS-uke
4•Teever•1h ago•0 comments

Ultorg: The User Interface for Relational Databases

https://www.ultorg.com/
3•Ivoah•1h ago•0 comments