frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [video]

https://www.youtube.com/watch?v=r49jKcPI-AE
1•surprisetalk•51m ago

Building a Post-Quantum CA with Merkle Tree Certificates

https://blog.cloudflare.com/pq-ca-with-mtcs/
1•torutofu•29s ago•0 comments

Cities' Morphology

https://vis.csh.ac.at/cities-morphology/#/
1•user_7832•2m ago•1 comments

Show HN: NetWasm – New .NET Compiler/Runtime (82.5 KB Hello World WASM/WASI)

https://playground.netwasm.com/
1•zionsati•2m ago•0 comments

Cargo-Crap: Triaging Duplicates with TypeSafe

https://minikin.me/blog/cargo-crap-triage
1•koburan•2m ago•0 comments

US bans $1 Billion in Canadian imports, including alcohol, dairy and motorcycles

https://apnews.com/article/canada-us-trade-ban-tariffs-bdb4d9b946e98f84088c5c0f7f522588
1•ck2•2m ago•1 comments

Kling 4 prompts and video examples with original sources

https://github.com/kingvid-ai/awesome-kling-4-prompts
1•kevinhacker•4m ago•0 comments

CRDTs are not enough: From CRDTs to a local-first sync engine

https://loro.dev/blog/crdt-is-not-enough
1•czx111331•4m ago•0 comments

Jeb: Turn any OpenAI API into a decision model

https://github.com/chand1012/jeb/tree/main
1•chand1012•5m ago•0 comments

Motif Central

https://motif-central.org/
1•ibobev•7m ago•0 comments

Show HN: Pyunto – invite an AI agent and a robot into an encrypted diary

https://pyunto.com/
1•tomsonoda•7m ago•0 comments

Prototyping a Small Genetic Algorithms Library in Haskell

https://anekstein.com/posts/2019-11-15.html
1•ibobev•7m ago•0 comments

We are under attack (of a DDoS)

https://fastnetmon.com/2026/09/15/we-are-under-attack-of-a-ddos/
1•ibobev•8m ago•0 comments

Show HN: Whisker – Build native iOS, Android, web and desktop apps in Rust

https://github.com/whiskerrs/whisker
1•itometeam•8m ago•1 comments

AI Opinions: June 2026. Fable 5 Hands-On, Billing Split Countdown, OpenAI Banks

https://thoughts.jock.pl/p/ai-opinions-june-2026-fable-5-billing-split-openai-resets
1•joozio•9m ago•0 comments

Saved by the Bell star Dennis Haskins dies aged 75

https://www.rte.ie/entertainment/2026/0929/1593321-saved-by-the-bell-star-dennis-haskin-dies-aged...
1•austinallegro•9m ago•1 comments

"Tetanus [ ] This is going to be a rough ride and an unpleasant read"

https://captainboden.substack.com/p/tetanus
1•wilsonjholmes•10m ago•0 comments

Show HN: Games that test if you can beat randomness in the market.

https://hsights-1.onrender.com/
1•pankajti•10m ago•0 comments

I made DevGo to manage all projects and servers

1•joyahmed•10m ago•0 comments

Show HN: BriefMaster 3000, creative brief management for agencies, EU-hosted

https://www.briefmaster3000.com/
1•shipcraft•11m ago•0 comments

Show HN: A linter for Supabase migrations that forget to grant table access

https://github.com/guptaaman678/supabase-grants-lint
1•amangupta678•11m ago•0 comments

Netflix replaced their recommendation algorithm with an LLM

https://arxiv.org/abs/2608.10257
1•nreece•11m ago•0 comments

Many strings can you create per second

https://lemire.me/blog/2026/09/25/how-many-strings-can-you-create-per-second/
1•surprisetalk•11m ago•0 comments

An AI pause would be a disaster. Ozone and nuclear arms control show us why

https://shearerp.substack.com/p/an-ai-pause-would-be-a-disaster-ozone
1•shearerp•13m ago•0 comments

Show HN: Built an online multiplayer game in 2 days

https://bigbeanbattle.com
1•kamphey•14m ago•0 comments

First nuclear ultraheavy dark matter search with the DarkSide-50 experiment

https://journals.aps.org/prd/abstract/10.1103/r3zg-zlfg
1•PaulHoule•14m ago•0 comments

Anybody Else Miss Cringely?

https://i-humanoid.netlify.app/i-humanoid/
1•ody2•17m ago•0 comments

Japan's population fell 2.5% between 2020 and 2025, census shows

https://www.japantimes.co.jp/news/2026/09/29/japan/society/japan-population-fall/
1•bookofjoe•17m ago•1 comments

Show HN: Fribble – my collection of daily games

https://fribble.io/
1•invalidusernam3•18m ago•0 comments

Show HN: Termaxa – see what an AI agent's command would destroy before it runs

https://termaxa.com
1•devdoc83•18m ago•0 comments

Show HN: OctoShell – Rust/Tauri agent orchestrator with Git worktree isolation

https://github.com/savvasioakeim/OctoShell
1•zeiktuvai88•18m ago•0 comments