Submissions from swtch.com

		Pulling a New Proof from Knuth's Fixed-Point Printer (swtch.com)
		2 points by KnuthIsGod 5 hours ago \| past \| discuss
		Regular Expression Matching Can Be Simple and Fast (2007) (swtch.com)
		3 points by poly2it 1 day ago \| past \| discuss
		Regular Expression Matching: The Virtual Machine Approach (2009) (swtch.com)
		2 points by tosh 5 days ago \| past \| discuss
		Regular Expression Matching Can Be Simple and Fast (2007) (swtch.com)
		1 point by tosh 10 days ago \| past \| discuss
		Hardware Memory Models (swtch.com)
		2 points by jerrinot 28 days ago \| past
		A Tour of Acme (2012) (swtch.com)
		2 points by tosh 3 months ago \| past
		Go and Versioning: Minimal Version Selection (swtch.com)
		2 points by ryangibb 3 months ago \| past
		The xz attack shell script (2024) (swtch.com)
		1 point by speckx 3 months ago \| past
		Floating-Point Printing and Parsing Can Be Simple and Fast (swtch.com)
		121 points by chmaynard 4 months ago \| past \| 14 comments
		Pulling a new proof from Knuth's fixed-point printer, with code in Ivy (swtch.com)
		2 points by fanf2 4 months ago \| past
		Pulling a New Proof from Knuth's Fixed-Point Printer (swtch.com)
		16 points by todsacerdoti 4 months ago \| past
		Version SAT (2016) (swtch.com)
		2 points by tosh 5 months ago \| past
		Your Face as a QR Code (swtch.com)
		4 points by bookofjoe 6 months ago \| past \| 1 comment
		Updating the Golang Memory Model (swtch.com)
		3 points by fanf2 6 months ago \| past \| 1 comment
		Running the "Reflections on Trusting Trust" Compiler (2023) (swtch.com)
		120 points by naves 6 months ago \| past \| 11 comments
		QArt Coder (swtch.com)
		1 point by bookofjoe 6 months ago \| past
		Zip Files All the Way Down (2010) (swtch.com)
		38 points by aebtebeten 7 months ago \| past \| 3 comments
		9vx and how to run Plan 9 on FreeBSD, Linux, and OS X (swtch.com)
		2 points by matesz 9 months ago \| past
		Regular Expression Matching Can Be Simple and Fast (2007) (swtch.com)
		2 points by Bogdanp 9 months ago \| past \| 1 comment
		Visualizing TCP (swtch.com)
		27 points by waaldev 10 months ago \| past \| 1 comment
		Using uninitialized memory for fun and profit (2008) (swtch.com)
		34 points by waaldev 10 months ago \| past \| 18 comments
		Regular Expression Matching Can Be Simple and Fast (2007) (swtch.com)
		3 points by malingo 11 months ago \| past
		The MOS 6502 and the Best Layout Guy in the World (swtch.com)
		10 points by signa11 11 months ago \| past
		Version SAT (2016) (swtch.com)
		2 points by behnamoh 11 months ago \| past
		Minimal Boolean Formulas (2011) (swtch.com)
		103 points by mcyc 11 months ago \| past \| 19 comments
		Differential Coverage for Debugging (swtch.com)
		72 points by todsacerdoti on April 25, 2025 \| past \| 10 comments
		Implementing Regular Expressions (swtch.com)
		2 points by udev4096 on April 7, 2025 \| past
		Running the "Reflections on Trusting Trust" Compiler (swtch.com)
		10 points by udev4096 on April 7, 2025 \| past
		C and C++ prioritize performance over correctness (2023) (swtch.com)
		93 points by endorphine on March 28, 2025 \| past \| 130 comments
		Calibration of math/big Algorithm Thresholds (swtch.com)
		1 point by aaronlehmann on March 14, 2025 \| past
		More

HN For You