Submissions from janestreet.com

		Using OxCaml to implement type-safe reference counting between OCaml and Python (janestreet.com)
		2 points by pjmlp 28 days ago \| past
		Using OxCaml to implement type-safe reference counting between OCaml and Python (janestreet.com)
		3 points by matt_d 29 days ago \| past
		Formal Methods and the Future of Programming (janestreet.com)
		3 points by osener 29 days ago \| past
		Formal Methods and the Future of Programming (janestreet.com)
		3 points by dcre 30 days ago \| past \| 2 comments
		Formal methods and the future of programming (janestreet.com)
		378 points by eatonphil 30 days ago \| past \| 126 comments
		Formal Methods and the Future of Programming (janestreet.com)
		8 points by sebg 31 days ago \| past
		Formal Methods and the Future of Programming (janestreet.com)
		107 points by nextos 33 days ago \| past \| 4 comments
		The Algorithm for Precision Medicine (janestreet.com)
		2 points by vismit2000 34 days ago \| past
		I design with Claude more than Figma now (janestreet.com)
		324 points by MrBuddyCasino 38 days ago \| past \| 266 comments
		Strace-ui, Bonsai_term, and the TUI renaissance (janestreet.com)
		158 points by matt_d 43 days ago \| past \| 80 comments
		Strace-UI, Bonsai_term, and the TUI Renaissance (janestreet.com)
		4 points by hardwaregeek 46 days ago \| past
		strace-UI, Bonsai_term, and the TUI Renaissance (janestreet.com)
		1 point by berlianta 49 days ago \| past
		Developer Education at Jane Street (janestreet.com)
		2 points by ned1010 73 days ago \| past \| 1 comment
		Using group theory to explore the space of positional encodings for attention (janestreet.com)
		48 points by jxmorris12 74 days ago \| past
		Using group theory to explore the space of positional encodings for attention (janestreet.com)
		5 points by ingve 78 days ago \| past
		Can you reverse engineer our neural network? (janestreet.com)
		3 points by ingve 4 months ago \| past
		Can you reverse engineer our neural network? (janestreet.com)
		317 points by jsomers 4 months ago \| past \| 204 comments
		Results from the Advent of FPGA Challenge (janestreet.com)
		14 points by zdw 5 months ago \| past
		Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (janestreet.com)
		82 points by weinzierl 5 months ago \| past \| 3 comments
		What if writing tests was a joyful experience? (2023) (janestreet.com)
		114 points by ryanhn 5 months ago \| past \| 43 comments
		I design with Claude more than Figma now (janestreet.com)
		1 point by jsomers 5 months ago \| past
		Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (janestreet.com)
		3 points by agluszak 6 months ago \| past
		Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (janestreet.com)
		4 points by i_don_t_know 6 months ago \| past
		Uv: An Fast Python Package Manager (janestreet.com)
		11 points by simonebrunozzi 6 months ago \| past \| 2 comments
		Getting from Tested to Battle-Tested (janestreet.com)
		30 points by eclectician 7 months ago \| past \| 3 comments
		Advent of FPGA Challenge (janestreet.com)
		4 points by ahlCVA 7 months ago \| past \| 1 comment
		What the interns have wrought, 2025 (janestreet.com)
		76 points by yminsky 10 months ago \| past \| 89 comments
		What the interns have wrought, 2025 (janestreet.com)
		9 points by azhenley 10 months ago \| past
		How Jane Street Does Code Review (janestreet.com)
		4 points by dgs_sgd 10 months ago \| past
		What is gained and lost with 63-bit integers? (janestreet.com)
		5 points by leephillips 11 months ago \| past
		More