I'd be very curious whether such junk lean code could be used to solve Kevin Buzzard's Jacobian challenge: https://gist.github.com/kbuzzard/778bc714030b3e974ab5f403878... The idea behind the challenge to provide a few…
Many parallels between this article and another posted today ("Unsubscribe from the Church of Graphs" https://news.ycombinator.com/item?id=47604253). Both are responses to astralcodexten posts, and the vibes felt around…
We found 500 zero-days in ten year old widely used open-source projects. Was that not a demonstration of the catastrophic failure of human debugging capability?
The Duke harness was specifically designed for these puzzles, that's why they don't want to measure it. My reading of that part in the technical report (models "could be using their own tools behind the model’s API,…
Are you prompting the models through their APIs, which are not designed to use tools or harnesses? Or do the "system prompt" results come from prompting into the applications (i.e. claude code, or codex, or even the web…
Astrophysicist David Kipping had a podcast episode a month ago reporting that LLMs are working shockingly well for him, as well as for the faculty at the IAS.[1] It's curious how different people come to very different…
very interesting, thanks for sharing.
Textbook models typically simulate normal development of an embryo, e.g. A-P and D-V (anterior-posterior and dorsal-ventral) patterning. The question Levin raises is how a perturbed embryo manages to develop normally,…
"Some people become depressed at the scale of the universe, because it makes them feel insignificant. Other people are relieved to feel insignificant, which is even worse. But, in any case, those are mistakes. Feeling…
Those papers say the virus is natural and wasn't engineered by humans. The OP link is about the theory that origin event is a natural virus escaping from a lab. A wild-type virus specimen obtained from bats in the wild…
related: https://news.ycombinator.com/item?id=21107706 - Number theorist fears many proofs widely considered to be true are wrong (vice.com)
Its about who applies AI and for what purpose. Currently, FANG controls all the data and applies AI to maximize ad clicks (the evil paperclip maximizer). "blockchain" is a movement for people who want "take back" their…
I mention in the talk that our fuzz tester, Guido Vranken, moved on to fuzzing WAVM (the wasm jit engine used in EOS) after v8. He earned some bounties (only some of them were related to WAVM) and several articles were…
This is exciting for the Ewasm team (Ethereum WebAssembly). We're hoping this new single-pass compilation in Liftoff won't be vulnerable to JIT bombs, which are wasm modules that take a lot longer to compile than they…
Any update on those new super-accurate GPS chips? [1] 1. https://news.ycombinator.com/item?id=15308771 Super-Accurate GPS Chips Coming to Smartphones in 2018 (ieee.org)
Why is mining an attack chain expensive? If you mine on the honest chain, you earn the block reward for each block you mine. If you mine an attack chain with 49% and your attack fails, then you sacrifice those rewards.…
51% attacks on the block proposal mechanism could prevent the PoS commitments from ever becoming finalized (i.e. violate liveness), though.
Requiring more confirmations decreases the probability that a transaction will be reverted, under the assumption that an attacker has < 49% of the hashpower. If you attempt an attack with 49%, then you have a fair…
The "Bill bale pale mayo" video is my second favorite after this one https://www.youtube.com/watch?v=JATjMZJuX1c
The article links to tetherreport.com > We vary N from 1 to 24 hours and examine the p-values. [.....] there are a number of periods where the p-values are significantly below 0.05 and we reject the null hypothesis for…
Its easy to go through a couple containers and find/replace a few sensors. But it would be a lot of work for Bob to go through every single yogurt container and corrupt all the sensors.
any signs yet of support for Web Workers?
It actually does say that the Army spent over their budget: Skidmore got involved last spring when he heard Catherine Austin Fitts, former assistant secretary of Housing and Urban Development, refer to a report which…
I met a couple guys from their team a couple months ago at the ETHWaterloo hackathon (post from then [1]). They presented a contract analytics tool to graph the number and type of function calls, like an etherscan.io…
Univalent Foundations is apparently controversial. It appeared to come to a head a couple years ago when a lively debate played out in the comments of a blog (including a comment by Voevodsky himself):…
I'd be very curious whether such junk lean code could be used to solve Kevin Buzzard's Jacobian challenge: https://gist.github.com/kbuzzard/778bc714030b3e974ab5f403878... The idea behind the challenge to provide a few…
Many parallels between this article and another posted today ("Unsubscribe from the Church of Graphs" https://news.ycombinator.com/item?id=47604253). Both are responses to astralcodexten posts, and the vibes felt around…
We found 500 zero-days in ten year old widely used open-source projects. Was that not a demonstration of the catastrophic failure of human debugging capability?
The Duke harness was specifically designed for these puzzles, that's why they don't want to measure it. My reading of that part in the technical report (models "could be using their own tools behind the model’s API,…
Are you prompting the models through their APIs, which are not designed to use tools or harnesses? Or do the "system prompt" results come from prompting into the applications (i.e. claude code, or codex, or even the web…
Astrophysicist David Kipping had a podcast episode a month ago reporting that LLMs are working shockingly well for him, as well as for the faculty at the IAS.[1] It's curious how different people come to very different…
very interesting, thanks for sharing.
Textbook models typically simulate normal development of an embryo, e.g. A-P and D-V (anterior-posterior and dorsal-ventral) patterning. The question Levin raises is how a perturbed embryo manages to develop normally,…
"Some people become depressed at the scale of the universe, because it makes them feel insignificant. Other people are relieved to feel insignificant, which is even worse. But, in any case, those are mistakes. Feeling…
Those papers say the virus is natural and wasn't engineered by humans. The OP link is about the theory that origin event is a natural virus escaping from a lab. A wild-type virus specimen obtained from bats in the wild…
related: https://news.ycombinator.com/item?id=21107706 - Number theorist fears many proofs widely considered to be true are wrong (vice.com)
Its about who applies AI and for what purpose. Currently, FANG controls all the data and applies AI to maximize ad clicks (the evil paperclip maximizer). "blockchain" is a movement for people who want "take back" their…
I mention in the talk that our fuzz tester, Guido Vranken, moved on to fuzzing WAVM (the wasm jit engine used in EOS) after v8. He earned some bounties (only some of them were related to WAVM) and several articles were…
This is exciting for the Ewasm team (Ethereum WebAssembly). We're hoping this new single-pass compilation in Liftoff won't be vulnerable to JIT bombs, which are wasm modules that take a lot longer to compile than they…
Any update on those new super-accurate GPS chips? [1] 1. https://news.ycombinator.com/item?id=15308771 Super-Accurate GPS Chips Coming to Smartphones in 2018 (ieee.org)
Why is mining an attack chain expensive? If you mine on the honest chain, you earn the block reward for each block you mine. If you mine an attack chain with 49% and your attack fails, then you sacrifice those rewards.…
51% attacks on the block proposal mechanism could prevent the PoS commitments from ever becoming finalized (i.e. violate liveness), though.
Requiring more confirmations decreases the probability that a transaction will be reverted, under the assumption that an attacker has < 49% of the hashpower. If you attempt an attack with 49%, then you have a fair…
The "Bill bale pale mayo" video is my second favorite after this one https://www.youtube.com/watch?v=JATjMZJuX1c
The article links to tetherreport.com > We vary N from 1 to 24 hours and examine the p-values. [.....] there are a number of periods where the p-values are significantly below 0.05 and we reject the null hypothesis for…
Its easy to go through a couple containers and find/replace a few sensors. But it would be a lot of work for Bob to go through every single yogurt container and corrupt all the sensors.
any signs yet of support for Web Workers?
It actually does say that the Army spent over their budget: Skidmore got involved last spring when he heard Catherine Austin Fitts, former assistant secretary of Housing and Urban Development, refer to a report which…
I met a couple guys from their team a couple months ago at the ETHWaterloo hackathon (post from then [1]). They presented a contract analytics tool to graph the number and type of function calls, like an etherscan.io…
Univalent Foundations is apparently controversial. It appeared to come to a head a couple years ago when a lively debate played out in the comments of a blog (including a comment by Voevodsky himself):…