Can you reverse engineer an ASIC? #Hardware #Security #ReverseEngineering
Using OxCaml to implement type-safe reference counting between OCaml and Python #OCaml #Programming #Systems
Formal methods and the future of programming #Programming #FormalMethods #Tech
strace-ui, Bonsai_term, and the TUI renaissance #OCaml #Programming #TUI
Using group theory to explore the space of positional encodings for attention #OCaml #AI #Math
Can you reverse engineer our neural network? #AI #MachineLearning #OpenSource
Results from the Advent of FPGA Challenge #FPGA #Hardware #Engineering
I design with Claude more than Figma now #AI #Programming #Design
Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations #OCaml #Programming #Systems
Getting from tested to battle-tested #SoftwareEngineering #Testing #OCaml
Advent of FPGA -- A Jane Street Challenge #FPGA #Hardware #Engineering
What the interns have wrought, 2025 edition #OCaml #Interns #Engineering
A Higgs-bugson in the Linux Kernel #Programming #OpenSource #Systems
Introducing OxCaml #OCaml #Programming #Tech
Advent of Hardcaml #OCaml #FP #Hardware
How we accidentally built a better build system for OCaml #OCaml #Programming #OpenSource
Developer education at Jane Street #OCaml #Programming #Education
ICFP 2024 #OCaml #Programming #Conference
What the interns have wrought, 2024 edition #Interns #Tech #OCaml
Visualizing piecewise linear neural networks #MachineLearning #NeuralNetworks #DataScience
What the interns have wrought, 2023 edition #Internship #Tech #OCaml
Oxidizing OCaml: Data Race Freedom #OCaml #Programming #Systems
We're sponsoring SoME3 #Tech #Sponsorship #Community
Oxidizing OCaml: Rust-Style Ownership #OCaml #Rust #Programming
Oxidizing OCaml: Locality #OCaml #Programming #Systems
Building reproducible Python environments with XARs #Python #Reproducibility #DevOps
What if writing tests was a joyful experience? #Testing #SoftwareEngineering #OCaml
Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml #FPGA #zkSNARKs #Hardware
Visualizing information propagation in markets #Markets #DataViz #Finance
Computations that differentiate, debug, and document themselves #OCaml #Programming #SoftwareEngineering
Introducing the Jane Street Graduate Research Fellowship #OCaml #Research #Fellowship
What the interns have wrought, 2022 edition #Internship #Tech #OCaml
Research internships in our Tools and Compilers group #OCaml #Internship #Research
How Jane Street Pairs Interns to Projects and Teams During the Software Engineering Internship #Internship #SoftwareEngineering #Ocaml
Magic-trace: Diagnosing tricky performance issues easily with Intel Processor Trace #Performance #Debugging #OpenSource
Hiring a Developer Educator #Developer #Education #Hiring
Goodbye Core_kernel #OCaml #Systems #Programming
What the interns have wrought, 2021 edition #OCaml #Internship #Programming
Looking for a developer experience engineer #Engineering #Developer #Hiring
Growing the Hardcaml toolset #OCaml #Programming #Tooling