BFdes
Re:GitHub CLI 1.0
on Thursday September 17, 2020 @03:33PM (#24508944)
I think the creator of Hub works for GitHub, possibly on the CLI IIRC.
Re:Into the Personal-Website-Verse (2019)
on Monday January 27, 2020 @08:02AM (#22158856)
I blog at https://bfdes.in/posts. Not too many articles, and most are about niche topics.
It’s a React SSR site, and the posts are bundled into the code when the server starts up. Markup is Jekyll compatible. More details here: https://github.com/bfdes/bfdes.in.
Re:Finding Property Tests (2019)
on Tuesday January 21, 2020 @03:26AM (#22105208)
I think it is a trade off between being accurate with language and engaging the reader. If we were being accurate we would need to say that random sampling is only necessary if the domain is infinitely sized or very large.
I had a this problem when writing a very similar blog post.
Show HN: Combinatorial Optimization in Modern Warfare Gunsmith
Re:Linux touchpad like a Macbook: progress and a call for help
on Monday March 25, 2019 @03:11PM (#19485739)
Is your username a reference to the ship in Halo?