Ghostty is leaving GitHub(mitchellh.com)

3380 points by WadeGrimridge 6 months ago | 1008 comments

Mitchell Hashimoto's blog post announcing that the Ghostty terminal emulator project is moving off GitHub, reflecting on his long history with the platform.

Ghostty: Reflecting on Reaching 1.0(mitchellh.com)

23 points by robenkleene 1 year ago | 5 comments

Zig builds are getting faster(mitchellh.com)

409 points by emschwartz 1 year ago | 191 comments

Mitchell Hashimoto's blog post describing how Zig 0.15.1 has improved build times, using the Ghostty project's upgrade as an example.

Libghostty is coming(mitchellh.com)

774 points by kingori 1 year ago | 243 comments

Mitchell Hashimoto's blog post announcing libghostty, starting with libghostty-vt, a zero-dependency library for parsing terminal sequences and maintaining terminal state.

Finding and Fixing a 50k Goroutine Leak That Nearly Killed Production(skoredin.pro)

21 points by ibobev 9 months ago | 14 comments

Identifying Rust's collect:<Vec<_>>() memory leak footgun(blog.polybdenum.com)

161 points by muglug 2 years ago | 96 comments

The Eternal Sloptember(geohot.github.io)

347 points by razin 5 months ago | 280 comments

A blog post by George Hotz arguing that adopting AI coding agents in software development is a costly mistake because their output is subtly broken.

Web development is fun again(ma.ttias.be)

444 points by Mojah 9 months ago | 544 comments

Mattias Geniar's blog post reflecting on how web development felt simpler in the PHP 4 and jQuery era and arguing it has become fun again.

What AI-Native Looks Like(fagnerbrack.com)

14 points by fagnerbrack 1 month ago | 7 comments

A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.

A messy experiment that changed how I think about AI code analysis(nmn.gl)

417 points by namanyayg 1 year ago | 215 comments

A blog post describing an experiment in getting AI to analyze codebases the way a senior developer reads code, prompted by failures on a React codebase.

We mourn our craft(nolanlawson.com)

634 points by ColinWright 8 months ago | 737 comments

Nolan Lawson's blog post lamenting how AI coding tools are reducing programmers to code reviewers and mourning the loss of the programming craft.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.