Awesome List Updates on Aug 24, 2024

7 awesome lists updated today.

1. Awesome Godot

TerraBrush (⭐912) - Minimal Terrain heightmap editor that features sculpting, painting textures, LOD, and MultiZones.

Resources - Monitor for system resources and processes that can terminate graphical applications and processes.

rlychrisg/keepcursor.nvim (⭐12) - A collection of functions to control how the screen is positioned around the cursor.

AutoMQ (⭐6.8k) [Scala/Java] - cloud-first alternative to Kafka by decoupling durability to S3 and EBS. 100% Kafka compatible. 10x cost-effective. Autoscale in seconds. Single-digit ms latency.

UW CSE505 18au Principles of PL - Techniques for thinking crisply about programming languages, write some fascinating programs, and discuss various design tradeoffs.

Martin-Löf. Intuitionistic Type Theory - Notes by Giovanni Sambin of a series of type theory lectures given in Padua, June 1980.

Chlipala. Formal Reasoning About Programs - A book introducing both machine-checked proof with Coq Proof Assistant and approaches to formal reasoning about program correctness.

Bengt. Programming in Martin-Löf's Type Theory - This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.

The Univalent Foundations Program Institute for Advanced Study. Homotopy Type Theory: Univalent Foundations of Mathematics - The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.

sphinx-intl (⭐81) - A Sphinx utility that make it easy to translate and to apply translations.

Human–machine collaboration for improving semiconductor process development - Nature, 2023. [All Versions]. [Nature News]. This work studies Bayesian optimization algorithms to investigate how artificial intelligence (AI) might decrease the cost of developing complex semiconductor chip processes. In particular, this work create a controlled virtual process game to systematically benchmark the performance of humans and computers for the design of a semiconductor fabrication process. The authors find that human engineers excel in the early stages of development, whereas the algorithms are far more cost-efficient near the tight tolerances of the target.