corpus.blog
41554 blogs · [ { "id": "01a08c66-63b2-73ff-87da-3fdd4c614cdf", "title": "Extracting a Formal Semantics with AI Agents", "url": "https://zaliva.org/blog/2026/06/semantics-extraction.html", "published_at": "2026-06-12T00:00:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd4d0f024c", "title": "Why Forcing Users to Change Passwords Is Bad for Security", "url": "https://zaliva.org/blog/2026/04/why-forcing-users-to-change-passwords-is-bad-for-security.html", "published_at": "2026-04-28T00:00:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd4d60dbb5", "title": "Killing Voicemail with Twilio: A Simple Setup for People Who Hate Voicemail", "url": "https://zaliva.org/blog/2025/12/killing-voicemail-with-twilio-simple.html", "published_at": "2025-12-04T18:45:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd4e391606", "title": "Essence and Accidents of AI-Generated Proofs", "url": "https://zaliva.org/blog/2025/11/essence-and-accidents-of-ai-generated.html", "published_at": "2025-11-28T19:46:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd4eec9043", "title": "Evolution email setup for Tufts.edu", "url": "https://zaliva.org/blog/2025/03/evolution-email-setup-for-tuftsedu.html", "published_at": "2025-03-26T18:28:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd4f86e7be", "title": "Computer Archeology: UMT (Ultimate Mail Tool)", "url": "https://zaliva.org/blog/2023/02/computer-archeology-umt-ultimate-mail.html", "published_at": "2023-02-22T21:54:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5032fb4d", "title": "Importing mail from Google Takeout into another Gmail account", "url": "https://zaliva.org/blog/2021/03/importing-mail-from-google-takout-into.html", "published_at": "2021-03-12T21:59:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd50c015ca", "title": "My computer setup", "url": "https://zaliva.org/blog/2020/10/my-computer-setup.html", "published_at": "2020-10-20T20:39:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd51ac96f8", "title": "Switching between 3 languages with i3", "url": "https://zaliva.org/blog/2019/02/three-language-switching-with-i3.html", "published_at": "2019-02-06T22:21:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5208f000", "title": "Keyboard layout indicator for i3 with i3status", "url": "https://zaliva.org/blog/2019/02/keyboard-layout-indicator-for-i3-with.html", "published_at": "2019-02-06T19:13:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd52491253", "title": "Dell XPS-13 Touchpad problem (analysis and solution)", "url": "https://zaliva.org/blog/2019/01/dell-xps-13-touchpad-problem-analysis.html", "published_at": "2019-01-31T21:30:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5280a2f9", "title": "The brave new world of computational photography, or why cell phones are killing SLRs", "url": "https://zaliva.org/blog/2018/11/the-brave-new-world-of-computations.html", "published_at": "2018-11-03T23:40:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd52e5cb67", "title": "Writer comonad in Coq", "url": "https://zaliva.org/blog/2017/03/wrtier-comonad-in-coq.html", "published_at": "2017-03-09T19:24:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd53c00040", "title": "Writer comonad in Haskell", "url": "https://zaliva.org/blog/2017/03/writer-comonad-in-haskell.html", "published_at": "2017-03-08T22:26:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5404ae07", "title": "Switching between 3 languages in Ubuntu", "url": "https://zaliva.org/blog/2017/01/switching-between-3-languages-in-ubuntu.html", "published_at": "2017-01-14T01:28:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd540e7118", "title": "BitBucket Git checkout over SSH with multiple accounts", "url": "https://zaliva.org/blog/2016/11/bitbucket-git-checkout-over-ssh-with.html", "published_at": "2016-11-02T18:48:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd54f1a19f", "title": "Pokemon Go circa 2012", "url": "https://zaliva.org/blog/2016/07/pokemon-go-circa-2012.html", "published_at": "2016-07-13T21:09:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5505c0a2", "title": "State Monad in Coq Tutorial", "url": "https://zaliva.org/blog/2016/02/state-monad-in-coq-tutorial.html", "published_at": "2016-02-06T17:57:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd55c85898", "title": "Auqamacs, Proof General and company-coq", "url": "https://zaliva.org/blog/2016/02/auqamacs-proof-general-and-company-coq.html", "published_at": "2016-02-04T16:57:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd56a7d78e", "title": "Augmented reality whiteboard", "url": "https://zaliva.org/blog/2015/10/augmented-reality-whiteboard.html", "published_at": "2015-10-25T18:31:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd57092f8a", "title": "ranting on Android Permissions", "url": "https://zaliva.org/blog/2015/09/ranting-on-android-permissions.html", "published_at": "2015-09-21T19:22:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd572e7add", "title": "Pebble Chaser watch face concept", "url": "https://zaliva.org/blog/2015/07/pebble-chaser-watch-face-concept.html", "published_at": "2015-07-12T22:38:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd57815447", "title": "smart watches", "url": "https://zaliva.org/blog/2015/04/smart-watches.html", "published_at": "2015-04-13T21:05:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd583b72a3", "title": "Underground dead reckoning", "url": "https://zaliva.org/blog/2015/02/underground-dead-reckoning.html", "published_at": "2015-02-12T18:41:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd58eedd49", "title": "Digital Signature (sort of)", "url": "https://zaliva.org/blog/2015/02/digital-signature-sort-of.html", "published_at": "2015-02-10T22:18:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5947a294", "title": "Driving directions", "url": "https://zaliva.org/blog/2015/02/driving-directions.html", "published_at": "2015-02-09T20:54:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd59aff248", "title": "Laptop power connectors", "url": "https://zaliva.org/blog/2014/12/laptop-power-connectors.html", "published_at": "2014-12-26T06:01:00+00:00" }, { "id": "01a08c66-63b2-73ff-87da-3fdd5a6c1180", "title": "Welcome To Files", "url": "https://zaliva.org/blog/2014/12/welcome-to-files.html", "published_at": "2014-12-15T06:47:00+00:00" } ] posts Claim your blog
Back to zaliva.org
Blog · corpus.blog/blogs/zaliva.org/posts

zaliva.org

zaliva.org

2026

Extracting a Formal Semantics with AI Agentsoriginal ↗
12 Jun 2026
Why Forcing Users to Change Passwords Is Bad for Securityoriginal ↗
28 Apr 2026

2025

Killing Voicemail with Twilio: A Simple Setup for People Who Hate Voicemailoriginal ↗
4 Dec 2025
Essence and Accidents of AI-Generated Proofsoriginal ↗
28 Nov 2025
Evolution email setup for Tufts.eduoriginal ↗
26 Mar 2025

2023

Computer Archeology: UMT (Ultimate Mail Tool)original ↗
22 Feb 2023

2021

Importing mail from Google Takeout into another Gmail accountoriginal ↗
12 Mar 2021

2020

My computer setuporiginal ↗
20 Oct 2020

2019

Switching between 3 languages with i3original ↗
6 Feb 2019
Keyboard layout indicator for i3 with i3statusoriginal ↗
6 Feb 2019
Dell XPS-13 Touchpad problem (analysis and solution)original ↗
31 Jan 2019

2018

The brave new world of computational photography, or why cell phones are killing SLRsoriginal ↗
3 Nov 2018

2017

Writer comonad in Coqoriginal ↗
9 Mar 2017
Writer comonad in Haskelloriginal ↗
8 Mar 2017
Switching between 3 languages in Ubuntuoriginal ↗
14 Jan 2017

2016

BitBucket Git checkout over SSH with multiple accountsoriginal ↗
2 Nov 2016
Pokemon Go circa 2012original ↗
13 Jul 2016
State Monad in Coq Tutorialoriginal ↗
6 Feb 2016
Auqamacs, Proof General and company-coqoriginal ↗
4 Feb 2016

2015

Augmented reality whiteboardoriginal ↗
25 Oct 2015
ranting on Android Permissionsoriginal ↗
21 Sept 2015
Pebble Chaser watch face conceptoriginal ↗
12 Jul 2015
smart watchesoriginal ↗
13 Apr 2015
Underground dead reckoningoriginal ↗
12 Feb 2015
Digital Signature (sort of)original ↗
10 Feb 2015
Driving directionsoriginal ↗
9 Feb 2015

2014

Laptop power connectorsoriginal ↗
26 Dec 2014
Welcome To Filesoriginal ↗
15 Dec 2014