corpus.blog
56,966 blogs · [ { "id": "01a08740-8002-7239-9f92-d352943e696d", "title": "A Paper a Decade #16: A simple, verified validator for software pipelining", "url": "https://bitsrc.org/blog/posts/a-paper-a-decade-validator-for-software-pipelining.html", "published_at": "2026-09-03T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d352948dd304", "title": "Compiler Jokes", "url": "https://bitsrc.org/blog/posts/compiler-jokes.html", "published_at": "2026-04-19T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d35295386059", "title": "Linux: The good, the bad and the ugly", "url": "https://bitsrc.org/blog/posts/linux-the-good-the-bad-and-the-ugly.html", "published_at": "2020-04-19T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529561a276", "title": "Automatic Org-Mode", "url": "https://bitsrc.org/blog/posts/organizing-notetaking.html", "published_at": "2020-04-16T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d352959ce90b", "title": "Analysing regexp with Golang", "url": "https://bitsrc.org/blog/posts/golang-regexp.html", "published_at": "2018-03-01T08:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d35295ec2891", "title": "More Turing Completeness, or: Somebody is wrong on the Internet", "url": "https://bitsrc.org/blog/posts/someone-is-wrong-on-the-internet.html", "published_at": "2016-11-23T08:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d35296539f06", "title": "Fun with Operator Overloading", "url": "https://bitsrc.org/blog/posts/operator-overloading.html", "published_at": "2016-10-14T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d35296b35f41", "title": "Completeness and decidability", "url": "https://bitsrc.org/blog/posts/completeness.html", "published_at": "2016-09-25T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529739bbd7", "title": "A Paper a Whatever #15: Keystroke Recognition Using WiFi Signals", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-keystroke-recognition-wifi.html", "published_at": "2016-09-03T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d35297425836", "title": "Turing Completeness", "url": "https://bitsrc.org/blog/posts/turing-complete.html", "published_at": "2016-08-27T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529782e742", "title": "A Paper a Week-ish #14: GraphLab: A New Framework for Parallel Machine Learning", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-graphlab-framework-parallel-machine-learning.html", "published_at": "2016-04-17T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d352985745c1", "title": "Using theorem proving to cheat in logic puzzles", "url": "https://bitsrc.org/blog/posts/theorem-proving-logic-puzzles.html", "published_at": "2016-04-03T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d35299138250", "title": "Theorem Proving in Haskell", "url": "https://bitsrc.org/blog/posts/theorem-proving-in-haskell.html", "published_at": "2015-12-02T08:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529968b605", "title": "A Paper a Week-ish #13: Propositions as Types", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-propositions-as-types.html", "published_at": "2015-10-09T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529a63e7b5", "title": "A Paper a Week-ish #12: Arithmetical Hierarchy and Complexity of Computation", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-arithmetical-hierarchy-and-complexity-of-computation.html", "published_at": "2015-08-19T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529aa015f4", "title": "A Paper a Week-ish #11: Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-brewers-conjecture.html", "published_at": "2015-07-19T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529ae16ce3", "title": "A Paper a Week-ish #10: In Search of an Understandable Consensus Algorithm", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-understandable-consensus.html", "published_at": "2015-07-06T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529b3612f7", "title": "A Paper a Week-ish #9: Two Simplified Algorithms for Maintaining Order in a List", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-algorithms-for-maintaining-order-in-a-list.html", "published_at": "2015-06-16T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529bc2310b", "title": "A Paper a Week-ish #8: Reflections on Trusting Trust", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-reflections-on-trusting-trust.html", "published_at": "2015-05-24T07:00:00+00:00" }, { "id": "01a08740-8002-7239-9f92-d3529c937935", "title": "A Paper a Week-ish #7: The Complexity of Theorem-Proving Procedures", "url": "https://bitsrc.org/blog/posts/a-paper-a-week-complexity-of-theorem-proving.html", "published_at": "2015-05-07T07:00:00+00:00" } ] posts Claim your blog
Back to bitsrc.org
Blog · corpus.blog/blogs/bitsrc.org/posts

bitsrc.org

bitsrc.org

2026

A Paper a Decade #16: A simple, verified validator for software pipeliningoriginal ↗
3 Sept 2026
Compiler Jokesoriginal ↗
19 Apr 2026

2020

Linux: The good, the bad and the uglyoriginal ↗
19 Apr 2020
Automatic Org-Modeoriginal ↗
16 Apr 2020

2018

Analysing regexp with Golangoriginal ↗
1 Mar 2018

2016

More Turing Completeness, or: Somebody is wrong on the Internetoriginal ↗
23 Nov 2016
Fun with Operator Overloadingoriginal ↗
14 Oct 2016
Completeness and decidabilityoriginal ↗
25 Sept 2016
A Paper a Whatever #15: Keystroke Recognition Using WiFi Signalsoriginal ↗
3 Sept 2016
Turing Completenessoriginal ↗
27 Aug 2016
A Paper a Week-ish #14: GraphLab: A New Framework for Parallel Machine Learningoriginal ↗
17 Apr 2016
Using theorem proving to cheat in logic puzzlesoriginal ↗
3 Apr 2016

2015

Theorem Proving in Haskelloriginal ↗
2 Dec 2015
A Paper a Week-ish #13: Propositions as Typesoriginal ↗
9 Oct 2015
A Paper a Week-ish #12: Arithmetical Hierarchy and Complexity of Computationoriginal ↗
19 Aug 2015
A Paper a Week-ish #11: Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Servicesoriginal ↗
19 Jul 2015
A Paper a Week-ish #10: In Search of an Understandable Consensus Algorithmoriginal ↗
6 Jul 2015
A Paper a Week-ish #9: Two Simplified Algorithms for Maintaining Order in a Listoriginal ↗
16 Jun 2015
A Paper a Week-ish #8: Reflections on Trusting Trustoriginal ↗
24 May 2015
A Paper a Week-ish #7: The Complexity of Theorem-Proving Proceduresoriginal ↗
7 May 2015