miniblog.

Dec 27, 2015
Refactored some unsafe FFI code to be idiomatic Rust today, and valgrind approves of everything on the first run. I'm impressed!
Dec 27, 2015
TIL that Go has an excellent CLI tool for renaming things: https://texlution.com/post/gorename/ -- why doesn't this exist in more languages?
gorename: easy refactoring tool for Golang
Introduction to gorename, the type-aware renaming tool for Go source
Dec 26, 2015
"The less often you run a script, the chattier the interface should be."
Automate to save energy, not time
Automation doesn't always save as much time or effort as we expect. The xkcd cartoon above is looking at automation as an investment. Does the work I put in now eventually save more work than I put into it? Automation may be well worth it even if the answer is "no." Automation can be like
Dec 23, 2015
Lenticular editing is an interesting idea where doc changes are replayed as code comments (and vice versa). https://www.russet.org.uk/blog/3035
Dec 23, 2015
Fun compiler fact: both GCC and clang rewrite x < C to x <= C-1 (for integers) as C-1 may require fewer bits to represent.
Dec 22, 2015
I'm very impressed with the Go performance shown on https://julialang.org/ . The Go compiler has come a long way.
The Julia Programming Language
The official website for the Julia Language. Julia is a language that is fast, dynamic, easy to use, and open source. Click here to learn more.
Dec 21, 2015
"at least two efforts at writing a graph coloring register allocator for GCC have failed"
Making sure you're not a bot!
Dec 21, 2015
TIL that Travis supports Ubuntu 14.04! https://docs.travis-ci.com/user/ci-environment/#Virtualization-environments (sometimes 12.04 is hassle with new/trendy tools)
Redirecting…
Dec 21, 2015
I keep writing compiler unit tests that work locally, but fail on other architectures. Argh. Maybe I should emulate on Travis.
Dec 21, 2015
What does the 80/20 rule look like in compiler optimisation? I suspect basic constant propagation and DCE gets you a respectable speedup.
Dec 21, 2015
Midori is a fascinating Microsoft research project exploring safe C++ alternatives with a new OS and compiler:
Joe Duffy - A Tale of Three Safeties
Joe Duffy
Dec 20, 2015
How do I set up an LLVM pass manager to optimise my code?
optimization - How do I see what optimisation passes are used by LLVM's opt? - Stack Overflow
optimization - How do I see what optimisation passes are used by LLVM's opt? - Stack Overflow
Dec 20, 2015
That feeling of 'I need to write a Stack Overflow answer on this, or I'll never remember it in a week's time'.
Dec 20, 2015
Moving to a hand-written parser made GCC faster, more flexible and provides better diagnostics:
Making sure you're not a bot!
Dec 19, 2015
Bridging Discrete and Continuous Logic in Automated Reasoning Systems https://chriskohlhepp.wordpress.com/the-reasoned-lisper/ (has some incredible examples)
The Reasoned Lisper
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
Showing 4,891-4,905 of 7,583 posts