Submissions from fitzgen.com

		Synthesizing Loop-Free Programs with Rust and Z3 (2020) (fitzgen.com)
		26 points by karelpeeters 9 days ago \| past \| discuss
		A Structure-Aware Fuzzing Experiment (fitzgen.com)
		3 points by sfink 3 months ago \| past
		A structure-aware fuzzing experiment in Rust (fitzgen.com)
		2 points by fanf2 3 months ago \| past
		Garbage collection without unsafe code (fitzgen.com)
		114 points by foota 5 months ago \| past \| 83 comments
		A Function Inliner for Wasmtime and Cranelift (fitzgen.com)
		1 point by todsacerdoti 10 months ago \| past
		Always Bump Downwards (fitzgen.com)
		1 point by guntars on Sept 17, 2025 \| past