Hacker News: lgas

New comment by lgas in "An OpenAI model has disproved a central conjecture in discrete geometry"

lgas — Thu, 21 May 2026 19:01:52 +0000

This is likely true for the majority of humans too.

New comment by lgas in "Charity – Categorical programming language (1998)"

lgas — Sat, 16 May 2026 15:43:09 +0000

It looks like what you would get if python and ocaml had a baby.

New comment by lgas in "Cursor Camp"

lgas — Thu, 30 Apr 2026 14:45:28 +0000

Could just include the badge names both unencoded and encoded to get the best of both worlds.

New comment by lgas in "I still prefer MCP over skills"

lgas — Sat, 11 Apr 2026 02:32:39 +0000

I still prefer windshield wipers over turn signals.

New comment by lgas in "Process Manager for Autonomous AI Agents"

lgas — Thu, 09 Apr 2026 08:05:10 +0000

What is there not to understand? AI is booming right now. People are trying to get in on the gold rush and/or trying to sell pick axes to the miners. There is a ton of fertile ground for anyone that wants to try something, so it's being explored.

New comment by lgas in "Map Gesture Controls - Control maps with your hands"

lgas — Thu, 09 Apr 2026 05:29:21 +0000

Is there a demo somewhere? It seems like the perfect thing to put in the center of that page.

Edit: I found https://sanderdesnaijer.github.io/map-gesture-controls/examp...

New comment by lgas in "What does it mean to “write like you talk”?"

lgas — Thu, 09 Apr 2026 01:13:45 +0000

> I wonder if there’s a way to train that ability.

I have to imagine it comes down to study and practice, just like everything else.

New comment by lgas in "Why do Macs ask you to press random keys when connecting a new keyboard?"

lgas — Wed, 08 Apr 2026 22:43:27 +0000

Arbitrary and random are basically the same in this context. The person you're replying to is pointing out they are specific keys for specific reasons because those specific keys can be used to figure out which kind of keyboard it is, they are not random or arbitrary, they are chosen with a specific reason in mind. If they were really chosen arbitrarily, they would not be able to accomplish the goal.

New comment by lgas in "Good software knows when to stop"

lgas — Thu, 05 Mar 2026 20:38:26 +0000

If they did they learned writing from an LLM first.

New comment by lgas in "What AI coding costs you"

lgas — Sun, 01 Mar 2026 03:32:14 +0000

It seems to do this kind of stuff more when you're not looking too. Like I'll be approving edits all day without any problem then the second I set it to auto it gets a lint error about dead code and adds a pragma to allow the dead code instead of removing it, etc.

New comment by lgas in "The Om Programming Language"

lgas — Wed, 25 Feb 2026 23:08:38 +0000

Turned them into quotation marks?

New comment by lgas in "HackMyClaw"

lgas — Wed, 18 Feb 2026 15:13:21 +0000

Why do you keep referring to them as "inyections"?

New comment by lgas in "Visual introduction to PyTorch"

lgas — Tue, 17 Feb 2026 07:18:50 +0000

You can print to PDF from your browser. It ends up looking nice.

New comment by lgas in "Claude Opus 4.6"

lgas — Fri, 06 Feb 2026 15:44:06 +0000

Well, if there are papers that match your criteria, it's hallucinating the "no".

New comment by lgas in "Show HN: Webctl – Browser automation for agents based on CLI instead of MCP"

lgas — Thu, 15 Jan 2026 05:02:41 +0000

why would that matter?

New comment by lgas in "Embassy: Modern embedded framework, using Rust and async"

lgas — Fri, 09 Jan 2026 22:24:03 +0000

That's a software watchdog. The comment you're replying to is talking about hardware watchdogs.

New comment by lgas in "Go away Python"

lgas — Tue, 30 Dec 2025 14:32:51 +0000

What about it?

New comment by lgas in "Ruby 4.0.0"

lgas — Thu, 25 Dec 2025 16:56:00 +0000

> It’s not like Ruby becomes Haskell.

Well, maybe next time.

New comment by lgas in "Fabrice Bellard Releases MicroQuickJS"

lgas — Wed, 24 Dec 2025 20:10:19 +0000

To elaborate, the scheme spec requires tco.

New comment by lgas in "Show HN: LazyPromise = Observable – Signals"

lgas — Wed, 24 Dec 2025 19:31:28 +0000

Do you want monads? Because this is how you get monads.