Viewing profile — cdetrio

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 …

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 astralc…

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 thei…

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.…

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 d…

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 perturbe…

"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 …

Maybe you saw this paper about that idea - The Genomic Code: The genome instantiates a generative model of the organism. "Here, we propose a new analogy, inspired by recent work in…

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 s…

related: https://news.ycombinator.com/item?id=21107706 - Number theorist fears many proofs widely considered to be true are wrong (vice.com)

Many futures exchanges are open 24 hours on weekdays (perhaps with 15 minute gaps), but not weekends. Can you link to one that's open on the weekends?

I haven't seen an FX exchange that trades through weekends, since Oanda stopped offering weekend trading back in 2012.[1] Can you link to one? 1. https://www.leaprate.com/news/oand…

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…

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 rela…

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 t…

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 fa…

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 atta…

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…

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 sen…