Hackernews posts about Jane Street Blog

  1. Can you design a chip: The protocol emulator ASIC competition (blog.janestreet.com)
    27 points by ingve 9 days ago | 2 comments
  2. Can you design a chip? Announcing the protocol emulator ASIC competition (blog.janestreet.com)
    4 points by dalvrosa 10 days ago | 1 comments
  3. A study of sequence weighting at scale (blog.janestreet.com)
    1 points by hubraumhugo 5 days ago | discuss
  4. Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)
    3 points by henryrobbins00 3 months ago | discuss
  5. Formal methods and the future of programming (blog.janestreet.com)
    378 points by eatonphil 3 months ago | 126 comments
  6. A better build system for OCaml (blog.janestreet.com)
    355 points by gaws over 1 year ago | 210 comments
  7. I design with Claude more than Figma now (blog.janestreet.com)
    324 points by MrBuddyCasino 4 months ago | 266 comments
  8. Can you reverse engineer our neural network? (blog.janestreet.com)
    317 points by jsomers 7 months ago | 204 comments
  9. A Higgs-Bugson in the Linux Kernel (blog.janestreet.com)
    232 points by Ne02ptzero about 1 year ago | 55 comments
  10. Strace-ui, Bonsai_term, and the TUI renaissance (blog.janestreet.com)
    158 points by matt_d 4 months ago | 80 comments
  11. Can you reverse engineer an ASIC? (blog.janestreet.com)
    119 points by bschne about 2 months ago | 87 comments
  12. What if writing tests was a joyful experience? (2023) (blog.janestreet.com)
    114 points by ryanhn 8 months ago | 43 comments
  13. Formal Methods and the Future of Programming (blog.janestreet.com)
    107 points by nextos 3 months ago | 4 comments
  14. Why GADTs matter for performance (2015) (blog.janestreet.com)
    83 points by hyperbrainer over 1 year ago | 26 comments
  15. Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com)
    82 points by weinzierl 7 months ago | 3 comments
  16. What the interns have wrought, 2025 (blog.janestreet.com)
    76 points by yminsky about 1 year ago | 89 comments
  17. Using group theory to explore the space of positional encodings for attention (blog.janestreet.com)
    48 points by jxmorris12 5 months ago | discuss
  18. Getting from Tested to Battle-Tested (blog.janestreet.com)
    30 points by eclectician 10 months ago | 3 comments
  19. Results from the Advent of FPGA Challenge (blog.janestreet.com)
    14 points by zdw 7 months ago | discuss
  20. OxCaml (blog.janestreet.com)
    14 points by avsm over 1 year ago | discuss
  21. What the interns have wrought, 2025 (blog.janestreet.com)
    9 points by azhenley about 1 year ago | discuss
  22. Formal Methods and the Future of Programming (blog.janestreet.com)
    8 points by sebg 3 months ago | discuss
  23. Using group theory to explore the space of positional encodings for attention (blog.janestreet.com)
    5 points by ingve 5 months ago | discuss
  24. What is gained and lost with 63-bit integers? (blog.janestreet.com)
    5 points by leephillips about 1 year ago | discuss
  25. Advent of FPGA Challenge (blog.janestreet.com)
    4 points by ahlCVA 10 months ago | 1 comments
  26. Oxcaml (blog.janestreet.com)
    4 points by bvaldivielso over 1 year ago | 1 comments
  27. Strace-UI, Bonsai_term, and the TUI Renaissance (blog.janestreet.com)
    4 points by hardwaregeek 4 months ago | discuss
  28. Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations (blog.janestreet.com)
    4 points by i_don_t_know 9 months ago | discuss
  29. Visualizing piecewise linear neural networks (blog.janestreet.com)
    4 points by maest almost 2 years ago | discuss
  30. Formal Methods and the Future of Programming (blog.janestreet.com)
    3 points by dcre 3 months ago | 2 comments
  31. Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)
    3 points by matt_d 3 months ago | discuss
  32. Formal Methods and the Future of Programming (blog.janestreet.com)
    3 points by osener 3 months ago | discuss
  33. Can you reverse engineer our neural network? (blog.janestreet.com)
    3 points by ingve 7 months ago | discuss