Hacker News: igravious

New comment by igravious in "Starfling: A one-tap endless orbital slingshot game in a single HTML file"

igravious — Sat, 11 Apr 2026 14:51:58 +0000

Tampermokey userscript -- to launch and restart to give up

```javascript

   // ==UserScript==
   // @name         StarFling Spacebar
   // @namespace    https://playstarfling.com/
   // @version      2026-04-11
   // @description  Spacebar to launch and restart StarFling
   // @author       Claude Code
   // @match        https://playstarfling.com/*
   // @icon         https://www.google.com/s2/favicons?sz=64&domain=playstarfling.com
   // @grant        none
   // @run-at       document-idle
   // ==/UserScript==

   (function () {
     'use strict';

     document.addEventListener('keydown', function (e) {
       if (e.code === 'Escape') {
         e.preventDefault();
         // During play, click give-up to trigger the death/restart screen
         const giveup = document.getElementById('giveup-btn');
         if (giveup) giveup.click();
         return;
       }

       if (e.code !== 'Space') return;
       e.preventDefault();

       // If the game-over screen is visible, click retry
       const gameOver = document.getElementById('game-over');
       if (gameOver && !gameOver.classList.contains('hidden')) {
         const retry = document.getElementById('retry-btn');
         if (retry) retry.click();
         return;
       }

       // Otherwise simulate a tap on the canvas (start from menu / release orb)
       const canvas = document.getElementById('c');
       if (canvas) {
         canvas.dispatchEvent(new PointerEvent('pointerdown', {
           bubbles: true,
           clientX: window.innerWidth / 2,
           clientY: window.innerHeight / 2,
         }));
       }
     });
   })();

```

New comment by igravious in "Claude Code Found a Linux Vulnerability Hidden for 23 Years"

igravious — Sat, 04 Apr 2026 16:23:07 +0000

Should not Is that your new law? The non-agentic “Neovim and Zed *never tried to sign commits [for]~~with~~ me” therefore no tool ever no matter how advanced is not allowed to sign a commit.

Did it ever occur to you that for whatever reason you just might not be cut out for the software treadmill?

New comment by igravious in "Category Theory Illustrated – Types"

igravious — Fri, 03 Apr 2026 21:50:33 +0000

to justify my claim with an excerpt from the article:

““ What is type theory

    “Every propositional function φ(x)—so it is contended—has, in addition to its range of truth, a range of significance, i.e. a range within which x must lie if φ(x) is to be a proposition at all, whether true or false. This is the first point in the theory of types; the second point is that ranges of significance form types, i.e. if x belongs to the range of significance of φ(x), then there is a class of objects, the type of x, all of which must also belong to the range of significance of φ(x)” — Bertrand Russell - Principles of Mathematics

In the last section, we almost fell in the trap of explaining types as something that are “like sets, but… “ (e.g. they are like sets, but a term can only be a member of one type). However, while it may be technically true, any such explanation would not be at all appropriate, as, while types started as alternative to sets, they actually ended up being quite different. So, thinking in terms of sets won’t get you far. Indeed, if we take the proverbial set theorist from the previous section, and ask them about types, their truthful response would have to be:

    “Have you seen a set? Well, it has nothing to do with it.” [<=== important bit]

So let’s see how we define a type theory in its own right. ””

New comment by igravious in "Category Theory Illustrated – Types"

igravious — Fri, 03 Apr 2026 21:47:07 +0000

> > a set can contain itself

> Can it?

Yes -- in set theory sets can contain themselves

> > a term can have only one type... Due to this law, types cannot contain themselves

> Doesn't look like one follows from the other...

types are not sets and sets are not types therefore it makes no sense to link these two statements/judgements in the way you are linking them

New comment by igravious in "The RISE RISC-V Runners: free, native RISC-V CI on GitHub"

igravious — Tue, 31 Mar 2026 11:55:08 +0000

demonic

New comment by igravious in "What happened to GEM?"

igravious — Wed, 25 Mar 2026 09:58:28 +0000

DR-DOS was more than alright, if Microsoft hadn't smothered it the computing world would look very very different today …

I'm sure this is a mostly forgotten part of computing lore; apologies for the Gemini's Overview:

“Microsoft actively stifled DR-DOS in the early 1990s through anti-competitive tactics, primarily using the "AARD code" in Windows 3.1, which deliberately created compatibility errors to scare users away from the competing operating system. Microsoft also used FUD (fear, uncertainty, and doubt) tactics, such as hinting at future incompatibilities.

Key Tactics Used by Microsoft:

    The AARD Code: Windows 3.1 installer contained heavily obfuscated code, discovered in 1992, that specifically checked if the system was running DR-DOS. If detected, it displayed a fake "Non-Fatal Error" message to induce panic.

    Vaporware Announcements: Microsoft announced upcoming versions of MS-DOS to dampen demand for current versions of DR-DOS.

    OEM Pressure: Microsoft leveraged its monopoly to ensure pre-installed Windows came with MS-DOS, hindering DR-DOS's retail market success.

While Digital Research released a patch (the "business update") to bypass the AARD code, the damage to market perception and OEM deals was significant. The case was later part of legal battles between Caldera (which acquired DR-DOS) and Microsoft.”

https://share.google/aimode/JJs7wliOGtvnme6LY” [Tech Monitor/Wikipedia]

New comment by igravious in "Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains"

igravious — Wed, 25 Mar 2026 09:52:16 +0000

Uh?

CodeWeavers : Wine :: IBM/RedHat : Fedora

New comment by igravious in "Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains"

igravious — Wed, 25 Mar 2026 01:27:50 +0000

Here's a link to try it

https://www.codeweavers.com/crossover/download

New comment by igravious in "Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains"

igravious — Wed, 25 Mar 2026 01:21:34 +0000

“And because Proton, SteamOS, and every downstream project builds on top of Wine, those gains trickle down to everyone.”

the gains would trickle up, no?

New comment by igravious in "OpenCode – Open source AI coding agent"

igravious — Sat, 21 Mar 2026 08:04:03 +0000

Driver issues are way more of a thing on Windows than Linux or MacOS.

New comment by igravious in "Cursor Composer 2 is just Kimi K2.5 with RL"

igravious — Fri, 20 Mar 2026 13:07:15 +0000

Correct again -- CC- applies to data, not code -- weights are data, open weights suggests a creative commons approach …

“ CC-BY 4.0 Creative Commons Attribution 4.0 International

This license requires that reusers give credit to the creator. It allows reusers to distribute, remix, adapt, and build upon the material in any medium or format, even for commercial purposes.

BY Credit must be given to you, the creator. ”

it's annoying the open source term is being cargo-culted around and I hate to say it but that ship looks like it has sailed.

funny that free software people were infuriated by the open source term and now the open source term is being completely misused in another context

New comment by igravious in "Cursor Composer 2 is just Kimi K2.5 with RL"

igravious — Fri, 20 Mar 2026 13:02:12 +0000

Correct. (and I know you already know this but just for the record: (Nearly?) Everybody abuses the term "open source" when it comes to models. OSI have a post about it: https://opensource.org/ai/open-weights

New comment by igravious in "Oil and gas prices jump after Iran and Israel attack gasfields"

igravious — Thu, 19 Mar 2026 16:37:53 +0000

“Oil and gas prices jump after US-proxy Israel attacks Iranian gasfield infrastructure, and after Iran responds in kind after having promised to do so.”

is a headline that reflects reality and doesn't finesse the details -- I should really become a headline writer, I'm clearly better than whoever is employed by The Guardian.

At the very least it should be "Oil and gas prices jump after Israel and then Iran attack gasfields"

Putting Iran first might lead some to believe this was Iran-initiated, which of course is probably the intention.

New comment by igravious in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"

igravious — Tue, 17 Mar 2026 02:22:08 +0000

"and continues to scale linearly"

it clearly and demonstrably does not. in fact, from eyeballing their chart Qwen, Kimi, and GLM scale linearly whereas Leanstral does not. But this is not surprising because the Alibaba, Moonshot, and Zhipu have hundreds of employees each and hundreds of millions of dollars of investment each.

New comment by igravious in "Tell HN: I'm 60 years old. Claude Code has re-ignited a passion"

igravious — Sat, 07 Mar 2026 14:36:10 +0000

two AIs -- I use Claude Code and Kimi CLI -- I got them to build an agent relay so they can communicate with each other (one plans, the other reviews the plan; one builds, the other reviews the build) -- while one is working on one thing, I'll be chatting and exploring with the other one … they can build anything in any language so if you are a skilled and experienced code you should be able to guide a pair of coding agents no problem.

Otoh -- if there is this bifurcation among coders (one group super-excited, one group depressed and angst-ridden) then maybe we should be trying to figure out why people are reacting the way they are. Can you explain more about your situation? What do you code? Do you have hobby projects? Do you have free time? Etc.

New comment by igravious in "Weave – A language aware merge algorithm based on entities"

igravious — Thu, 05 Mar 2026 14:54:03 +0000

Just got Kimi to use Weave to merge an official update with my (agent) modded installation (kimi-cli is open source!) and it worked a treat … kimi-cli is mostly Python (I think?!)

Fair play. Great tool.

New comment by igravious in "Claude's Cycles [pdf]"

igravious — Wed, 04 Mar 2026 15:23:43 +0000

> But with someone holding the leash

i've been thinking about why we call them agent harnesses

i know all analogies suck in different ways but here goes:

coding agents are like horses. without a harness and bridle they'll the horse will do as it pleases -- a human can't travel very far and fast by foot but put a bridle and a harness on a horse, give it a bit of coaxing with carrot and stick, add in a bit a pointing the thing in the right direction and bingo you're off to the races!

New comment by igravious in "Weave – A language aware merge algorithm based on entities"

igravious — Wed, 04 Mar 2026 06:11:02 +0000

Nice, thanks for the Ruby support!

New comment by igravious in "OpenClaw surpasses React to become the most-starred software project on GitHub"

igravious — Tue, 03 Mar 2026 18:55:15 +0000

I think I'm going to have to stop reading HackerNews

> I guess it's exactly the opposite for me ... I always hated using "normal" language with the computer.

it's called natural language https://en.wikipedia.org/wiki/Natural_language

> I often quip that I became a programmer specifically to avoid having to use spoken language. I always twitch at the thought of using any voice-based assistant.

You're one of these people who think that programming languages are structured and formal whereas in contrast natural language must be unstructured and lacking form? Going by the Chomsky hierarchy of formalisms natural language sits somewhere between context-free and context-sensistive https://en.wikipedia.org/wiki/Mildly_context-sensitive_gramm...

> Thinking in systems and algorithms is more enjoyable than using human language when it comes to computers IMHO ...

You don't think in "systems and algorithms" -- those are the outputs of your thinking.

New comment by igravious in "IDF killed Gaza aid workers at point blank range in 2025 massacre: Report"

igravious — Wed, 25 Feb 2026 09:55:11 +0000

The reason your comments are being flagged is because you are defending the patently indefensible.

Do you currently serve or have you over the last two-and-a-half-years served in the IDF (or one of its supporting directorates) or do you currently work or have you over the last two-and-a-half-years worked in one of the Israeli intelligence agencies?

I ask this because you admit to having used thermal night vision equipment, you know what is being discussed in Hebrew-language Israeli media; and you call your interlocutors armchair critics implying you do more than just sit in an armchair. In the interests of full disclosure -- are you a neutral third-party or do you have skin in the game?