Related posts

Genomics researcher and writer on science, biotech and the culture of research.

• Our readingkorrents.com

  Drug companies pile onto the same few already-validated targets, so far less of biology gets explored than could be.

  Their words

  In biomedicine we have a problem called target herding: most companies chase the same biological targets because they are de-risked, which means we explore far less of the biological space than we could.

  Intelligence is not the main bottleneckwritingruxandrabio.com

AI researcher at OpenAI; built the poker systems Libratus and Pluribus and the Diplomacy agent Cicero, and works on reasoning models.

• Our readingkorrents.com

  An outsider could have disproved the Erdős unit-distance conjecture with a public model, because nobody had tried spending $100,000 of compute on one question.

  Their words

  Um but it would be possible and it would have been possible for somebody to disprove the erdos unit distance conjecture before we did using a general purpose model. And nobody had explored sufficiently what happens if I put $100,000 worth of compute into 5.5 what could it do?

  youtube.com

Scientist and writer on quantum computing, memory systems and metascience; co-wrote the standard quantum computation textbook and wrote Reinventing Discovery.

• Our readingkorrents.com

  Most of the tech tree will never be explored by anyone at all, which is exactly why the choice of which direction to explore matters so much.

  Their words

  Um, there's just too many interesting ways of combining things. There's too many sort of deep ideas waiting to be uh, discovered and when it you know, not only we, but but nobody ever is going to to discover most of them. So, choices about how to make how to do the exploration actually matter quite a bit.

  youtube.com

Professor of international affairs at Johns Hopkins SAIS and co-author, with Abraham Newman, of Underground Empire: How America Weaponized the World Economy.

• Lovedrcmnd.app

  The Singer of Tales

  Their words

  That question is explored in another extraordinary book, Albert B. Lord’s The Singer of Tales

  programmablemutter.com

Software engineer and essayist who writes about programming, formal methods, philosophy and literature at thoughts.wyounas.com.

• Likedrcmnd.app

  Principles of the SPIN Model Checker

  Their words

  This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.

  thoughts.wyounas.com

Biochemist at University College London; writes about the origin of life and the role of energy in evolution, in The Vital Question and Transformer.

• Our readingkorrents.com

  Bacteria never became complex because the barrier is structure, not information — they explored genetic space far more thoroughly than eukaryotes and still got stuck.

  Their words

  So they have explored genetic sequence space far more thoroughly than eukaryotes ever did because they’ve had twice as long at least, and they’ve got much larger populations, and they never got around this problem. So why can’t they? It seems as if you can’t solve it with information alone. So what’s the problem? The problem is structure.

  youtube.com