Producing a formalized proof from a non-formalized proof in a paper or book should not be considered a violation of copyright.
Yeah, the seven cubes shape tiles R^3 by itself following the aperiodic tiling, but it also tiles R^3 in other ways, some of which are periodic. The bumps prevent any of the periodic tilings. See [1] for a better…
I suspect they've spent much longer looking at 2d shapes than 3d ones (because they're easier to imagine and reason about, and there are fewer variations in how "aperiodic monotile" can be defined in 2d). Also, the…
For the sake of pedantry, there are things in the observable universe which are increasing in distance from us by more than 1 light year per year. This means it's impossible to reach them unless the universe's rate of…
I read pretty much the same thing. First * is 'discontinuous', second might be 'turn'. I'm tempted to read 'continuous' where you have 'containing'.
a) Self driving was far from completely solved before LLMs. b) Text generation essentially means passing the Turing test, which for a long time was the bar for general intelligence. Locomotion does not necessarily…
> I believe that an ML should be the First Language for Computer Scientists. I'm not sure how much influence a First Language has - the biggest impact might be whether someone decides to continue learning to program.…
> Some languages are less permissive, and have a culture of searching harder for corner cases and dealing with them than others, that is true. I would expect to find less cases like this in Rust, but more cases like…
There has been an instance of a Governor General dismissing a Prime minister. https://en.wikipedia.org/wiki/1975_Australian_constitutional...
To me it sounds like you're repeating what gp said about the lack of online learning. Do you think that's insurmountble? Getting confused about timezones does not place LLMs behind that many humans. (But doing so…
It never says 0.04 degrees, just 0.04mm (corresponding to about 0.015 degrees at the stated 15cm distance).
> like they found for Russia tracking launch sites in Ukraine My understanding of that section was that Ukraine were using it to find launch sites in occupied parts of Ukraine - they go on to describe how they helped…
[delayed]
>> GPUs aren't really SIMD, they're SIMT (single instruction multiple thread) > False. If they were threads they'd have their own PC. They do not - only the warp has a PC. They are using the term SIMT as it is normally…
Did you consider the alternative calculation of how many plants you need to grow to feed yourself? A few thousand potatoes growing simultaneously might do it. That would overestimate the number you need to remove excess…
> dependent types and total functions do not scale. I'm not convinced that this is much more true than the claim "correct code doesn't scale". If you add to your code in a way depends on a new property for correctness,…
If you had access to a bunch identical copies of me that couldn't communicate with each other, you'd be able to find many questions I would give stupid answers to. I suspect I'd come out of it looking worse than an LLM.
This brought to my attention the following claim by OpenAI, regarding a logo which does not have any right angles: > right angles introduce the precision and structure that technology demands…
To check I understand you: the smaller tank with heatpump would consume less energy outside the time window in which energy is free than the large tank with resistive heating, but has a higher capital cost which would…
Based on https://climatereanalyzer.org/clim/sst_daily/?dm_id=nino3.4, 1988 is the year from the dataset with the lowest temperature throughout June and July.
There are those who make strong arguments for the opposite. Once you have paid him the Danegeld, you never get rid of the Dane.
The number €115 is in the second chart as the per capita German expenditure on rail infrastructure in 2023. I don't see €477, but it's pretty close to the €480 figure for Switzerland in 2024. My guess is they saw an old…
It's saying that 40% of the tons of cargo loaded onto ships is fossil fuels, but this makes up about 50% of ton-miles, because fossil fuels travel further on average than other cargo. Not the easiest headline to…
This is the same calculation behind the observation "you spend much longer in front of red traffic lights than green ones". It's an interesting observation, but it's playing games with the meaning of "mean latency" and…
> What you want is 40% black onto white to have a similar difference in intensity as 40% white onto black, otherwise your darkmode font will look significantly different at the same intensity as your lightmode font.…
Producing a formalized proof from a non-formalized proof in a paper or book should not be considered a violation of copyright.
Yeah, the seven cubes shape tiles R^3 by itself following the aperiodic tiling, but it also tiles R^3 in other ways, some of which are periodic. The bumps prevent any of the periodic tilings. See [1] for a better…
I suspect they've spent much longer looking at 2d shapes than 3d ones (because they're easier to imagine and reason about, and there are fewer variations in how "aperiodic monotile" can be defined in 2d). Also, the…
For the sake of pedantry, there are things in the observable universe which are increasing in distance from us by more than 1 light year per year. This means it's impossible to reach them unless the universe's rate of…
I read pretty much the same thing. First * is 'discontinuous', second might be 'turn'. I'm tempted to read 'continuous' where you have 'containing'.
a) Self driving was far from completely solved before LLMs. b) Text generation essentially means passing the Turing test, which for a long time was the bar for general intelligence. Locomotion does not necessarily…
> I believe that an ML should be the First Language for Computer Scientists. I'm not sure how much influence a First Language has - the biggest impact might be whether someone decides to continue learning to program.…
> Some languages are less permissive, and have a culture of searching harder for corner cases and dealing with them than others, that is true. I would expect to find less cases like this in Rust, but more cases like…
There has been an instance of a Governor General dismissing a Prime minister. https://en.wikipedia.org/wiki/1975_Australian_constitutional...
To me it sounds like you're repeating what gp said about the lack of online learning. Do you think that's insurmountble? Getting confused about timezones does not place LLMs behind that many humans. (But doing so…
It never says 0.04 degrees, just 0.04mm (corresponding to about 0.015 degrees at the stated 15cm distance).
> like they found for Russia tracking launch sites in Ukraine My understanding of that section was that Ukraine were using it to find launch sites in occupied parts of Ukraine - they go on to describe how they helped…
[delayed]
>> GPUs aren't really SIMD, they're SIMT (single instruction multiple thread) > False. If they were threads they'd have their own PC. They do not - only the warp has a PC. They are using the term SIMT as it is normally…
Did you consider the alternative calculation of how many plants you need to grow to feed yourself? A few thousand potatoes growing simultaneously might do it. That would overestimate the number you need to remove excess…
> dependent types and total functions do not scale. I'm not convinced that this is much more true than the claim "correct code doesn't scale". If you add to your code in a way depends on a new property for correctness,…
If you had access to a bunch identical copies of me that couldn't communicate with each other, you'd be able to find many questions I would give stupid answers to. I suspect I'd come out of it looking worse than an LLM.
This brought to my attention the following claim by OpenAI, regarding a logo which does not have any right angles: > right angles introduce the precision and structure that technology demands…
To check I understand you: the smaller tank with heatpump would consume less energy outside the time window in which energy is free than the large tank with resistive heating, but has a higher capital cost which would…
Based on https://climatereanalyzer.org/clim/sst_daily/?dm_id=nino3.4, 1988 is the year from the dataset with the lowest temperature throughout June and July.
There are those who make strong arguments for the opposite. Once you have paid him the Danegeld, you never get rid of the Dane.
The number €115 is in the second chart as the per capita German expenditure on rail infrastructure in 2023. I don't see €477, but it's pretty close to the €480 figure for Switzerland in 2024. My guess is they saw an old…
It's saying that 40% of the tons of cargo loaded onto ships is fossil fuels, but this makes up about 50% of ton-miles, because fossil fuels travel further on average than other cargo. Not the easiest headline to…
This is the same calculation behind the observation "you spend much longer in front of red traffic lights than green ones". It's an interesting observation, but it's playing games with the meaning of "mean latency" and…
> What you want is 40% black onto white to have a similar difference in intensity as 40% white onto black, otherwise your darkmode font will look significantly different at the same intensity as your lightmode font.…