rjtobin

6 ms·

1.
by rjtobin 1y ago
There is at least one reason - it was a harder problem. Agreed that which IMO problems are hard for a human IMO participant and which are hard for an LLM are different things, but seems like they should be positively correlated at least?
2.
by rjtobin 3y ago
Small point but the last link here (from 2008) is a different project with the same title.
3.
by rjtobin 4y ago
I interpret the article quite differently. The triangle example (which as the author writes is actually an example from “Lockhart’s Lament” on American math education) isn’t about whether triangle-area-formula was ever justified to students
4.
by rjtobin 6y ago
I think the idea is that early Protestants like Calvinists believed in predestination - that it was already decided who would was going to heaven. One would think this would make the predestined not care about their actions, but the trick i
5.
by rjtobin 6y ago
There is an interesting and seemingly not well-understood link between loss of sense of smell and decreased longevity: https://www.health.harvard.edu/diseases-and-conditions/poor-... Wild speculation, but maybe there i
6.
by rjtobin 6y ago
I think the interpretation of "you don't get anywhere" is the crux. There are a few games I've put a few hundred hours in, and those hours were mostly fun and exciting. I gained skills in the game, some of which are tran
7.
by rjtobin 6y ago
Yep, I misread it also: I saw j = 2 * i (which would do evens and then odds when NUMBER is odd, or evens then evens again if NUMBER is even). For what it really is - powers of 2 mod NUMBER - when NUMBER is large most reads should be out of
8.
by rjtobin 6y ago
The cartoon picture is that the first example will read everything into cache once, whereas the second example will read everything into cache twice. Cache lines are typically 64-bytes, so to write a single character to main memory the foll
9.
by rjtobin 6y ago
Maybe his wife, Fan Chung, who was also a close collaborator of Erdős (13 joint papers), or one of Ron's students will continue the tradition (maybe Steve Butler). Very sad news in any case.
10.
by rjtobin 6y ago
Doesn’t seem like there’s enough evidence that this is actually happening. The video from the reddit post has scaffolding to the left. And why surround the bricks with fences and signs? The reddit poster dismisses this with “look at the oth
11.
by rjtobin 6y ago
I'm somewhat skeptical. Firstly, I don't think the language is the problem with scientific code. You can write messy code in any language. So the warning then has to be about writing software in general. In that case, I think a wa
12.
by rjtobin 6y ago
Hah, I also came here to post that my dad worked for them in the 80’s (though in Oslo, even though he’s Irish). Didn’t expect to see two other people saying the same thing! I think there’s still a Norsk Data coffee mug in his house somewher
13.
by rjtobin 6y ago
Although I think this is wonderful, I wonder is there a non-public outreach reason for not just showing pre-recorded videos of people? I’m also curious about how well these eels can perceive screens. Some animals seem to be able to process
14.
by rjtobin 6y ago
There is an upcoming contest to write an AI for an (American) football based board game, Bloodbowl. The players have different stats as you describe, and the teams can be asymmetrical (though for the competition, both teams select 11 player
15.
by rjtobin 6y ago
I’m a little surprised by this sentiment (maybe I’m naively optimistic). I’m curious, do you (and others) think elementary and high schools will be back next fall?
16.
by rjtobin 6y ago
The list by itself is of limited use, since each college on the list has made different announcements. I’d say the summary is most have vaguely worded statements leaving open the possibility of either remote learning, in-person learning or
17.
by rjtobin 6y ago
A related problem is the complete lack of tone in text-based discourse, and the brain's penchant for subconsciously assuming text was written in a certain tone, with no mental "error bars" around this assumed tone. I see on T
18.
by rjtobin 6y ago
I think there’s a chance it will be different: at least now there is the potential to offer customers an ad-free package for an extra cost. Some services like Hulu already do this (offering cheaper plan with ads and a slightly pricier plan
19.
by rjtobin 6y ago
Might be stored as an int in cents (or whatever the tick size is).
20.
by rjtobin 6y ago
And sadly all three authors of "Winning Ways" have now passed away within almost exactly a year: Berlekamp died on Apr 9 last year, and Richard Guy died in March (he was 103!).
21.
by rjtobin 6y ago
Thanks for making it, super cool! Btw, if it wasn't clear, my "controversial" comment isn't to be taken seriously
22.
by rjtobin 6y ago
Here were my two experiences, one I felt would be easy and the other hard: Title: Build recommendations. Message: "I'd like to upgrade some components. My current rig has an old i7 and an RTX 2060. Looking for something midrange t
23.
by rjtobin 6y ago
At time of filing H1B, the employer makes an LCA (Labour Condition Application) which includes information about the job like salary range and hours (which may be a range, maybe 30-40 hours). If the job changes enough that the LCA is no lon
24.
by rjtobin 6y ago
Small typo in title: "ans" -> "and" The paper itself is linked here: http://web.mit.edu/digitalapollo/Documents/Chapter1/cyborgs....
25.
by rjtobin 6y ago
Not a lawyer, but to any fellow H1B's who are concerned about being laid off, and facing the near-impossible task of leaving the US on short notice during a worldwide lockdown: a 2017 law provides a 60-day grace period for "those
26.
by rjtobin 6y ago
Oh cool! That's good to know. Sadly too late to edit my original message, but have upvoted yours so people won't learn from my errors :)
27.
by rjtobin 6y ago
The title "Rare Second World War Footage of Bletchley Park Emerges" isn't quite accurate. The footage is of Whaddon Hall, rather than Bletchley Park. Whaddon Hall was MI6, whereas Bletchley Park was GCHQ (GC&CS back then)
28.
by rjtobin 6y ago
Some other Git features that I find super useful, which past colleagues of mine haven't known about (which maybe suggests they are not universally known). git rev-parse branch-name: gets the hash of a branch name, useful for verifying
29.
by rjtobin 6y ago
From the twitter thread, it seems like it’s a data error: https://mobile.twitter.com/mersenneary/status/12444399368766... At first it seems plausible, due to decreased traffic fatalities and so on. But traffic fat
30.
by rjtobin 6y ago
The source posted answers that too. In one of the studies contained in the 538 article, the probability of a woman being taller than a men if both are selected randomly was .102. Compare this to the observed probability of woman in a couple

More ›