bmacho

10 ms·

1.
Back to the future: modules for Guix packages (2022)(hpc.guix.info)
2 points by bmacho 1d ago|0 comments
2.
Gnu/Hurd strikes back: How to use it in a (somewhat) practical way (2023)(mhatta.medium.com)
3 points by bmacho 1d ago|2 comments
3.
by bmacho 4d ago
> 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
4.
by bmacho 5d ago
It's a common (most common?) word in mathematics in this meaning. You interrogate a proof.
5.
by bmacho 7d ago
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 somethi
6.
by bmacho 7d ago
Aand what if their corpus callosum isn't severed?
7.
by bmacho 7d ago
> 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 somethi
8.
by bmacho 7d ago
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.
9.
by bmacho 7d ago
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 truthfu
10.
by bmacho 8d ago
> 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 point
11.
by bmacho 8d ago
> 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
12.
by bmacho 8d ago
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.
13.
by bmacho 9d ago
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.)
14.
by bmacho 9d ago
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 c
15.
by bmacho 9d ago
> 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 c
16.
by bmacho 13d ago
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 eac
17.
Play Intransitive Online(meaf.us)
5 points by bmacho 13d ago|1 comments
18.
by bmacho 13d ago
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
19.
by bmacho 13d ago
> 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 &
20.
by bmacho 14d ago
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 i
21.
by bmacho 15d ago
Or ADD just sucks there less than in other areas. Like being physically weak is not an advantage in white collar jobs.
22.
by bmacho 16d ago
I don't get it? Nevertheless you don't have to lie to kids in any field, science, art or otherwise.
23.
by bmacho 19d ago
Devine Lu Linvega's POP-2/POP-2k tutorial and online interpreter
24.
A few feral cats in an ALGOL trenchcoat.(wiki.xxiivv.com)
26 points by bmacho 19d ago|3 comments
25.
by bmacho 19d ago
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 past
26.
by bmacho 20d ago
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, i
27.
by bmacho 21d ago
What if there was a way to use your home computer from a very cheap laptop?
28.
by bmacho 22d ago
Especially from someone whose "modern art" means mid-19th centuary European art under an article that starts with "In the mid-twentieth century".
29.
by bmacho 23d ago
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.
30.
by bmacho 24d ago
It's like looking at the early internet and then suggesting teenagers should write browsers as their projects instead of webpages.

More ›