TS has a divergent type 'never', but it even does flow analysis so you can handle being called by untyped code–neat!
https://basarat.gitbooks.io/typescript/docs/types/never.html
miniblog.
Have you ever thought typing " = " was too arduous? I love that an Emacser has written https://github.com/rmuslimov/py-smart-operator so you can just write "="!
Debian and Gnome will be moving to GitLab!
'Seven habits of effective text editing' by the vim author
https://moolenaar.net/habits.html (great article, and much of it applicable to Emacs too!)
Some figures on the amazing adoption rate of Rust: https://www.jonathanturner.org/2017/10/fun-facts-about-rust-growth.html
If you receive a work email, what time period do your colleagues expect a response within?
Some impressive work with unexec and malloc for Remacs on Windows! https://github.com/Wilfred/remacs/pull/445
I'm excited to hear that @mraleph is going to write a book on the dark art of VM implementation!
https://evolvingavm.com/
This is really exciting! Pharo the IDE is superb, but for text entry it only offers CUA interaction by default. https://twitter.com/pharoproject/status/924914014303420416
A common criticism of macro systems is that it's hard to distinguish functions from syntax. Reading BDD foo.feature files feels the same!
Worthwhile debate on HN over what type checkers can/should verify, and the limits of Hindley-Milner designs: https://news.ycombinator.com/item?id=10271612
A colleague said to me "your strange tree-based org-mode". I thought he was talking about indentation settings, but he meant my notebook!
Lovely post exploring the expressivity of concatenative PLs when you constrain function arity
https://suhr.github.io/obsc/ (spoiler: it's pretty)
What historical technologies should be studied more by developers today? What are our biggest blind spots?
The recommended solution for many NP-hard problems seems to be "just give it to a SAT solver". Are there cases where this isn't a good fit?
Elisp has no namespaces. Some tools actually take advantage of this: completion with all known functions can work really well for discovery!
A wonderful phrase for when Twitter is inhibiting your ability to communicate clearly! https://twitter.com/QuietMisdreavus/status/923291320633962496
Thread discussing a remarkable way of being memory safety if you have FS access (you can write to /proc/PID/mem!) https://twitter.com/awesomeintheory/status/921884432340013056
Are there PL features that you think are really powerful and elegant, but not worth it overall? If so, which?
AlphaGo Zero is simpler, does not require a training set, computationally cheaper and yet stronger!
Showing 101-120 of 885 posts