Coinductive guide to inductive transformer heads [pdf]
Contribute to adamnemecek/coinductive development by creating an account on GitHub.
Coinductive guide to inductive transformer heads [pdf] launched on February 4, 2023 with 8 votes, #1,489 of 3,829 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 3 years on.
Does a similar job
all alternatives →
Curated list of resources on building bots2016 · github.com · ▲21:zap: Tools for building bots. Contribute to hackerkid/bots development by creating an account on GitHub.
Learn how to GitHub by contributing code in a fun simulation project2017 · github.com · ▲25[STILL ACTIVE] Learn the GitHub workflow by contributing code in a fun simulation project - danthareja/contribute-to-open-source
Mirror of all PDFs from the IACR's eprint archive in a Git repo2019 · github.com · ▲8Mirror of all PDFs from the IACR's eprint . Contribute to tuxxy/IACR-eprint-mirror development by creating an account on GitHub.
A simplistic brainfuck interpreter in C2018 · github.com · ▲6brainfuck interpreter. Contribute to noahhaasis/brainfuck development by creating an account on GitHub.
I've written down everything I learned for the past year2016 · github.com · ▲13notes on things. Contribute to yoshuawuyts/knowledge development by creating an account on GitHub.
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 29d ago · corespeed.io
Source: Show HN post ↗
