New comment by lucascdotnet in "Ghostty is leaving GitHub"

lucascdotnet — Wed, 29 Apr 2026 09:11:31 +0000

First time I've heard Redmond used as a metonym for Microsoft

New comment by lucascdotnet in "Implementing Logic Programming"

lucascdotnet — Sun, 15 Jun 2025 12:59:14 +0000

Not sure if this is what you mean, but 'inductive logic programming' and more generally 'program synthesis' are fairly active research areas.