2,327 karma · joined November 22, 2021
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!
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
https://news.ycombinator.com/item?id=37036851 - Aug 7, 2023 | 266 comments
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.
You interrogate a proof.
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?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.
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.
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.
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).
They probably meant 3rd party cookies. It's common to block those. 1st party cookies not so much.
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>!
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.
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.
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.
Like being physically weak is not an advantage in white collar jobs.
Nevertheless you don't have to lie to kids in any field, science, art or otherwise.
I'd rather not read all the non-front page submissions [https://news.ycombinator.com/newest] and paste this under them.
> 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.