Hacker News: dolia

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers

dolia — Mon, 15 Jun 2026 16:11:58 +0000

Article URL: https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1003&context=eecs_theses

Comments URL: https://news.ycombinator.com/item?id=48543411

Points: 5

# Comments: 0

New comment by dolia in "What happened to nerds?"

dolia — Mon, 15 Jun 2026 09:10:38 +0000

I feel that too many people are confusing arguments they agree with with logical arguments. Most of people, when they claim that something is rational or logical, actually mean that it's a position that they agree with.

I have no reason to believe that back in the day when internet was only for nerds the situation was different.

New comment by dolia in "Ask HN: High school student – is learning programming still worthwhile?"

dolia — Fri, 05 Jun 2026 11:24:29 +0000

Learning to code just for fun is fun.

Learning to code just so you understand better the AI output makes sense.

Learning to code and making it your profession - I think times are really hard for juniors now. The bar will be high, especially considering systems thinking and general intelligence. Coding for work is not as much fun. Herding a bunch of LLM tools and trying to force them to make something you need is arguably not fun.

For what it's worth, I don't think those good old times of high salaries and relaxed work for developers will ever come back.

New comment by dolia in "21,864 Yugoslavian .yu domains"

dolia — Fri, 27 Mar 2026 08:52:10 +0000

Just out of interest, are you coming from the area?

New comment by dolia in "OpenClaw (ClawdBot) joins OpenAI"

dolia — Mon, 16 Feb 2026 10:14:45 +0000

So the value it is producing is for you as the service provider on the hype. If the whole notion of "I set up a service because there was so much demand form friends" is even to be believed nowadays...

New comment by dolia in "OpenClaw (ClawdBot) joins OpenAI"

dolia — Mon, 16 Feb 2026 10:11:49 +0000

You think he implemented those thousands of integrations himself? Or maybe some particular tool was used that can be used again for implementing such things? Particular tool that so many of us use as well?

New comment by dolia in "Ask HN: What are you working on? (February 2026)"

dolia — Fri, 13 Feb 2026 11:21:11 +0000

Lurkkit seems very nice!

New comment by dolia in "Ask HN: What are you working on? (February 2026)"

dolia — Mon, 09 Feb 2026 14:36:42 +0000

Please, tell more?

New comment by dolia in "During Helene, I just wanted a plain text website"

dolia — Mon, 05 Jan 2026 10:55:55 +0000

Few reasons:

1. Habit. We're used to use Telegram for everything: news sources, social network, messaging, memes. Telegram has more capabilities than other apps. You can't realistically move your family and friends to another messaging app because of all of that and the network effect.

2. General attitude of all people towards privacy and sharing data: they don't really care. It's "Who would even care about my data?" and "I've got nothing to hide" all the way.

I doubt most of people ever thought about the topic of trusting a messaging app. It's not the framework they operate in.

There are two global psyops done by I don't know who:

1. That Bitcoin is safe and anonymous.

2. That Telegram is super safe for whatever shady or private stuff you want to do.

One of the best marketing campaigns ever.

I would also want to use this chance to alert everyone who uses Telegram that:

1. It's not e2e by default.

2. They use proprietary encryption protocol. You don't have access to code.

3. I don't think Telegram is profitable, I don't know how it can be with that scale. Which makes you wonder.

4. If you open in-message links, you have a chance of losing your account to hackers thanks to the old vulnerability that hasn't been fixed for years. You literally have to check the list of devices connected to your account every 12 hours if you want to be safe.

New comment by dolia in "Ask HN: What Are You Working On? (December 2025)"

dolia — Thu, 11 Dec 2025 16:55:50 +0000

Oh man, this is my jam. I remember seeing this kind of puzzles in a Martin Gardner's book. Thank you :)

New comment by dolia in "Pascaline: Pascal's 1630 Mechanical Calculator"

dolia — Fri, 24 Oct 2025 14:42:39 +0000

What an achievement.

New comment by dolia in "Ask HN: What are you working on? (September 2025)"

dolia — Sat, 04 Oct 2025 12:22:39 +0000

Thank you for showing this. I am slowly working on a book with a similar goal as yours. Your book is very interesting and inspiring. Your work might have gone unnoticed by most, but not by me. Big respect for sticking to it and not giving up.

Show HN: "The Roots of Lisp" Interpreter

dolia — Sat, 18 Jun 2022 08:19:05 +0000

This is the Lisp interpreter in Typescript, as described in "The Roots of Lisp" article.

Comments URL: https://news.ycombinator.com/item?id=31788130

Points: 2

# Comments: 0