Submissions from janestreet.com

		Formal Methods and the Future of Programming (janestreet.com)
		3 points by osener 5 hours ago \| past \| discuss
		Formal Methods and the Future of Programming (janestreet.com)
		3 points by dcre 19 hours ago \| past \| 2 comments
		Formal methods and the future of programming (janestreet.com)
		330 points by eatonphil 1 day ago \| past \| 107 comments
		Formal Methods and the Future of Programming (janestreet.com)
		8 points by sebg 1 day ago \| past \| discuss
		Formal Methods and the Future of Programming (janestreet.com)
		6 points by nextos 3 days ago \| past \| discuss
		The Algorithm for Precision Medicine (janestreet.com)
		2 points by vismit2000 4 days ago \| past \| discuss
		I design with Claude more than Figma now (janestreet.com)
		324 points by MrBuddyCasino 8 days ago \| past \| 266 comments
		Strace-ui, Bonsai_term, and the TUI renaissance (janestreet.com)
		158 points by matt_d 13 days ago \| past \| 80 comments
		Strace-UI, Bonsai_term, and the TUI Renaissance (janestreet.com)
		4 points by hardwaregeek 17 days ago \| past
		strace-UI, Bonsai_term, and the TUI Renaissance (janestreet.com)
		1 point by berlianta 20 days ago \| past
		Developer Education at Jane Street (janestreet.com)
		2 points by ned1010 44 days ago \| past \| 1 comment
		Using group theory to explore the space of positional encodings for attention (janestreet.com)
		48 points by jxmorris12 45 days ago \| past
		Using group theory to explore the space of positional encodings for attention (janestreet.com)
		5 points by ingve 48 days ago \| past
		Can you reverse engineer our neural network? (janestreet.com)
		3 points by ingve 3 months ago \| past
		Can you reverse engineer our neural network? (janestreet.com)
		317 points by jsomers 3 months ago \| past \| 204 comments
		Results from the Advent of FPGA Challenge (janestreet.com)
		14 points by zdw 4 months ago \| past
		Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (janestreet.com)
		82 points by weinzierl 4 months ago \| past \| 3 comments
		What if writing tests was a joyful experience? (2023) (janestreet.com)
		114 points by ryanhn 4 months ago \| past \| 43 comments
		I design with Claude more than Figma now (janestreet.com)
		1 point by jsomers 4 months ago \| past
		Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (janestreet.com)
		3 points by agluszak 5 months ago \| past
		Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (janestreet.com)
		4 points by i_don_t_know 5 months ago \| past
		Uv: An Fast Python Package Manager (janestreet.com)
		11 points by simonebrunozzi 5 months ago \| past \| 2 comments
		Getting from Tested to Battle-Tested (janestreet.com)
		30 points by eclectician 6 months ago \| past \| 3 comments
		Advent of FPGA Challenge (janestreet.com)
		4 points by ahlCVA 6 months ago \| past \| 1 comment
		What the interns have wrought, 2025 (janestreet.com)
		76 points by yminsky 9 months ago \| past \| 89 comments
		What the interns have wrought, 2025 (janestreet.com)
		9 points by azhenley 9 months ago \| past
		How Jane Street Does Code Review (janestreet.com)
		4 points by dgs_sgd 9 months ago \| past
		What is gained and lost with 63-bit integers? (janestreet.com)
		5 points by leephillips 10 months ago \| past
		A Higgs-Bugson in the Linux Kernel (janestreet.com)
		232 points by Ne02ptzero 11 months ago \| past \| 55 comments
		How to Shuffle a Big Dataset (janestreet.com)
		1 point by jxmorris12 12 months ago \| past
		More