miniblog.

May 31, 2021
Plotting TODOs over time for different OSS projects is a really interesting way to look at project development: https://schleiss.io/plotting-source-code-todos-for-open-source-projects There's often a bump before a major release. Most projects increase over time (perhaps it's proportional to LOC?).
Photo
X / ?
May 31, 2021
scc is a fast, polished tool for counting lines of code: https://github.com/boyter/scc The author has several great posts discussing LOC tooling, including this one on exploring codebases with it:
GitHub - boyter/scc: Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
GitHub - boyter/scc: Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go - boyter/scc
Why count lines of code? | Ben E. C. Boyter
May 30, 2021
grex is a really impressive tool that generates a small regex for a given set of string inputs: https://github.com/pemistahl/grex#53--examples-top- There's a live instance you can play with at:
GitHub - pemistahl/grex: A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases
GitHub - pemistahl/grex: A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases
A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases - pemistahl/grex
regex:help!
Magically generate some regex from examples.
May 29, 2021
Fascinated (and slightly surprised) that Google found ~50% of security bugs occur in code written in the last 12 months. So maintained code that isn't actively developed is often good!
Google Online Security Blog: Rust in the Android platform
May 27, 2021
2
Super impressed that I received an elisp PR that discusses backwards compatibility to 1997!
Convert all user-definable defvar into defcustom in bison-mode defgroup. by pierre-rouleau · Pull Request #13 · Wilfred/bison-mode
Convert all user-definable defvar into defcustom in bison-mode defgroup. by pierre-rouleau · Pull Request #13 · Wilfred/bison-mode
Add the defgroup bison-mode, under the defgroup for C. All defcustom are in this new defgroup. This has no impact on users of Emacs 20 and later when defgroup and defcustom were introduced (in 1997...
May 26, 2021
One nice property of autoformatters: they're a really fast way to do a quick syntax check. Especially with a slow build process, it's a good check for dumb mistakes.
May 23, 2021
8
It's now possible to compile small Rust programs with libgccjit! This will enable Rust on a bunch more architectures. https://blog.antoyo.xyz/rustc_codegen_gcc-run-core-tests Admittedly these programs don't run correctly yet, but getting something basic working often takes 80% of the work in PL.
May 23, 2021
The Rust documentation host, https://docs.rs/, has a really cute nudge to make sure your code has documentation. It exposes the docs coverage percentage in the UI!
Photo
Docs.rs
X / ?
May 22, 2021
Blog comments work best when the author has a large following, and they actively engage their community. I don't think many blogs reach this scale. For a typical blog, it's probably better to have comments on link aggregators (Reddit etc) instead.
May 22, 2021
1
I'm coming to the view that NP-complete problems are harder to work with than tasks equivalent to the halting problem. For the halting problem, you know you're never going to solve the general case. For NP-complete problems there's a slew of complex algorithms to explore.
May 22, 2021
21
The Nintendo Switch has a clever way of preventing firmware downgrades: upgrading the firmware blows an internal fuse! https://news.ycombinator.com/item?id=27202766 This means that the hardware knows a newer firmware exists.
May 20, 2021
1
Writing a REPL that evaluates-as-you-type, keeping the UI responsive and staying defensive against runaway memory usage: https://scattered-thoughts.net/writing/making-live-repls-behave/ It's a really hard problem for PLs, but even this small live demo has a lot of complexity.
Making live repls behave
May 19, 2021
An amazing font concept: adjusting letter size based on how you typed then!
Biometric Sans
Biometric Sans
May 19, 2021
3
The OCaml compiler saw a huge jump in contributors after moving to GitHub, and the effect has persisted. Source:
Photo
Analyzing contributions to the OCaml compiler and all opam packages
Analyzing contributions to the OCaml compiler and all opam packages
Hi there, I recently learned of fornalder, a tool that creates nice visualizations of contributions to open-source projects by analyzing commits to their git repositories (the author used it to analyze GNOME contributions). I decided to use it to study contributions to the OCaml implementation and OCaml open-source packages, results below. The OCaml compiler distribution This graph shows the “contributor cohorts” for the OCaml compiler over time. For example, the big dark-red bar that shows ...
May 16, 2021
256
This is really neat: an online collection of programs that can pass the type checker but fail at runtime, in a bunch of languages (Java, Scala, OCaml, Haskell, Rust): https://counterexamples.org/runtime-misinformation.html It also discusses the design tradeoffs that led to these behaviours.
Runtime type misinformation - Counterexamples in Type Systems
Showing 211-225 of 345 posts