LOGICAFFEINELatest updates

Part I: First Steps

1. Introduction 2. How LOGOS Reads English 3. Getting Started 4. Tutorial: Teach the Computer to Guess 5. Checkpoint: First Steps

Part II: The Language

6. Variables and Types 7. Text 8. Operators and Expressions 9. Control Flow 10. Functions 11. Closures and Function Values 12. Collections 13. User-Defined Types 14. Generics 15. Error Handling 16. Checkpoint: The Language

Part III: Systems Programming

17. Memory and Ownership 18. The Zone System 19. Bits, Bytes, and Machine Words 20. Concurrency 21. Interoperability: Rust, Native, and WASM 22. Checkpoint: Systems Programming

Part IV: Distributed Programming

23. Distributed Types (CRDTs)24. P2P Networking 25. Policy-Based Security 26. Checkpoint: Distributed Programming

Part V: Projects and Tooling

27. Modules 28. The CLI: largo 29. Standard Library 30. Building Web Apps 31. How LOGOS Runs: The Five Tiers 32. Checkpoint: Projects and Tooling

Part VI: Logic and Verification

33. Logic Mode 34. Assertions and Trust 35. Z3 Static Verification 36. The Proof Engine: Theorems from English 37. Checkpoint: Logic and Verification

Part VII: Practice

38. Complete Examples 39. Recipes: How Do I…?

Part VIII: Reference

40. Quick Reference 41. Appendix: Every Operator, Both Spellings 42. Appendix: The Error Message Gallery 43. Appendix: Playground vs Compiled

First Steps

Introduction Syllogistic Logic Meaning and Definitions Fallacies and Argumentation Inductive Reasoning

Building Blocks

Basic Propositional Logic Propositional Proofs

Expanding Horizons

Basic Quantificational Logic Relations and Identity Basic Modal Logic Further Modal Systems Deontic and Imperative Logic Belief Logic

Mastery

A Formalized Ethical Theory Metalogic History of Logic Deviant Logics Philosophy of Logic

Studio Crates Roadmap Contact News Benchmarks

← Back to News

2026-07-11

ReleaseTools

v0.10.1 — The Full Linux Binaries Run on Stock glibc

By LOGICAFFEINE Team

What broke

The --full flavor of largo bundles Z3 for static verification. Z3 4.16 needs C++20's std::format, so the full binaries are built with gcc-13 — and gcc-13's libstdc++ tags its symbols GLIBCXX_3.4.31, a version stock Ubuntu 22.04 and older do not ship. v0.10.0's largo-full-linux-x64 and largo-full-linux-arm64 linked libstdc++ dynamically, asked the system for that version, and died at startup with GLIBCXX_3.4.31 not found.

The standard binaries, which carry no Z3, were not affected.

The fix

The full Linux builds now link libstdc++ statically. z3-sys emits a plain -lstdc++; the build hands the linker a library-search directory that holds only libstdc++.a, so that flag resolves to the static archive and the binary no longer depends on the system's libstdc++ at all.

Get it

curl -fsSL https://logicaffeine.com/install.sh | sh -s -- --full

Or, without Z3:

curl -fsSL https://logicaffeine.com/install.sh | sh