Jake Zimmerman

Based on what Ive read [1], Sorbet was born out of very specific circumstances at Stripe, in the same sort of way that go was at google. I think it missed the mark due to it being a specific tool for specific usecases instead of an "open source project for the general public" first. I love ruby but I do look forward to having a good option for types at some point. The community makes up for lack of types by adding more tests to their test suite, which is nice but I'd love to layer some encoding into the codebase itself and save the CI time. [1] - https://blog.jez.io/history-of-sorbet-syntax/

Jake Zimmerman wrote this excellent blog post[1] on the current state of Sorbet. I was impressed at recent changes in the Sorbet syntax but also with the proposal that we make code comments available to the ruby VM. That would allow Sorbet to adopt the rbs-inline comment syntax for both runtime checks and static analysis. So there does appear to be a way forward on this, which is pretty exciting. 1. https://blog.jez.io/history-of-sorbet-syntax/

Tree-sitter appears to be ultra-focused on producing valid syntax trees really fast. This is great for e.g. syntax highlighting, but suboptimal in cases where you are writing a reference parser for your custom language and want to provide very useful error descriptions. Chumsky seems to be more suited for the latter (and also has a part of tutorial about precedence[0], so it seems to deal at least with that case). This overview of parser tradeoffs may be helpful: https://blog.jez.io/tree-sitter-limitations/. [0] https://github.com/zesterer/chumsky/blob/master/tutorial.md#parsing-bi…

I needed to understand linkers and object loaders for something at work recently, and I can't recommend Computer Systems: A Programmer's Perspective enough![1] It answered a lot of questions I'd always had about computer systems. I jumped straight into Chapter 7: Linking and learned so much that I read a bunch of other chapters for the fun of it. E.g., Chapter 7 covered that the `_start` symbol mentioned in this post is just a symbol in your executable that the Linux executable loader knows to jump to, but it's not the only special symbol! The chapter on linking also covered how loading and linking dynamic/shared libraries works, which was also really cool. I wrote up some of the things I learned about that stuff too.[2] [1] http://www.csapp.cs.cmu.edu/ [2] https://blog.jez.io/linkers-ruby-c-exts/

You might find https://blog.jez.io/history-of-sorbet-syntax/ interesting, written by one of the primary contributors to Sorbet. Sorbet is a bit different from TypeScript because it has runtime type checking, not just static.

One of the main devs on Sorbet would agree: https://blog.jez.io/history-of-sorbet-syntax/

> It becomes more verbose with this type annotation everywhere making it look like nightmare. this is part of the appeal of the "header file approach" a la RBS, as mentioned in the article https://blog.jez.io/history-of-sorbet-syntax/#the-header-file-approach…

Very short answer: because a treesitter will do an approximately correct parsing, while a hand written parser will do a correct parsing (and if not, it is a bug). For a full, balanced overview, see: https://blog.jez.io/tree-sitter-limitations/

Read the linked previous post[1]. Flow doesn't ensure exhaustiveness unless you ask it to, by telling it that any case that goes to "default" is invalid (impossible). [1] https://blog.jez.io/flow-exhaustiveness/

I do courses when I can, try some CS theory, some free resources here https://functionalcs.github.io/curriculum/ such as these undergraduate complexity theory lectures https://www.youtube.com/playlist?list=PLm3J0oaFux3YL5vLXpzOyJiLtqLp6dC… or this intro to dbms course https://www.youtube.com/playlist?list=PLSE8ODhjZXjYutVzTeAds8xUt1rcmyT… then try using a SQL automated prover http://cosette.cs.washington.edu/ Some more VIM resources, Vim as an IDE https://blog.jez.io/vim-as-an-ide/ Lecture notes, entire course on vim and horrors that is vimscript http://www.contrib.andrew.cmu.edu/~haoxuany/vim/ Great stackoverflow post on grokking vi to understand vim https://stackoverflow.com/questions/1218390/what-is-your-most-producti…

> I hate coding interviews but I am sympathetic to people who want to do them because I've met people who are such good bullshitters that they could fool most people. If you're talking about someone with no working experience and who claims to be self-taught, you really have to make them write code. The choice is not limited to made up toy problems vs not testing coding skills at all. You can give them real problems to solve. > The interviewers tried to tell him to approach it like an industrial-grade solution, not a weird academic exercise. Hahaha, and how exactly do you write an 'industrial-grade' FizzBuzz? ;) Obligatory: https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition > The whole point of the interview is to get hints about the candidate. There are times when interviewers read too much into what the candidate does or says, but this isn't one of them. Oh but it is. If I were to ask you, the expert, to draw a blue line with red ink and then attempt to draw conclusions from your behaviour based on that question, could I ever get a valid assessment of you? If a test is faulty, so are its results. Garbage in, garbage out. Interviewing is no trivial task. It is an attempt to test how well someone will do a thing without having them actually do it. By definition, that is impossible. Still, we can try to get good enough results by minimising the number of differences between our test environment (interview) and production (the job). That will…

OP is actually using it, see: https://blog.jez.io/atom.xml