Skip to content

Jane Street Tech Blog company blog

Putting the I back in IDE

blog.janestreet.com 10 min read

Imagine a system for editing and reviewing code where:

Read on blog.janestreet.com → Discuss on HN (144) Archived copy

Points: 297
HN comments: 144
Submissions: 1
Cited by: 0 commenters

Software Engineering Tools & Productivity 2018

On Hacker News

Submitted	Title on HN	Points	Comments
Mar 28, 2018	Putting the I back in IDE by yminsky	297	144

More from Jane Street Tech Blog

All 23 posts →

Formal methods and the future of programming

2026378 points126 comments Software Engineering details

A better build system for OCaml

2025355 points210 comments Software Engineering details

I design with Claude more than Figma now

2026324 points266 comments Design & UX details

Can you reverse engineer our neural network?

2026317 points204 comments AI & Machine Learning details

Oxidizing OCaml: Locality

2023246 points66 commentscited by 5Programming Languages details

Plans for OCaml 4.08

2018246 points89 comments Programming Languages details

Related posts from the same era

My Business Card Runs Linux

ThirtyThreeForty20192,595 points455 commentscited by 8 details

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

Sublime Text 3.0

Sublime Text Blog20171,653 points675 comments details

You Are Not Google (2017)

Bradfield School of Computer Science Blog20191,623 points730 commentscited by 14 details

Sunsetting Python 2

Python.org20191,616 points704 commentscited by 15 details

Absolute truths I unlearned as junior developer

Monica Lent20191,529 points769 comments details