Blog · corpus.blog/blogs/logicgrimoire.wordpress.com/posts
logicgrimoire.wordpress.com
logicgrimoire.wordpress.com
2026
DESIGNING INTEROPERABLE DATA STRUCTURES FOR SCHEME, PROVER, AND A POTENTIAL FUTURE COMPUTER ALGEBRA SYSTEMoriginal ↗
14 Aug 2026
22 Jul 2026
12 Jul 2026
20 Jun 2026
30 May 2026
19 May 2026
27 Jan 2026
24 Jan 2026
4 Jan 2026
2025
13 Nov 2025
28 Oct 2025
15 Sept 2025
2024
Emacs opinion: you don’t need an “API”, you don’t need to “advise ” anything, just edit the codeoriginal ↗
15 Jun 2024
2023
11 Nov 2023
27 Oct 2023
21 Oct 2023
18 Oct 2023
20 Apr 2023
16 Apr 2023
6 Feb 2023
1 Jan 2023
2022
25 Nov 2022
18 Nov 2022
16 Nov 2022
16 Nov 2022
11 Nov 2022
2021
2020
4 Jan 2020
2019
25 Dec 2019
14 Dec 2019
9 Aug 2019
2018
13 Nov 2018
27 Apr 2018
7 Apr 2018
1 Apr 2018
24 Feb 2018
2017
2 Dec 2017
2 Dec 2017
16 Jul 2017
20 Feb 2017
2016
17 Dec 2016