Viewing profile — trott

> The AlphaFold3 analysis (the AI contribution) literally accounts for a few panels in a supplementary figure - it didn't even help guide their choice of small molecule inhibitors …

Regarding point number 11 (AlphaFold3 vs Vina, Gnina, etc.), see my rebuttal here (I'm the author of Vina): https://olegtrott.substack.com/p/are-alphafolds-new-results-... Gnina is…

> According to Stack Overflow developer survey [0] Rust is at 12.5%, ... So definitely not niche. The annual survey is very popular in the Rust community. Its results are often use…

They started with N >= 120x3 tasks, and gave each task to 4-9 humans. Then they kept only those 120x3 tasks that at least 2 humans had solved.

> a mistake of the 1983 Ada standard ... which has been removed The article was written in 2011, and the trick still seems to work in a 2024 version of GNAT. > Both "unchecked" Ada…

> but Ada's real strengths lie elsewhere. Its strong typing, Ada is not actually type-safe: https://www.enyo.de/fw/notes/ada-type-safety.html

> it will finally be fixed relatively soon 2015: "The work needed to close this has not yet landed. It's in the queue though, once we finish up rust-lang/rfcs#1214."

Yep, and even without dynamic memory management, Ada is not type-safe: https://www.enyo.de/fw/notes/ada-type-safety.html Rust also has soundness holes, by the way. This one is almo…

Another way to look at this is that there are 12,290 bits of information in choosing 817 samples from 10,000,000.

How do Maxima and SymPy compare in terms of capability, features and speed (native, not WASM)?

This is the paper: https://arxiv.org/abs/2411.02272 They won the 1st paper award: https://arcprize.org/2024-results In their approach, the LLM generates inputs (images to be transf…

> This has me curious about ARC-AGI In the o3 announcement video, the president of ARC Prize said they'd be partnering with OpenAI to develop the next benchmark. > mechanical turki…

> Terra programs use the same LLVM backend that Apple uses for its C compilers. Can it use anything else (as an option), e.g. Lua? That would be useful during development/debugging…

Not sure. But I think this follows logically from the definition of intelligence he is using. Also, see II.2.2 in the paper.