HNHacker News
TopNewBestAskShowJobs

bmacho

2,327 karma · joined November 22, 2021

submissionscomments
bmacho··on Far-left party wins Berlin election, pledging to nationalise housing
[edit - deleted]
bmacho··on I vibed a proof of Conway's conjecture
> On the second day, there are two gaps: “between nothing and zero” and “between zero and nothing”. Two numbers spawn in those two gaps. Call them –1 and 1.

That's a mistake. They should've written "empty set of surreal numbers" and not "nothing".

It is a constructive theory, like sets/ordinals. For ordinals you can use ∅, { }, ∪ and you construct

  ∅, {∅}, {{∅},∅}, ... (von Neumann ordinals). 
For surreal numbers you use the form { A | B } where A and B are sets of surreal numbers. Some restrictions apply so not all of these forms will be surreal numbers.

You build up surreal numbers as

  {∅|∅}, {∅|{∅|∅}}, {{∅|∅}|∅}
and so on.

---

Edit: A happy accident: I denoted the "empty set of surreal numbers" with the symbol ∅. It works, and it gives you the surreal numbers. But if you think of ∅ as the empty set in set theory, then the same construction (using an ordered-pair construction) gives you the surreal numbers as sets!

bmacho··on Nvidia announces native GPU programming in Rust
IMO cr*p and crap are both valid but separate swear words. People have a wide option to choose from when they want to swear, and people like variety (much much more than LLMs do). People also tend to influence each other with their usages: cr*p is popular because it is popular.

Otherwise cr*p is just as good as crap, shit, horseshit, poopoo or such.

edit: * replaced with \* as HN interprets asterisks as formatting for emphasis. Thx latexr for informing me

bmacho··on Gnu/Hurd strikes back: How to use it in a (somewhat) practical way (2023)
Previous discussion:

https://news.ycombinator.com/item?id=37036851 - Aug 7, 2023 | 266 comments

bmacho··on Gnu/Hurd strikes back: How to use it in a (somewhat) practical way (2023)
https://archive.li/oldest/https://mhatta.medium.com/gnu-hurd...
bmacho··on Linux Zoom client proactively reading everything written to X11 clipboard
> They've lost my trust since then, and I'll only run it sandboxed: https://gist.github.com/cielavenir/02f322e322a2a3555dbf2b38f...

On Linux/X11 even when you run a program sandboxed or as a different user if you use a master Xserver the sandboxed program still can listen and modify all your input/output including keyboard/mouse events and window content of every application.

bmacho··on Navier-Stokes Announcement
It's a common (most common?) word in mathematics in this meaning.

You interrogate a proof.

bmacho··on Claude, change the “Add to Cart” button to blue
It's obviously true that when people try to recall memories they either

  1. recall them correctly
  2. say they can't recall them
  3. recall them incorrectly
Are you asking me a study on when people say they remember something (cases 1 and 3) they are usually right or wrong?
bmacho··on Claude, change the “Add to Cart” button to blue
Aand what if their corpus callosum isn't severed?
bmacho··on Claude, change the “Add to Cart” button to blue
> The left hemisphere actively confabulates, inventing plausible explanations for actions it didn’t initiate, suggesting that much of human self-narrative may be post-hoc storytelling.

Sounds like the left hemisphere usually uses something from the right hemisphere to answer those questions and it can't do that if it's been cut off?

We know that our brains are capable of hallucinating due to substances (drugs), being asleep, brain damage (including split brain), hypnosis, etc. Just as RAM damage make your computer do weird shit. That doesn't mean it operates that way normally.

You can't just remove a huge part of a system and then assume that the whole system behaves the same.

bmacho··on Claude, change the "Add to Cart" button to blue
Ask it to build you a simple and deterministic citation checking extension to your IDE that puts source in meta to citations. E.g. color citations green/red depending if they are valid.
bmacho··on Claude, change the “Add to Cart” button to blue
No. People have an inner monologue, partial results and ideas and they remember that.

If they've worked some minutes/hours/weeks on something and you ask them why did they do that, they will either answer honestly and truthfully, lie, or say "I missed that/didn't seem important so I just chose something at random".

None of these cases are similar to how AI works.

bmacho··on The two Christian saints who are the Buddha
> Classicist Thomas J. Sienkewicz analyzed additional heroes using Raglan's pattern, including Mithridates VI of Pontus (22 points), Krishna (21 points), Jesus (18 points), Mohammad (17 points), Beowulf (15 points), Buddha (15 points), Czar Nicholas II (14 points), Samson (13 points), Sunjata, the Lion-King of Ancient Mali (11 points), Achilles (10 points), and Harry Potter (8 points).
bmacho··on PISA 2025 Students' reading and mathematics performance declined across the OECD
> So much for all the EdTech startups that want you to use their AI teachers.

Kid pasting the question into ChatGPT and pasting its answer back is not the same as an AI teacher persona.

In my mind an AI teacher can be like a traditional education package (syllabus, material, questions, keeping track of progression) but way more flexible. I don't see no reason why AI teachers shouldn't give Bloom's 2 sigma effect to kids (and adults) very soon.

bmacho··on It took a year to ship WebAssembly in Anubis
From someone who doesn't want to associate with it, I think 'anime girl' is fair. Even if people who consume it might (and do) categorize it otherwise.
bmacho··on bzip3
Different people have different licence preferences. "Why this and not that" questions usually don't spark joy. (Might seem fine for the individual who asks it, but not really in a community.)
bmacho··on Smartphone makers don't bother to comply with EU repairability requirements
Make the sticker text + QR link to a website so anyone with a smartphone could verify them if they wanted.

This could work for products too: have webshops add links to verdicts of inspections and also put them on the boxes (in link and QR code form).

bmacho··on It took a year to ship WebAssembly in Anubis
> There's no mechanistic difference between the two types of cookies, let's not pretend this is an actual config choice that people are making.

They probably meant 3rd party cookies. It's common to block those. 1st party cookies not so much.

bmacho··on "Intransitive", a board game [video]
I really like the idea behind it, using he actual RPS mechanics and the 1->2->3->1 cyclic beating instead of just something similar. It Stratego or in many games different types of units usually have different strengths against each other, but making it 100% is brilliant!

I also quiet like the game, I never really could get into studying tactics or strategy for chess/shogi/go, but I'm fascinated with Intransitive right now! I love both the tactics during opening and the endgame! Right now I enjoy it far more than other abstact strategy war games.

The game is very new (couple of days old) so everyone's a beginner and there aren't as many cheaters. You can join and play with others at <https://meaf.us/rps2/>! Discord server at <https://discord.com/invite/davyn6EWA2>!

bmacho··on Play Intransitive Online
Intransitive is a brand new abstract strategy war game.

It is similar to chess/stratego: 2 players move pieces on a grid, taking turns, trying to capture opponent pieces (or reach the opposite corner of the board).

There are 3 types of units: Rock, Paper, Scissors and they can capture enemy's Scissors, Rock, Paper respectively. Each piece can move 1 square in any direction, like a king moves in chess.

I find it very elegant how they use this idea of "different types of units are good against different types of units" in its purest form.

Also, having played ~50 games I find it a very good game, especially now. There are ~30 players in the lobby wanting to play, likely almost all humans, very few knows theory.

The lobby is probably unintuitive/clunky. My method is to turn on Time Control, then click all the "Invite" buttons for other people in the lobby. This allows them to join me, according to my rules. Additionally, if an "Accept Invite (your rules)" appear somewhere, I click on that too.

A single game takes about 6-10 minutes.

bmacho··on Three sites made 215,128 “best software” pages for AI. Perplexity cites them
> That makes sense.

No, it doesn't if the "which one do you prefer" was just a prompt continuation task. LLMs can't see their own evaluation of a given text. If you ask them to continue

  Which one you prefer
  
  > option 1: human text
  
  > option 2: ai text
And they continue with

  option 2: ai text is the better one because [reasons]
then it is not because they evaluated these 2 texts on themselves, observed the evaluation numbers and reported which one is better.

Also, if you instruct humans to come up with the best text they can, and you show them an even better text, they will prefer the better one written by someone else.

bmacho··on Reverse engineering my ADHD test
Practically all statement outside of mathematics is a soft statement.

IMO "Humans do this because [made up scenarios how it helped them survive]" is trash in its own rights, and not because it is not falsifiable. Not useful, not insightful, not anything.

bmacho··on Reverse engineering my ADHD test
Or ADD just sucks there less than in other areas.

Like being physically weak is not an advantage in white collar jobs.

bmacho··on No country for mediocre mathematicians
I don't get it?

Nevertheless you don't have to lie to kids in any field, science, art or otherwise.

bmacho··on A few feral cats in an ALGOL trenchcoat.
Devine Lu Linvega's POP-2/POP-2k tutorial and online interpreter
bmacho··on Uefa pursuing criminal legal action against Infantino
For front-page submissions it is rare to fall this directly into the off-topic submissions listed in the Guidelines.

I'd rather not read all the non-front page submissions [https://news.ycombinator.com/newest] and paste this under them.

bmacho··on Uefa pursuing criminal legal action against Infantino
Guidelines explicitly mention this type of submissions:

> Off-Topic: Most stories about politics, or crime, or sports, or celebrities, unless they're evidence of some interesting new phenomenon. If they'd cover it on TV news, it's probably off-topic.

You think it is an interesting submission, but it isn't even a particularly relevant step in the ongoing soccer drama.

bmacho··on New Mac Studio with M5 Max and M5 Ultra
What if there was a way to use your home computer from a very cheap laptop?
bmacho··on Was modern art a CIA psy-op? (2020)
Especially from someone whose "modern art" means mid-19th centuary European art under an article that starts with "In the mid-twentieth century".
bmacho··on Nostr is an inclusive communication commons
Maybe they want to torrent Linux ISOs but can't because their ISP/VPN blocks the torrent protocol. Http for server->client downloading is inferior but we are stuck with it.
← PreviousPage 2 of 34Next →