“recursive” — Fediverse search results on home.social

GFJacobs Is Still Masking @gfjacobs · 2023-03-14 · 22:41 UTC

@GossiTheDog this toot about a chefs kiss perfection is the chefs kiss of perfection of a Meta-level story about meta-level stuff going on with Meta

#recursive #lifeisrecursive #fractalreality #fractalrecursion

#Meta #SoMeta #Perfect

#recursive #lifeisrecursive #fractalreality #fractalrecursion #meta #someta

GFJacobs Is Still Masking @[email protected] · 2023-03-14 · 22:41 UTC

@GossiTheDog this toot about a chefs kiss perfection is the chefs kiss of perfection of a Meta-level story about meta-level stuff going on with Meta

#recursive #lifeisrecursive #fractalreality #fractalrecursion

#Meta #SoMeta #Perfect

#perfect #someta #meta #fractalrecursion #fractalreality #lifeisrecursive

GFJacobs Is Still Masking @[email protected] · 2023-03-14 · 22:41 UTC

@GossiTheDog this toot about a chefs kiss perfection is the chefs kiss of perfection of a Meta-level story about meta-level stuff going on with Meta

#recursive #lifeisrecursive #fractalreality #fractalrecursion

#Meta #SoMeta #Perfect

#recursive #lifeisrecursive #fractalreality #fractalrecursion #meta #someta

GFJacobs Is Still Masking @[email protected] · 2023-03-14 · 22:41 UTC

@GossiTheDog this toot about a chefs kiss perfection is the chefs kiss of perfection of a Meta-level story about meta-level stuff going on with Meta

#recursive #lifeisrecursive #fractalreality #fractalrecursion

#Meta #SoMeta #Perfect

#perfect #someta #meta #fractalrecursion #fractalreality #lifeisrecursive

Rxiv mechanobio @[email protected] · 2025-06-17 · 18:36 UTC

📰 "Missense and Inframe Pathogenic Variants in PLEC Lead to Minimal or Delayed-Onset Muscular Dystrophy in Autosomal Recessive Epidermolysis Bullosa Simplex: A Genotype-Phenotype Correlation in Nine Cases"
https://doi.org/doi:10.1111/1346-8138.17785
https://pubmed.ncbi.nlm.nih.gov/40525783/
#Cytoskeleton #Mechanical

#cytoskeleton #mechanical

amen zwa, esq. @[email protected] · 2025-10-21 · 11:51 UTC

“Introduction to #Formal #Reasoning”, by Prof Altenkirch (Nottingham), is the most accessible text I have read on #logic for #CS undergraduates. The book uses #Lean theorem prover, to boot!

There are tonnes of great “intro” books and articles on Lean, all over the web. But most of them assume foundational knowledge in many subjects that most CS undies do not possess: formal logic, proof theory, recursion theory, functional programming, Hindley-Milner, Martin-Löf, Calculus of Constructions, and more. This makes it impracticable to use those “advanced intro” material to teach Lean to novices.

And that is a missed opportunity, for it is vital to mould the undies’ malleable brains using FP, logic, Lean, and dependent type theory, before they become irreparably hardened into PP, due to excessive exposure to C++ and Python, as they are wont to do.

Also, Altenkirch’s book makes Lean, logic, and dependent types far less scary, and indeed enjoyable, for the kids.

https://people.cs.nott.ac.uk/psztxa/comp2065.23-24.ifr-notes/_build/latex/ifr.pdf

#lean #cs #logic #reasoning #formal