Firefox is shipping formally verified crypto primitives!
miniblog.
I wish resumable exceptions were more common. Here's a compelling use case, demonstrating the value of recovery in Dylan:
Swym ("say what you mean") is a cute programming language with an 'etc' keyword and the compiler figures out the rest. E.g.
https://list.total/: .1st + .2nd + etc;
[1..10].total;
C++ is adding a [[likely]] annotation to mark which branches are more/less probable to execute!
Handy, and a nice alternative to profile guided optimisation. https://twitter.com/blelbach/status/929416940715569152
Great article defending concatenative programming as a paradigm, and discussing how you statically type check subroutines that leave values on the stack:
C++ compiler beating hand written assembly: https://stackoverflow.com/questions/40354978/why-is-this-c-code-faster-than-my-hand-written-assembly-for-testing-the-collat
If you haven't measured the cycle time of the different instructions, the optimiser can often do better!
It's fascinating to see Smalltalkers discussing textual diffs on GitHub:
https://github.com/pharo-project/pharo/pull/410
Smalltalk is very adaptable, working with git despite being image based!
Entertaining, broad overview of approaches to error handling in different programming languages!
Great article discussing Monte Carlo tree search and how AlphaGo works: https://tim.hibal.org/blog/alpha-zero-how-and-why-it-works/
A while loop destructuring the middle elements of a vector -- remarkably elegant! https://www.reddit.com/r/rust/comments/7a9w1c/rust_is_now_an_official_part_of_stanfords/dp8azv3/ (rust)
TS has a divergent type 'never', but it even does flow analysis so you can handle being called by untyped code–neat!
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 "="!
'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
Showing 91-105 of 885 posts