cdetrio

7 ms·

1.
by cdetrio 3mo ago
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 prov
2.
by cdetrio 6mo ago
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
3.
by cdetrio 6mo ago
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?
4.
by cdetrio 6mo ago
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, which is
5.
by cdetrio 6mo ago
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 front-end
6.
by cdetrio 6mo ago
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 conclusions abou
7.
by cdetrio 2y ago
very interesting, thanks for sharing.
8.
by cdetrio 2y ago
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, both "picasso tad
9.
by cdetrio 2y ago
"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 insignificant bec
10.
by cdetrio 2y ago
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 machine learning and neuroscience: that the genome enc
11.
by cdetrio 6y ago
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 that was being s
12.
by cdetrio 7y ago
related: https://news.ycombinator.com/item?id=21107706 - Number theorist fears many proofs widely considered to be true are wrong (vice.com)
13.
by cdetrio 8y ago
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?
14.
by cdetrio 8y ago
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/oanda-suspends-weekend-trading...
15.
by cdetrio 8y ago
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 d
16.
by cdetrio 8y ago
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 written about it. I b
17.
by cdetrio 8y ago
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 do to execut
18.
by cdetrio 8y ago
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)
19.
by cdetrio 8y ago
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. Suppose you mine say
20.
by cdetrio 8y ago
51% attacks on the block proposal mechanism could prevent the PoS commitments from ever becoming finalized (i.e. violate liveness), though.
21.
by cdetrio 8y ago
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 chance of mining, say,
22.
by cdetrio 8y ago
The "Bill bale pale mayo" video is my second favorite after this one https://www.youtube.com/watch?v=JATjMZJuX1c
23.
by cdetrio 9y ago
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 those periods. I
24.
by cdetrio 9y ago
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.
25.
by cdetrio 9y ago
any signs yet of support for Web Workers?
26.
by cdetrio 9y ago
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 indicated the Army had
27.
by cdetrio 9y ago
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 but for custom queries&
28.
by cdetrio 9y ago
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): https://mathematicswithouta
29.
by cdetrio 9y ago
Reading the story[1] about Voevodsky, I was reminded of how Bertrand Russell described Gottlob Frege as "almost superhuman": > As I think about acts of integrity and grace, I realise that there is nothing in my knowledge to co
30.
by cdetrio 9y ago
The first casper PoC was in 2015, and PoC2 was in early 2016.[1] However, there was a pivot from the early "consensus-by-bet" to the current version, which is based on "prepare and commit" messages. I think the current o

More ›