Technology - metasage.com

Technology

Anatomy of a Formal Proof

Anatomy of a Formal Proof

1 week ago 12

Subpixel Snake

Subpixel Snake

1 week ago 30

Converge (YC S23) Is Hiring Founding Engineer #2 in NYC

Converge (YC S23) Is Hiring Founding Engineer #2 i...

1 week ago 8

A WebAssembly compiler that fits in a tweet

A WebAssembly compiler that fits in a tweet

1 week ago 24

Snowdrop OS – a homebrew operating system from scratch, in assembly language

Snowdrop OS – a homebrew operating system from scr...

1 week ago 23

Wild – A Fast Linker for Linux

Wild – A Fast Linker for Linux

1 week ago 29

Cloud Virtualization: Red Hat, AWS Firecracker, and Ubicloud Internals

Cloud Virtualization: Red Hat, AWS Firecracker, an...

1 week ago 29

How I Use Home Assistant in 2025

How I Use Home Assistant in 2025

1 week ago 17

AI Is Creating a Generation of Illiterate Programmers

AI Is Creating a Generation of Illiterate Programm...

1 week ago 26

Every System is a Log: Avoiding coordination in distributed applications

Every System is a Log: Avoiding coordination in di...

1 week ago 32

Ask HN: Why buy domains and 301 redirect them to me?

Ask HN: Why buy domains and 301 redirect them to m...

1 week ago 5

We Need to Talk About Docker Hub

We Need to Talk About Docker Hub

1 week ago 25

"The Linux Phone You've Been Waiting For"

"The Linux Phone You've Been Waiting For"

1 week ago 9

South Korea's Democracy Saved Itself (2024)

South Korea's Democracy Saved Itself (2024)

1 week ago 12

The Nix NGI Team: Advancing Open Source with Nix

The Nix NGI Team: Advancing Open Source with Nix

1 week ago 12

L33T coding is DEAD code

L33T coding is DEAD code

1 week ago 7

Amazon UK to stop selling Bloomsbury's books

Amazon UK to stop selling Bloomsbury's books

1 week ago 6

New Electrical Code Could Doom Most Common EV Charging

New Electrical Code Could Doom Most Common EV Char...

1 week ago 23