Hacker News: akkad33

New comment by akkad33 in "Lisette a little language inspired by Rust that compiles to Go"

akkad33 — Sun, 05 Apr 2026 09:01:16 +0000

You can use Ocaml today and achieve all the correctness

New comment by akkad33 in "Rob Pike’s Rules of Programming (1989)"

akkad33 — Wed, 18 Mar 2026 17:57:59 +0000

But good data structure is not always evident from the get go. And if your types are too specific it would make future development hard if the specs change. This is what I struggle with

New comment by akkad33 in "Lf-lean: The frontier of verified software engineering"

akkad33 — Thu, 12 Mar 2026 19:36:02 +0000

This website is asking me for permissions on my phone. Why?

New comment by akkad33 in "How will OpenAI compete?"

akkad33 — Thu, 26 Feb 2026 06:13:38 +0000

Google translate was not very good, it didn't get context. Deepl was better

New comment by akkad33 in "How will OpenAI compete?"

akkad33 — Thu, 26 Feb 2026 06:07:21 +0000

And many people don't know what Google stands for. Just like they probably didn't care what AOL stands for, or MSN

New comment by akkad33 in "How will OpenAI compete?"

akkad33 — Thu, 26 Feb 2026 06:03:24 +0000

I have started using chatgpt for everything from financial planning to holiday planning to product purchase. Whenever I think I hit something useful I add it to memory. I'm a "go" plan user because they had a promotional offer that gave me free access to the plan for a year. Will I continue after one year? Truth is nothing I have in chatgpt cannot be recreated elsewhere. But if I care about keeping those memories I might. I think the real challenge for me now is finding back out conversations, it seems their history search is quite bad.

New comment by akkad33 in "Poison Fountain"

akkad33 — Sat, 24 Jan 2026 13:13:48 +0000

I don't think that would stop people

New comment by akkad33 in "'The old order is not coming back,' Carney says in speech at Davos"

akkad33 — Wed, 21 Jan 2026 15:40:40 +0000

Are you talking about Macron?

New comment by akkad33 in "The Gleam Programming Language"

akkad33 — Tue, 20 Jan 2026 12:23:18 +0000

It didn't say BLM supporter. It says black lives matter. If you take offence to that, that's a you problem

New comment by akkad33 in "The Gleam Programming Language"

akkad33 — Tue, 20 Jan 2026 12:19:29 +0000

How is it hosted if you don't mind saying

New comment by akkad33 in "The Gleam Programming Language"

akkad33 — Tue, 20 Jan 2026 12:18:36 +0000

Wake up and smell the coffee: fsharp is dead. Look at the release notes of fsharp. It's laughable for a major version update. It's maintained by like 5 people working in eastern Europe and they only do maintenance updates basically. C# is getting all its features and DotNet is basically c# oriented anyway. So even in the past you had to learn C# to program in F#

New comment by akkad33 in "Dead Internet Theory"

akkad33 — Mon, 19 Jan 2026 06:24:47 +0000

What's wrong with using AI to write code?

New comment by akkad33 in "Don't fall into the anti-AI hype"

akkad33 — Thu, 15 Jan 2026 22:34:36 +0000

That's not my point. My point is it's unreliable at best.

> strikes me that if you developed your skill set around using AI more effectively, you could have both developed a deep understanding and gotten what you wanted, and done it in less time and at higher quality than you could have done solo.

Why is this a given? I don't think there's a secret incantation that could have gotten better results. It's an inherent limitations of the system. If you have resources for me to learn I'm open to discover

New comment by akkad33 in "Don't fall into the anti-AI hype"

akkad33 — Mon, 12 Jan 2026 02:17:29 +0000

There's no skill in using AI. I spent 3 hours trying to build something like a table visualiser that creates a visualization of SQL schema relationship. I wrote simple prompts, tailored them using LLMs and fed them back into another LLM. Went on about 2 hours iterating on outputs until it looked like what I want. Result? It produces an output. The outputs worked well for most part but the results were variable. The arrows would sometimes not be in place. Sometimes you get 100 instead of 1. It was slow. And what I did learn from this that I didn't already know? Zero! On the other hand if I'd tried to figure out myself how to do it, I would have built something not only deterministic and faster , but I'd have gained some new experience and skills along with it of solving a problem.

New comment by akkad33 in "Poison Fountain"

akkad33 — Sun, 11 Jan 2026 19:40:03 +0000

Couldn't this backfire if they put LLMs on safety critical data. Or even if someone asks LLms for medical advice and dies?

New comment by akkad33 in "How wolves became dogs"

akkad33 — Fri, 09 Jan 2026 20:15:56 +0000

Why do they kill animals for fur? Could they not shave them? (I realise my question sounds dumb)

New comment by akkad33 in "How wolves became dogs"

akkad33 — Fri, 09 Jan 2026 20:13:03 +0000

I don't really understand this comment. Are you saying dogs made way for nuclear families? Why would it be impossible? In India for example pet ownership is very low. Much lower than prevalence of nuclear families

New comment by akkad33 in "How wolves became dogs"

akkad33 — Fri, 09 Jan 2026 20:10:05 +0000

There's no evidence that Toxoplasmosis has that effect on humans

New comment by akkad33 in "How wolves became dogs"

akkad33 — Fri, 09 Jan 2026 20:08:55 +0000

I don't know to what extent cost is stopping people from having kids. Many poor people have kids. And then they struggle to raise them.

New comment by akkad33 in "2025 was a disaster for Windows 11"

akkad33 — Wed, 31 Dec 2025 19:27:17 +0000

Last year I moved to fedora because tired of adware and forced updates on Windows