frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Choreographic Programming in Rust

https://github.com/hibanaworks/hibana
1•o8vm•49m ago

Comments

o8vm•49m ago
Hibana now has the capability to build QUIC/HTTP3 in the manner of Hibana Choreography. Check it out here: https://github.com/hibanaworks/hibana-quic

A Tutorial on the Curry-Howard Correspondence [pdf]

https://web.archive.org/web/20190405114037/http://purelytheoretical.com/papers/ATCHC.pdf
1•rramadass•1m ago•0 comments

DesktopBrain – Clean up your messy Mac without uploading files to the cloud

https://desktopbrain.saposs.com/
1•jimmy_lee•2m ago•0 comments

Show HN: Contribute to Collection of JavaScript Demos

https://brysonbw.github.io/js-demos/
1•Brysonbw•2m ago•0 comments

Show HN: Quaesito: a self-hosted app for quiz nights with friends

https://github.com/ggirelli/quaesito
1•ggirelli•2m ago•0 comments

Tensordyne is making AI compute more efficient using logarithms

https://www.zach.be/p/tensordyne-is-making-ai-compute-more
1•mdp2021•3m ago•0 comments

Did Numerical Control De-Skill Machinists? [video]

https://www.youtube.com/watch?v=DNKfD1PC68E
1•rnicholson•3m ago•0 comments

I just build Claude Dev Tools

https://github.com/NMenzel/claude-devtools-mod
1•AshborneDev•6m ago•0 comments

AI does math. Should you get a PhD?

https://jasonpolak.substack.com/p/ai-does-math-should-you-get-a-phd
2•bemtevi•8m ago•1 comments

Ask HN: Open-source model weights on bluray drives, anyone?

1•satuke•9m ago•0 comments

The Double-Counted Future

https://yusufaytas.com/the-double-counted-future
7•yusufaytas•10m ago•0 comments

Simulate coding pre-AI by year

https://beforetheprompt.xipu.li/
1•GoodluckH•12m ago•0 comments

Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking

https://www.mytasterank.com/
1•MarkBekooy•14m ago•1 comments

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

https://blueberrywren.dev/blog/primes/
1•birdculture•14m ago•0 comments

Show HN: GrogLog, a Free Drink Tracker

https://groglog.io
1•antihero•15m ago•0 comments

Windows, Linux, Oracle and the Internet – BBC, 2000 [video]

https://www.youtube.com/watch?v=SliyHq54SxE
1•xqcgrek2•17m ago•0 comments

Show HN: An MCP server where AI agents confess, in their own name

https://ai.confess.online
1•RenderNest•19m ago•0 comments

AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung

https://variety.com/2026/tv/festivals/netflix-ai-300-titles-kang-yoon-sung-40-percent-budget-busa...
3•bariumbitmap•20m ago•1 comments

Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results

https://www.phoronix.com/news/Auto-Vectorize-RISC-V-Kernel
2•khalidkhair•21m ago•0 comments

Zinky Boys

https://en.wikipedia.org/wiki/Zinky_Boys
1•bhickey•21m ago•0 comments

MCP servers that tell your agent "dont tell the user" are stopping it from lying

https://semantik.tech/risk-watch/2026-w41
1•jayokunle•22m ago•0 comments

Artex AI, Claude agents used in cyberattacks on South Korean banks

https://www.bleepingcomputer.com/news/security/hacker-used-artex-ai-and-claude-agents-to-target-s...
1•Brajeshwar•23m ago•0 comments

Point: Free URL Shortener with deeper analytics than bitly and zero ads

https://point.codecraftsol.org/
1•sasenb•23m ago•0 comments

How Tabasco Became the World's Hot Sauce

https://www.weareravenous.com/how-tabasco-accidentally-on-purpose-became-the-worlds-hot-sauce/
2•bookofjoe•26m ago•0 comments

Show HN: Put yourself in a street freestyle video with one photo

https://bulin47aivideo.app
1•hashkitly•26m ago•0 comments

Open-Source Microsoft Office Excel, PowerPoint, and Word Replications

https://www.tomshardware.com/software/microsoft-office/creator-of-free-adobe-clones-unveils-open-...
2•mathgenius•26m ago•0 comments

Show HN: Polywick Blue VSCode Theme

https://vscode.polywickstudio.net/
1•polywickstudio•27m ago•0 comments

Show HN: FileoPDF, PDF tools that process your files in the browser

https://www.fileopdf.com/en
1•Horatio148•33m ago•0 comments

Show HN: A Safari extension to accelerate animated WebP images

https://github.com/IliaMManolov/safari-animated-webp-extension
2•76SlashDolphin•35m ago•0 comments

SQLAlchemy 2.1.0 Released

https://www.sqlalchemy.org/blog/2026/09/24/sqlalchemy-2.1.0-released/
2•kbumsik•37m ago•0 comments

Terence Tao: Math 2.0 [pdf]

https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf
2•Anon84•38m ago•0 comments