Rust is the only language I know that systematically tests new compilers against a big real-world corpus: https://internals.rust-lang.org/t/regression-reports-stable-2015-09-17-vs-beta-2015-10-02-nightly-10-06/2737 amazing!
miniblog.
Incredibly, there are already proofs regarding memory safety of the Rust model: ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf
.@rustlang 's semantics surprised me today: comparing values of &T compares by value, not by reference: https://play.rust-lang.org/?gist=02094f9f42c593df8492&version=stable
LLVM does not scale down well if CPUs have very few general purpose registers: http://t.co/eEvS22b310 (I believe GCC is marginally better)
Looking at Z80 today. There's already a LLVM port to this architecture! https://github.com/earl1k/llvm-z80
Apparently valgrind rhymes with pinned, not find: http://t.co/3N8aLDvbfr -- I've been saying it wrong all this time!
"the [Rust] compiler is the strictest I’ve ever had the pleasure to work with" Safety = Freedom https://llogiq.github.io/2015/10/05/safety-freedom.html
The Rust community is creating projects at an impressive rate. RedoxOS is gaining momentum and interesting features: http://t.co/SEURBgeity
Emacs tip of the day: projectile is great, but you're probably missing on some of its great features. 'C-c p C-h' will reveal all!
Refutation of the Clique-Based P=NP Proofs http://t.co/8WELZkYO6l (both proposals have bugs, which generative testing would have spotted!)
Today I learnt Emacs has a screensaver: M-x zone!
RTags is a neat project for C/C++. It provides jump-to-definition, and can even apply clang's fix suggestions! https://github.com/Andersbakken/rtags
I will be at LinuxCon Europe this week! Say hi if you're around.
Urbit has tons of interesting ideas: http://t.co/6IrAVbOBpP though the terminology is weird: gate=lambda, vane=kernel module, wire=path etc
Awesome Rust testing technique: if your API should forbid certain usage, verify that it cannot compile! http://t.co/oyf1BrTX43
Interesting post on which computer hardware is best suited for developing a new operating system: https://redox-os.org/index.php?controller=post&action=view&id_post=5
Ubiquity is like M-x for Firefox: https://wiki.mozilla.org/Labs/Ubiquity/Latest_Ubiquity_User_Tutorial (interesting idea but depends on API availability, which many sites lack)
Bug trackers would really benefit from a Discourse style UI. It lets users like comments (instead of writing '+1') and can summarise.
Choosing a good autocomplete system is a crucial part of UI and language design: http://t.co/gozW6r9gOb (excellent post)
GCC is a healthy project with a growing number of contributors, but LLVM had more contributors in 2014: http://t.co/oT87OQuPtg
Showing 141-160 of 650 posts