jez

32 ms·

361.
by jez 7y ago
The thing I like the most about the "as types" approach is that once the thing is wrapped, passing it around has zero boilerplate. In this program below, the only place that suffers from having created a newtype for the strings is
362.
by jez 7y ago
Here’s an example of it used for populating some completion menus (like docs) on LSP completion in coc.vim: https://mobile.twitter.com/neovim/status/1101893773561348096...
363.
On Programming Language Choice(blog.jez.io)
3 points by jez 7y ago|0 comments
364.
On Programming Language Choice(blog.jez.io)
3 points by jez 7y ago|0 comments
365.
by jez 7y ago
Have you seen Julia? https://julialang.org/ The first three selling points on their home page are Fast, Dynamic, Optionally Typed.
366.
Improving CLIs with isatty(blog.jez.io)
1 points by jez 7y ago|0 comments
367.
Profiling in Haskell for a 10x Speedup(blog.jez.io)
3 points by jez 7y ago|0 comments
368.
Profiling in Haskell for a 10x Speedup(blog.jez.io)
2 points by jez 7y ago|0 comments
369.
State of Sorbet: A Type Checker for Ruby [video](youtube.com)
1 points by jez 7y ago|0 comments
370.
by jez 8y ago
It’s not in the tweet but we specifically covered that it’s possible to type check Rails in our talk actually: - https://sorbet.run/talks/RubyKaigi2019/#/53 - https://sorbet.run/talks/Rub
371.
Sorbet: A fast, powerful type checker designed for Ruby(sorbet.org)
52 points by jez 8y ago|3 comments
372.
by jez 8y ago
Nice! I really like Tufte CSS. It makes using side notes really easy, even on mobile. And it gives a very crisp look to the text. I put together a project to be able to make new Tufte CSS sites with Jekyll: https://github.com&#x2
373.
Show HN: Calz – A natural language alternative to Unix 'cal'(github.com)
2 points by jez 8y ago|0 comments
374.
by jez 9y ago
Author here! I'd like to take a second to point out that the audience I had in mind when writing this article was mostly my fellow classmates in college. In school we were hastily introduced to LaTeX freshman year and were required to
375.
by jez 9y ago
Grayson's very first answer to "what's next" is "ML modules," a language feature probably few people have experienced first hand. We're talking about ML-style modules here, which are quite precisely define
376.
by jez 9y ago
Pattern matching without support for algebraic datatypes really misses the point. What you want is to be able to declare all the shapes of your data, with descriptive names, and then be able to say definitely "these are the only such
377.
by jez 10y ago
In fact, you can use Pandoc along side that feature of LaTeX to go straight from Markdown to PDF slides: pandoc slides.md -t beamer -o slides.pdf It works pretty effortlessly, especially when you pair it with a set of starter files
378.
by jez 10y ago
Danny Gratzer wrote about this a while back: http://jozefg.bitbucket.org/posts/2015-01-08-modules.html
379.
by jez 11y ago
Have you looked into Amethyst[1]? It's a tiling window manager for OS X. It's based on xmonad, not i3, but simply having something that tiles my windows is amazing, especially on larger Thunderbolt displays. [1]: https:/&#x2
380.
by jez 11y ago
One thing that I love about rcm is how well it handles the case of host-specific dotfiles. Between my laptop, school servers, personal servers, etc., I access a lot of servers running different software that need to be configured differentl
381.
by jez 11y ago
+1 for rcm I think it works particularly well when you have a dotfiles setup where specific pieces of the setup differ by host but the rest is largely the same. For example, I've broken my zshrc, bashrc, and gitconfig into the common p