frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

LeanReact: Expressing Composable and Correct React Components in Lean

https://theoric.com/blog/leanreact_introduction/
1•hargup•49m ago

Warez: The Infrastructure and Aesthetics of Piracy Culture

https://archive.org/details/b904a8eb-9c98-4bb1-bf25-3cb9d075b157
1•succinct_ideas•1m ago•0 comments

Show HN: Jinx – a link shortener you host free on GitHub Pages

https://jinx.fyi
1•SubmersibleZoom•2m ago•0 comments

Amfly: A deterministic simulation of six fruit fly connectomes in a reward loop

https://github.com/aravpanwar/amfly
1•Teever•4m ago•0 comments

Alternatives to milk are losing moomentum

https://www.economist.com/business/2026/09/17/alternatives-to-milk-are-losing-moomentum
1•andsoitis•4m ago•1 comments

Show HN: An open Add/Search evaluation framework for agent memory

https://agentmemoryleaderboard.ai/
1•IreneAI•6m ago•0 comments

A DeepSeek engineer just said the thing I've been feeling about AI for months

https://www.reddit.com/r/artificial/comments/1wi2zm9/a_deepseek_engineer_just_said_the_thing_ive_...
1•0xcrypto•7m ago•0 comments

Be alert: targeted attacks on prominent Rustaceans

https://blog.rust-lang.org/2026/09/17/targeted-attacks/
2•vinhnx•9m ago•0 comments

Hacking OpenAI

https://www.hacktron.ai/blog/hacking-openai
2•Handy-Man•10m ago•1 comments

Great Tea Race of 1866

https://en.wikipedia.org/wiki/Great_Tea_Race_of_1866
2•thunderbong•16m ago•0 comments

Cache-Tax

https://github.com/karanb192/claude-code-mods/tree/main/plugins/cache-tax
1•handfuloflight•17m ago•0 comments

Mova: Movement Analytics Platform

https://omid.al/projects/mova/
1•Quarterlyreport•17m ago•0 comments

Lodestar – Easier Communication with Agents

https://www.try-lodestar.com/
1•elushine•17m ago•1 comments

DDns: Endpoint-aware DNS resolution beyond IP addresses

https://docs.dhttp.net/en/docs/protocol/ddns
1•Arya_xiaofan•19m ago•0 comments

Republican bill would order ISPs, DNS providers, and VPNs to block piracy sites

https://arstechnica.com/tech-policy/2026/09/republican-bill-would-order-isps-dns-providers-and-vp...
2•mmh0000•19m ago•0 comments

Apple May Return to Server Market with Nvidia Technology

https://www.macrumors.com/2026/09/16/apple-may-return-to-server-market/
3•mgh2•25m ago•0 comments

Google auto-banned my Bug Hunter account for exposing their fake "Delete" button

https://medium.com/@istokovicsgyorgy79/google-auto-banned-my-bug-hunter-account-for-exposing-thei...
2•Bitu79•29m ago•0 comments

iPhone 18 Pro Camera Review: Dunton, Colorado

https://www.austinmann.com/trek/iphone-18-pro-camera-review-dunton
1•ValentineC•30m ago•0 comments

Low-Cost Servers for AI and Developers

https://rawhq.io
2•eulerpoolapi•31m ago•0 comments

Show HN: A directory of 164 Asian AI companies, ranked by disclosed scale

https://asiaai.fyi/tech-index/
1•ghernando•33m ago•0 comments

ComplianceSnap – Free Ada/WCAG risk scanner for Shopify/WooCommerce stores: C

https://shop.lumnika.com/compliancesnap/
1•deusautoai725•38m ago•0 comments

Antigravity-Preview-09-2026

https://aistudio.google.com/learn/managed-agents-updated-harness-files-credentials
2•tvvocold•38m ago•0 comments

Garbage trucks analyze homes with AI-powered cameras

https://www.popsci.com/technology/city-detect-garbage-trucks-cameras/
2•sippingabonedry•41m ago•0 comments

Pentagon weighs pulling nearly a third of U.S. forces from Europe

https://www.nbcnews.com/politics/national-security/pentagon-weighs-pulling-nearly-third-us-forces...
4•consumer451•43m ago•0 comments

The open source version of Claude Project that gives you the context ownershp

https://github.com/zqiren/Orbital
2•10keane•43m ago•0 comments

Essays of Dario Amodei are why people are worried about artificial intelligence

https://www.nytimes.com/2026/09/17/technology/dario-amodei-anthropic-essays-ai.html
5•Alien1Being•44m ago•1 comments

Jev plays Roulette Wars on its own

https://twitter.com/NicoSaraintaris/status/2100745151622664392
1•lafferty•45m ago•0 comments

LeanReact: Expressing Composable and Correct React Components in Lean

https://theoric.com/blog/leanreact_introduction/
1•hargup•49m ago•0 comments

Shapelearn Qwen 3.8 27B (13.1 GB VRAM)

https://byteshape.com/blogs/Qwen3.8-27B/
2•syntaxing•53m ago•0 comments

Minimal Phone 2

https://minimalcompany.com/
3•nashashmi•57m ago•0 comments

Ubuntu 26.10 Moves cp, mv and rm Over To Rust Coreutils For 100% Transition

https://www.phoronix.com/news/Ubuntu-Completes-Rust-Coreutils
6•thunderbong•58m ago•0 comments