vita nouva
home·diary·blog·microblog·topics·graph·search bibliography·anthology·music·guestbook·cosmography

¶

Feb 17, 2026 Why 1 is not a prime in 2026/02/17 diary
Feb 11, 2026 First Proof µ
Jan 17, 2026 Currying in 2026/01/17 diary
Jan 01, 2026 Löb's theorem µ
Dec 06, 2025 Deciding my favorite artist draft
Jul 01, 2024 Proof Mapping is Injection iff Direct Image Mapping is Injection post
Dec 18, 2021 Introduction to Computational Geometry post
Jan 04, 2020 Representations and Implementations of Graphs post
this topic
8 articles · 8 mentions
17,446 words
~86 min total reading
16 connections
related topics
Programming · Leonardo da Vinci · Linux · LLM · MacOS · Python · Scala
connections · 16
← Deciding my favorite artist
← Introduction to Computational Geometry
← Representations and Implementations of Graphs
← Proof Mapping is Injection iff Direct Image Mapping is Injection
← Why Democracy Is Mathematically Impossible
← Linear Algebra
← Class Invariant
← Currying diary
← Why 1 is not a prime diary
← Löb's theorem µ
+6 more
← First Proof µ
→ Bibliography
→ Sieve's Algorithm
→ Commentary
→ The Julia Programming Language
→ Prefect Numbers
exhibition
* Advertisements *
[AD] egylinux archive
· · ·
Recte iudica, bene age, aequo animo fer.
rss · github · twitter · mail
© 2026 lr0