Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)

Screenshot of gustavo-grieco.github.io: Echidna Enters a New Era of Symbolic Execution

First screen, captured 1 year ago.

Looks similar

Screenshot of blog.julik.nl: Hexatetrahedral Rails

Hexatetrahedral Rails (blog.julik.nl)

24 points by julik 1 year ago | 9 comments

Screenshot of mitchellh.com: Libghostty is coming

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.

ghostty libghostty terminal-emulator zig

Vim Boss (neovim.io)

1189 points by bpierre 3 years ago | 112 comments

A Neovim news post from August 2023 paying tribute to Vim creator Bram Moolenaar and reflecting on his character and influence.

vim neovim bram-moolenaar text-editors

Screenshot of enricobassetti.it: FreeBSD pf bypass when using IPv6

FreeBSD pf bypass when using IPv6 (enricobassetti.it)

53 points by todsacerdoti 3 years ago | 38 comments

Screenshot of eshumarneedi.com: Zuckerberg 'Admits' Meta's Layoffs Were Ineffective

Zuckerberg 'Admits' Meta's Layoffs Were Ineffective (eshumarneedi.com)

165 points by ExMachina73 3 months ago | 146 comments

Screenshot of blog.kumio.org: Setting Up an RK3588 SBC QEMU Hypervisor with ZFS on Debian

Setting Up an RK3588 SBC QEMU Hypervisor with ZFS on Debian (blog.kumio.org)

59 points by kumiokun 1 year ago | 17 comments

Looks similar

Hexatetrahedral Rails(blog.julik.nl)

Libghostty is coming(mitchellh.com)

Vim Boss(neovim.io)

FreeBSD pf bypass when using IPv6(enricobassetti.it)

Zuckerberg 'Admits' Meta's Layoffs Were Ineffective(eshumarneedi.com)

Setting Up an RK3588 SBC QEMU Hypervisor with ZFS on Debian(blog.kumio.org)