Ghostling(github.com)

307 points by bjornroberg 7 months ago | 61 comments

Ghostty compiled to WASM with xterm.js API compatibility(github.com)

371 points by kylecarbs 10 months ago | 106 comments

GitHub repository for ghostty-web, a WebAssembly build of the Ghostty terminal for browsers with xterm.js API compatibility, by Coder.

Show HN: Ghostty-based terminal with vertical tabs and notifications(github.com)

147 points by lawrencechen 8 months ago | 66 comments

LNAI – Define AI coding tool configs once, sync to Claude, Cursor, Codex, etc.(github.com)

55 points by iamkrystian17 8 months ago | 26 comments

Emacs-libgterm: Terminal emulator for Emacs using libghostty-vt(github.com)

74 points by signa11 7 months ago | 20 comments

Intent-Based Commits(github.com)

40 points by adamveld12 7 months ago | 38 comments

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.

Define policy forbidding use of AI code generators(github.com)

471 points by todsacerdoti 1 year ago | 327 comments

A QEMU GitHub commit adding documentation that forbids contributions produced with AI code generators, citing unresolved licensing and DCO compliance concerns.

AI agent opens a PR write a blogpost to shames the maintainer who closes it(github.com)

747 points by wrxd 8 months ago | 581 comments

A closed GitHub pull request to matplotlib by user crabby-rathbun proposing to replace np.column_stack with np.vstack().T for performance.

Gooey: Turn almost any Python command line program into a full GUI application(github.com)

681 points by lsferreira42 2 years ago | 105 comments

GitHub repository for Gooey, a Python library that turns command line programs into full GUI applications with one line of code.

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 242 comments

Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.

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.