We are pleased to announce that DreamBerd has been renamed to C(github.com)

62 points by MrVandemar 3 years ago | 20 comments

OpenDevin – open-source implementation of devin(github.com)

71 points by gerroo 2 years ago | 18 comments

Show HN: Open-source P2P file transfer(github.com)

26 points by goodpanda 1 year ago | 6 comments

Convert Markdown files to RSS feed(github.com)

63 points by Rush2112 2 years ago | 17 comments

Show HN: RISC-V core written in 600 lines of C89(github.com)

174 points by mnurzia 3 years ago | 67 comments

Show HN: I built an offline, open‑source desktop Pixel Art Editor in Python(github.com)

183 points by danterolle 1 year ago | 55 comments

Shreddit is a Python program to remove all your Reddit comments(github.com)

335 points by wgx 3 years ago | 207 comments

GitHub repository for Shreddit, a Python tool using PRAW to delete your Reddit comment history, since deleting an account does not remove comments.

PeerTube is a free, decentralized and federated video platform(github.com)

592 points by doener 3 months ago | 274 comments

GitHub repository for PeerTube, an AGPL-licensed ActivityPub-federated video streaming platform that uses P2P delivery in the browser.

The future of software development is software developers(codemanship.wordpress.com)

376 points by cdrnsf 10 months ago | 471 comments

A Codemanship blog post arguing that the future of software development still depends on human software developers.

JavaScript Demos in 140 Characters(beta.dwitter.net)

325 points by themanmaran 9 months ago | 59 comments

Dwitter, a community site for sharing and remixing JavaScript canvas demos written in 140 characters or less.

I'm just having fun(jyn.dev)

457 points by lemper 10 months ago | 209 comments

A blog post by jyn, a compiler engineer, arguing that programming isn't a competition and that they write about technical topics simply for fun.

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.