3,978 karma · joined May 10, 2010
(never mind that anybody with a functioning cerebral cortex understands that the roots of the special military operation lie in NATO provocation and politically neutral Kiev getting couped with help from the CIA)
And tbh I didn't expect much of or any discussion because my feeling is that Hacker News is a forum which has long since only masqueraded as a geek/tech bulletin board and discussion forum. And this here absence reinforces that feeling.
Bosgame M5 AI Mini Desktop Ryzen AI Max+ 395 96GB variant €1.800,95 (sold out)
128GB+2TB variant €2.401,95 (in stock)
I have the latter, it's fantastic
```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,
}));
}
});
})();
```Did it ever occur to you that for whatever reason you just might not be cut out for the software treadmill?
““ 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.
””> 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
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]
CodeWeavers : Wine :: IBM/RedHat : Fedora
the gains would trickle up, no?
“ 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
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.
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.
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.
Fair play. Great tool.
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!
> 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.
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?
Honest question. Why should they surrender?
> Most or all of it in response to violations of the ceasefire by Hamas.
A complete and utter inversion of reality.
First page of Google results for: Israel ceasefire violations
“How many times has Israel violated the Gaza ceasefire? Here are the numbers: Since the ceasefire took effect, Israeli attacks have killed at least 615 Palestinians and injured 1,658.” https://www.aljazeera.com/news/2025/11/11/how-many-times-has...
“UN experts urge States to act as Israeli violations threaten fragile Gaza ceasefire” https://www.ohchr.org/en/press-releases/2025/11/un-experts-u...
“Israel has violated ceasefire 47 times and killed 38 Palestinians” https://www.theguardian.com/world/2025/oct/18/israel-has-vio...
“Fact Sheet: Israel’s History of Breaking Ceasefires” https://imeu.org/resources/resources/fact-sheet-israels-hist...
I, in my own way, have discovered that recent versions of Claude are extremely (as in, super-humanly) good at rewriting or porting. Apparently if recently released coding agents have a predefined target and a good test suite then you can basically tell them that you want X (well-defined target w/ good suite of tests) written in Y (the language/framework you want X written in but it isn't) -- and a week or two later you have a working version.
I have spent the last month wrapping my head around the idea that there is a class of tasks in software engineering that is now solved for not very much money at all. More or less every single aspirational idea I have ever had over the last 20 years or so I have begun emabarking on within the last two months.
I hear you.