Hacker News: bobogei81123

New comment by bobogei81123 in "Algebraic Effects for the Rest of Us"

bobogei81123 — Sat, 30 May 2026 10:45:23 +0000

When I started a typescript server project, I spent quite some time - setting up dependency injection framework to pass context (tsyringe) - finding a good schema validation library (zod) - use neverthrow for typed error. - wrote a few withSpan, recordDuration OTEL helper functions.

Then I heard about Effect-ts, checked the doc, and realize that Effect-ts already has all these things, in a single package.

IMO Effect-ts is currently the most practical effect system right now. While it does not support resuming like in other algebraic effect languages, it is powerful enough to express common patters, but not too powerful so that the code becomes hard to understand.

I hope effect-ts gets more traction. The biggest obstacle to sell it right now is that the API doc is not great. I had to trace the source code several times just to see how a type is defined. I hope Effect-ts team is aware that more people will use it if it has a proper documentation.

New comment by bobogei81123 in "LLMs are mortally terrified of exceptions"

bobogei81123 — Thu, 09 Oct 2025 19:46:50 +0000

This is just AI trying to tell us how bad we designed our programming languages to be when exceptions can be thrown pretty much anywhere

New comment by bobogei81123 in "After AI beat them, professional Go players got better and more creative"

bobogei81123 — Mon, 08 Apr 2024 23:53:44 +0000

Back when I was a kid learning go, I was taught that the kick joseki (a standard sequence of moves, similar to chess opening) [1] is a bad move, and you were considered trolling (and the teacher would not be pleased) if you played a 3-3 invasion [2] during the opening phase. These are all vindicated thanks to the AI and played pretty commonly nowadays. AI definitely helped eliminate many dogma and myths in go.

[1] https://senseis.xmp.net/?44PointLowApproach#toc6

[2] https://senseis.xmp.net/?33PointInvasion#toc2

Puzzle Challenge: Can you solve these simple puzzles that GPT-4 failed at?

bobogei81123 — Thu, 01 Jun 2023 02:55:31 +0000

Article URL: https://gptquiz.fly.dev/

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

Points: 2

# Comments: 0

New comment by bobogei81123 in "Ligatures in programming fonts: hell no (2019)"

bobogei81123 — Sat, 13 May 2023 08:05:46 +0000

> “What do you mean, it’s not a matter of taste? I like using ligatures when I code.” Great! In so many ways, I don’t care what you do in private. Although I predict you will eventually burn yourself on this hot mess...

I've been using programming fonts with ligatures for years. I had wasted several hours because of those stupid bugs when I mixed up O and 0, - and _, but ligatures never caused me any problem. It is obvious when they are there, and you rarely see non-ascii characters when programming (unless you are writing Lean).

New comment by bobogei81123 in "There’s more than one way to write an IP address (2019)"

bobogei81123 — Fri, 28 Apr 2023 18:50:42 +0000

I thought the article will mention ①②⑦.⓪.⓪.①

$ ping ①②⑦.⓪.⓪.① PING 127.0.0.1 (127.0.0.1) 56(84) bytes of data.

New comment by bobogei81123 in "The Counterintuitive Physics of Turning a Bike (2015) [video]"

bobogei81123 — Sun, 05 Mar 2023 22:20:36 +0000

And not understanding that can have fatal consequences: https://youtu.be/VVE79XT8-Mg

New comment by bobogei81123 in "Riot Games: Artificial Latency for Remote Competitors"

bobogei81123 — Tue, 17 May 2022 18:47:47 +0000

My guess is that they did not add in the client delay.

New comment by bobogei81123 in "The Awful German Language (1880)"

bobogei81123 — Sat, 06 Oct 2018 04:10:54 +0000

If someone is creating a new language now, that is a concept that would definitely not be included.