corpus.blog
41554 blogs · [ { "id": "01a0bdf8-5342-7078-aabb-30391ed8d847", "title": "Can we afford cheap code?", "url": "https://rubber-duck-typing.com/posts/2026-09-16-throwaway-code.html", "published_at": "2026-09-15T22:00:00+00:00" }, { "id": "01a087d8-8c47-71ed-afcb-b9d616b0c6f5", "title": "AI could finally let us teach software engineering properly", "url": "https://rubber-duck-typing.com/posts/2026-08-11-ai-scales-assignments.html", "published_at": "2026-08-10T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd42d6e70", "title": "AI is finally killing IT education for good", "url": "https://rubber-duck-typing.com/posts/2026-08-08-ai-education-role.html", "published_at": "2026-08-07T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd471db29", "title": "Hierarchical multitarget error diagnostic system for ZKSync OS", "url": "https://rubber-duck-typing.com/posts/2026-06-22-zkos-error-definitions.html", "published_at": "2026-06-21T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd4c4820c", "title": "Vico, Descartes, and decay of knowledge in software.", "url": "https://rubber-duck-typing.com/posts/2026-05-24-vico-verum-factum-software.html", "published_at": "2026-05-23T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd59ac31d", "title": "What is it like to be a man but a bat?", "url": "https://rubber-duck-typing.com/posts/2026-03-23-like-batman.html", "published_at": "2026-03-22T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd5e8c161", "title": "How 4D objects found their way into system engineering", "url": "https://rubber-duck-typing.com/posts/2026-03-16-system-engineering-perdurantism.html", "published_at": "2026-03-15T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd6b9d27c", "title": "Challenges of specifying and compiling gas-fueled languages", "url": "https://rubber-duck-typing.com/posts/2026-03-14-compiler-correctness-gas-challenge.html", "published_at": "2026-03-13T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd706afe2", "title": "Argument from recollection in Phaedo is self-illustratory", "url": "https://rubber-duck-typing.com/posts/2025-12-14-plato-clever-reflexivity.html", "published_at": "2025-12-17T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd73c1452", "title": "Compiler correctness", "url": "https://rubber-duck-typing.com/posts/2024-09-20-bugs-in-compilers.html", "published_at": "2024-09-18T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd7f9f10d", "title": "My note-taking process", "url": "https://rubber-duck-typing.com/posts/2023-01-19-note-taking.html", "published_at": "2023-01-18T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd86a6e5a", "title": "Programming languages and computer systems (1)", "url": "https://rubber-duck-typing.com/posts/2022-07-26-systems-1.html", "published_at": "2022-07-25T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd91280cc", "title": "Job offers [RnD, compilers, PLT, systems] are welcome", "url": "https://rubber-duck-typing.com/posts/2022-03-22-job.html", "published_at": "2022-03-21T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dd99ac0b6", "title": "When functions dissolve", "url": "https://rubber-duck-typing.com/posts/2020-12-12-when-functions-dissolve.html", "published_at": "2020-12-11T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dda67cbf5", "title": "Writing essays", "url": "https://rubber-duck-typing.com/posts/2018-09-06-writing-essays.html", "published_at": "2018-09-15T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddb1bebd3", "title": "Variance in programming languages", "url": "https://rubber-duck-typing.com/posts/2018-05-01-variance-in-programming-languages.html", "published_at": "2018-04-30T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddb7818fd", "title": "Advice for programming students", "url": "https://rubber-duck-typing.com/posts/2018-03-17-advice-for-programming-students.html", "published_at": "2018-03-16T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddbbf53a4", "title": "Why every programming student should learn Coq", "url": "https://rubber-duck-typing.com/posts/2018-03-11-why-every-programming-student-should-learn-coq.html", "published_at": "2018-03-10T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddc2d4fc5", "title": "Putting a bigger sphere inside a smaller one", "url": "https://rubber-duck-typing.com/posts/2018-01-21-bigger-sphere-inside-smaller-sphere.html", "published_at": "2018-01-20T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddc995242", "title": "Memory in CompCert: overview", "url": "https://rubber-duck-typing.com/posts/2018-01-17-memory-in-compcert.html", "published_at": "2018-01-16T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddd57d270", "title": "A beautiful intuition on associativity", "url": "https://rubber-duck-typing.com/posts/2018-01-13-associativity-intuition.html", "published_at": "2018-01-12T23:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dde15b39d", "title": "On teaching programmers and mathematicians", "url": "https://rubber-duck-typing.com/posts/2017-10-27-on-teaching.html", "published_at": "2017-10-26T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dde21f93e", "title": "Impressions of René Magritte", "url": "https://rubber-duck-typing.com/posts/2017-07-18-rene-magritte.html", "published_at": "2017-07-17T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1dde77aba4", "title": "The virtues of using goto", "url": "https://rubber-duck-typing.com/posts/2017-04-26-goto-the-marvelous.html", "published_at": "2017-04-25T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddf43dc12", "title": "Proving dependent equalities in Coq with SSReflect", "url": "https://rubber-duck-typing.com/posts/2016-07-29-proving-dependent-equalities-coq.html", "published_at": "2016-07-28T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1ddfb90ffa", "title": "Causation in modern philosophy of science", "url": "https://rubber-duck-typing.com/posts/2016-07-16-causation-overview.html", "published_at": "2016-07-15T22:00:00+00:00" }, { "id": "01a087d8-8c48-7214-92ae-fc1de09a2dcb", "title": "Proving type inequalities in Coq", "url": "https://rubber-duck-typing.com/posts/2016-05-29-how-to-prove-type-inequalities-coq.html", "published_at": "2016-05-28T22:00:00+00:00" } ] posts Claim your blog
Back to rubber-duck-typing.com
Blog · corpus.blog/blogs/rubber-duck-typing.com/posts

rubber-duck-typing.com

rubber-duck-typing.com

2026

Can we afford cheap code?original ↗
15 Sept 2026
AI could finally let us teach software engineering properlyoriginal ↗
10 Aug 2026
AI is finally killing IT education for goodoriginal ↗
7 Aug 2026
Hierarchical multitarget error diagnostic system for ZKSync OSoriginal ↗
21 Jun 2026
Vico, Descartes, and decay of knowledge in software.original ↗
23 May 2026
What is it like to be a man but a bat?original ↗
22 Mar 2026
How 4D objects found their way into system engineeringoriginal ↗
15 Mar 2026
Challenges of specifying and compiling gas-fueled languagesoriginal ↗
13 Mar 2026

2025

Argument from recollection in Phaedo is self-illustratoryoriginal ↗
17 Dec 2025

2024

Compiler correctnessoriginal ↗
18 Sept 2024

2023

My note-taking processoriginal ↗
18 Jan 2023

2022

Programming languages and computer systems (1)original ↗
25 Jul 2022
Job offers [RnD, compilers, PLT, systems] are welcomeoriginal ↗
21 Mar 2022

2020

When functions dissolveoriginal ↗
11 Dec 2020

2018

Writing essaysoriginal ↗
15 Sept 2018
Variance in programming languagesoriginal ↗
30 Apr 2018
Advice for programming studentsoriginal ↗
16 Mar 2018
Why every programming student should learn Coqoriginal ↗
10 Mar 2018
Putting a bigger sphere inside a smaller oneoriginal ↗
20 Jan 2018
Memory in CompCert: overvieworiginal ↗
16 Jan 2018
A beautiful intuition on associativityoriginal ↗
12 Jan 2018

2017

On teaching programmers and mathematiciansoriginal ↗
26 Oct 2017
Impressions of René Magritteoriginal ↗
17 Jul 2017
The virtues of using gotooriginal ↗
25 Apr 2017

2016

Proving dependent equalities in Coq with SSReflectoriginal ↗
28 Jul 2016
Causation in modern philosophy of scienceoriginal ↗
15 Jul 2016
Proving type inequalities in Coqoriginal ↗
28 May 2016