其他

Discussion | Link

Discussion | Link

Discussion | Link

Discussion | Link

Discussion | Link

Especially interesting what it adds beyond an academic paper would.

Discussion | Link

Discussion | Link

Discussion | Link

Discussion | Link

其他

Running microVMs in Proxmox VE, The Easy Way

Backbeat Forge

Introduction to Formal Verification with Lean (Part 1)

ditto.site

Creed

Openbase

I Built an Even Better Ropebot Dog

CodeSizer: Why is that binary so big?

Speech To Markdown

ZTA: Zero Token Architecture

Git email patch review addon for Thunderbird

Shake Blog

What is your favorite blog to read recently?

More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows

Mathematicians still don’t know the fastest way to multiply numbers

CaptureKit

tterm

The computer at the bottom of a canal

Capsomnia

Prosed

其他

Running microVMs in Proxmox VE, The Easy Way

Backbeat Forge

Introduction to Formal Verification with Lean (Part 1)

ditto.site

Creed

Openbase

I Built an Even Better Ropebot Dog

CodeSizer: Why is that binary so big?

Speech To Markdown

ZTA: Zero Token Architecture

Git email patch review addon for Thunderbird

Shake Blog

What is your favorite blog to read recently?

More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows

Mathematicians still don’t know the fastest way to multiply numbers

CaptureKit

tterm

The computer at the bottom of a canal

Capsomnia

Prosed