Hacker News: akritid

New comment by akritid in "Odin, Wikipedia and engagement farming"

akritid — Sat, 04 Jul 2026 07:47:16 +0000

And it’s also a reinvention of Corrado Bohm’s P’’ which is even more seminal

New comment by akritid in "A native graphical shell for SSH"

akritid — Tue, 30 Jun 2026 12:14:42 +0000

Up to Gtk2 is still good

New comment by akritid in "DeepSeek makes the V4 Pro price discount permanent"

akritid — Sat, 23 May 2026 15:29:44 +0000

You can take Codex today and ask it to rewrite itself to work with any API

New comment by akritid in "Amsterdam Compiler Kit"

akritid — Sat, 14 Feb 2026 18:15:30 +0000

Renamed from Free University Compiler Kit

New comment by akritid in "Tiny C Compiler"

akritid — Sun, 08 Feb 2026 02:45:19 +0000

You probably remember cint

New comment by akritid in "My Gripes with Prolog"

akritid — Fri, 16 Jan 2026 02:14:01 +0000

This datalog implementation uses prolog syntax, can even run the queries in prolog to contrast the model: https://des.sourceforge.io/

New comment by akritid in "Show HN: A fast, dependency-free traceroute implementation in pure C"

akritid — Fri, 31 Oct 2025 10:53:22 +0000

If FSF trained a net on all the code that has Copyright assigned to FSF, could it be used to ethically vibe code free software retaining the same Copyright and license? Perhaps even pointing to a file on fsf.org with all the author's names?

New comment by akritid in "A love letter to the CSV format"

akritid — Thu, 27 Mar 2025 04:25:23 +0000

The practical solution is to generate several CSV files and distribute work at the granularity of files

New comment by akritid in "The Simplicity of Prolog"

akritid — Mon, 27 Jan 2025 10:09:38 +0000

I have found two somewhat usable (your point still stands): soufflé (high performance but more limited) and DES, which works well for some simple personal data management, after some code massage (it’s written in Prolog). Any other recommendations? And since the prolog experts are here: what do you think about Ciao? Seems quite polished but also adventurous to (non-expert) me

New comment by akritid in "Ask HN: Programmers who don't use autocomplete/LSP, how do you do it?"

akritid — Tue, 24 Dec 2024 09:27:38 +0000

Not using LSP does not mean not compiling/running. Using an LSP should not qualify you to commit without compiling or running either!

New comment by akritid in "Ubuntu Hoping to Remove Qt 5 Before Ubuntu 26.04 LTS"

akritid — Sun, 03 Nov 2024 11:07:04 +0000

So there must be at least three of us. Hi!

New comment by akritid in "Why Haskell?"

akritid — Fri, 13 Sep 2024 00:08:39 +0000

Good point. In such case I would probably consider leaving the signature as is, even after tightening, and possibly offer a function with stricter signature for new code to use while deprecating the older variant. This would inform the users without rug pulling.

New comment by akritid in "Why Haskell?"

akritid — Thu, 12 Sep 2024 13:06:27 +0000

This came to mind while considering your interesting point: After such a change, wouldn’t you feel the urge to inspect all users of the stricter return type and remove unnecessary handling of a potential null return?

New comment by akritid in "Greppability is an underrated code metric"

akritid — Tue, 03 Sep 2024 07:55:59 +0000

Looks fine (subjective) and there is also ctags

New comment by akritid in "Plan 9 is a uniquely complete operating system"

akritid — Thu, 01 Aug 2024 03:02:08 +0000

I suspect you would have to port Go to run on Dis, the VM. C is for the OS. It’s a different design, without mmu. Plan 9 is still a classic OS with hardware isolation

New comment by akritid in "Plan 9 is a uniquely complete operating system"

akritid — Sun, 28 Jul 2024 07:31:44 +0000

It is a personal choice of course, but some people enjoy the feeling of fully learning a piece of software, which is impossible with most.

New comment by akritid in "Plan 9 is a uniquely complete operating system"

akritid — Sun, 28 Jul 2024 07:12:27 +0000

Inferno is not a successor. For example you can have Golang for Plan 9 but doesn’t make much sense on Inferno. You would even run Inferno on Plan 9 on some scenarios. I suspect most people who know about Plan 9 also know about Inferno, but it’s just a different thing, does not supersede it in general.

New comment by akritid in "Ada 95: The Craft of Object-Oriented Programming"

akritid — Sat, 02 Mar 2024 07:20:37 +0000

The explicitly specialised generic packages are nice too

New comment by akritid in "Serving my blog posts as Linux manual pages"

akritid — Fri, 01 Mar 2024 03:27:40 +0000

With some plumbing, it should be possible to follow links: match the URL with regex using the terminal and launch the link target in a new window.

New comment by akritid in "Stem, a stack-based language with metaprogramming and a C FLI"

akritid — Sat, 27 Jan 2024 09:24:45 +0000

I think they are not ordinary words that consume arguments directly from the stack. They also need to look ahead in the input stream of tokens. With support for quoted code, there seems to be no need for any other words operating at the token stream level, like conditionals and def. They just need to consume the stack. I am still digesting this so happy to be corrected.