Articles, papers, books, and content I've read with my thoughts and commentary.
Zhangde Song, Jieyu Lu, Yuanqi Du, et al. · arXiv
A scenario-grounded benchmark that evaluates LLMs across biology, chemistry, materials, and physics for scientific discovery tasks.
Martin Kleppmann · Martin Kleppmann's Blog
An argument that LLM-based coding assistants will transform formal verification from niche academic pursuit into mainstream software engineering practice.
Robert Wright · Nonzero Newsletter
A critical examination of Marc Andreessen's techno-optimist manifesto and its intellectual foundations.
Equipe do Nexo Jornal · Nexo Jornal
O Nexo selecionou 10 conteúdos lançados nesse período, que simbolizam algumas das principais características do jornal.
Designing Data-Intensive Applications
Martin Kleppmann
Anna Kariênina
Liev Tolstói
Structure and Interpretation of Computer Programs
Harold Abelson, Gerald Jay Sussman and, Julie Sussman
Fundamentals of Software Architecture
Mark Richards and Neal Ford
Conceptual Mathematics: A First Introduction to Categories
F. W. Lawvere and Stephen H. Schanuel
Links are Amazon affiliate links.
