frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Principles of dependent type theory [pdf]

https://www.danielgratzer.com/papers/type-theory-book.pdf
1•fanf2•33s ago•0 comments

The Cool Things of Gleam

https://a.baez.link/3mtdbbp2dmc27
1•signa11•1m ago•0 comments

The lost airports of SimCity 3000 (2002)

https://web.archive.org/web/20021204030618/http://www.sc3000.com/knowledge/showarticle.cfm?id=091...
1•Lammy•3m ago•0 comments

Milky Way's fastest star orbits a black hole so close, it feels its spin

https://www.eso.org/public/news/eso2612/
1•thunderbong•3m ago•0 comments

Remindher

https://remindher.app/
1•adibenely•4m ago•0 comments

Space Sunshade

https://en.wikipedia.org/wiki/Space_sunshade
1•num42•5m ago•0 comments

Every Tech Bubble Obeyed the Same Rule. AI Is Next [video]

https://www.youtube.com/watch?v=KJxfSIvv920
1•mgh2•6m ago•0 comments

PureLiFi Debuts 10 Gbps "Connectivity DNA" and Bridges the 5G Gap

https://www.purelifi.com/purelifi-mwc-2026/
1•zeristor•8m ago•0 comments

Contextual News Search APIs: A Deep Comparison for AI, RAG, and Research

https://github.com/free-news-api/news-search-api-comparison
10•ermanos12•12m ago•0 comments

Nobody Explained the Schrödinger Equation Like This [video]

https://www.youtube.com/watch?v=X-q2eZVhff8
2•peter_d_sherman•12m ago•0 comments

VQL-Artifact.yaml

https://github.com/lexs201992-gif/Project-LION-Longcheer-Integrated-Overlay-Network-Virtualizaci-...
1•lexs201992-gif•20m ago•1 comments

Natural Number Game

https://adam.math.hhu.de/#/g/leanprover-community/nng4
1•it4rb•24m ago•0 comments

The next GitHub is not worth winning

https://davidpoblador.com/blog/the-next-github-is-not-worth-winning.html
1•serious_angel•24m ago•1 comments

Wiring up seven ESP32s to create a ~0.4B LLM

https://www.xda-developers.com/someone-wired-up-seven-esp32s-to-create-a-04b-llm-and-so-can-you/
3•epestr•28m ago•0 comments

Orelon – AI Video Generator for Cinematic Creation

https://orelon.ai/
1•duanhjlt•34m ago•0 comments

I built a tool to generate Cornell notes from YouTube videos

1•cristyg0101•40m ago•1 comments

Mojo by Example

https://ruhati.net/mojo/
3•ivell•41m ago•0 comments

Vale: Linter for Prose

https://github.com/vale-cli/vale
1•saikatsg•42m ago•0 comments

Ksumiyo – AI music generation with producer-level controls

https://www.ksumiyo.com
1•umangbhardwaj•47m ago•0 comments

The Python documentation is now available in Russian

https://blog.python.org/2026/08/the-python-documentation-is-now-available-in-russian/
1•runningmike•48m ago•1 comments

The Zen of AI

https://www.dtlarson.com/zen
2•derek-larson•49m ago•0 comments

A Test for AI Consciousness

https://gruhn.me/blog/2026-08-16/
1•saikatsg•51m ago•0 comments

Kestrel – I built a 900 KB macOS browser because Chrome ate my 8 GB Mac

https://github.com/bishosilwal/kestrel-browser
1•bisho_silwal•59m ago•1 comments

ISO 24495 [pdf]

https://cdn.standards.iteh.ai/samples/78907/d194fac21d6a45f38bfcfec9657f7498/ISO-24495-1-2023.pdf
1•saikatsg•1h ago•0 comments

Show HN: Zuse" One agent coordinating 20 Linear issues in worktrees

https://www.zuse.sh/
1•swarajbachu•1h ago•0 comments

Show HN: Sol-Luna Orchestrator – let Codex decide whether to delegate

https://www.npmjs.com/package/sol-luna-orchestrator
1•mahadansar•1h ago•0 comments

Markdown Without the Split Screen

https://medium.com/@chris.ahrweiler/markdown-without-the-split-screen-36627b3d7a55
1•docjojo•1h ago•0 comments

Show HN: Open sourcing MonsterWriter, piece by piece

https://www.monsterwriter.com/open-source.html
1•WolfOliver•1h ago•1 comments

Why aren't my two Cortex-A9 cores cache coherent?

https://thejpster.org.uk/blog/blog-2026-08-22/
2•signa11•1h ago•0 comments

Unitree G1 vs. Human: This Robot Learned Tennis by "Watching" Amateurs [video]

https://www.youtube.com/watch?v=fLp-75h-Bn8
1•mgh2•1h ago•0 comments
Open in hackernews

Show HN: Zuse" One agent coordinating 20 Linear issues in worktrees

https://www.zuse.sh/
1•swarajbachu•1h ago
I’m building Zuse, an open source workspace for coding agents

I gave one lead agent 20 Linear issues. It created separate workspaces and started a different coding agent in each one.

Each agent made its changes, ran tests, tested the app in a browser, and took screenshots. I reviewed every result before merging anything.

In about two hours, 18 issues were completed and two needed my help.

Demo: https://x.com/swarajb/status/2087535598672429334?s=20 GitHub: https://github.com/swarajbachu/zuse

I’d love feedback on how you’d want to review this much parallel agent work and you can fork or add your own changes to the github app