COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)(marcoeg.medium.com)

47 points by marcoeg 11 months ago | 14 comments

Claude is a Contrarian(medium.com)

92 points by rdsubhas 1 month ago | 122 comments

The SIM-to-real problem isn't about simulators – it's about behavior robustness(medium.com)

20 points by fabotelli 9 months ago | 3 comments

Image manipulation with convolution using Julia(medium.com)

36 points by AhmadHamze 7 months ago | 4 comments

Making a natural looking color generator algorithm(medium.com)

5 points by foginni 2 years ago | 2 comments

An Update on TinyKVM(fwsgonzo.medium.com)

131 points by ingve 1 year ago | 28 comments

Recursive self-improvement through collective intelligence(pub.sakana.ai)

113 points by hardmaru 14 days ago | 61 comments

Sakana AI and UC Berkeley research page introducing MASS, a method that optimizes multi-agent workflows and distills their collective intelligence as self-supervision for recursive self-improvement.

A Design Space Exploration of Async/Await(cel.cs.brown.edu)

431 points by wcrichton 1 month ago | 124 comments

Brown University Cognitive Engineering Lab blog post summarizing a paper comparing how async/await designs differ across programming languages.

Chemistry Nobel: Computational protein design and protein structure prediction(nobelprize.org)

510 points by mitchbob 2 years ago | 287 comments

Official Royal Swedish Academy of Sciences press release announcing the 2024 Nobel Prize in Chemistry for computational protein design and protein structure prediction.

A New Experiment Meta-Strategy(chillphysicsenjoyer.substack.com)

26 points by surprisetalk 1 month ago | 1 comments

A Substack post by an amateur physicist describing a new strategy for doing home experiments after reorganizing a messy lab to fit limited free evenings.

Alonzo Church: Architect of computer intelligence(onepercentrule.substack.com)

318 points by drcwpl 2 years ago | 81 comments

A Substack essay profiling logician Alonzo Church and his solution to the Entscheidungsproblem as a foundational contribution to computer science.

AI and the Enclosure of the Scientific Commons(arxiv.org)

131 points by jrepinc 3 days ago | 77 comments

arXiv paper arguing that AI enables an enclosure of the scientific literature as an information commons, analogous to the historical English enclosure of common lands.