RanaldClouston · @RanaldClouston
180 followers · 472 posts · Server fediscience.org
My #blog for last week, slightly late, on cubical type theory: https://updatedscholar.blogspot.com/2023/01/discussing-cubical-type-theory.html #HoTT #cubical #TypeTheory
#typetheory #cubical #hott #blog
RanaldClouston · @RanaldClouston
134 followers · 280 posts · Server fediscience.org'Computing Cohomology Rings in Cubical Agda' by Thomas Lamiaux, Axel Ljungström, and Anders Mörtberg: "extends previous developments by providing the first fully mechanized definition of cohomology rings... The formalization is constructive so that it can be used to do concrete computations, and it relies on the Cubical Agda system which natively supports higher inductive types and computational univalence". #Agda #Cubical #HoTT #Cohomology
#cohomology #hott #cubical #agda
Sceafa · @Sceafa
106 followers · 526 posts · Server noagendasocial.com#art #abstract #surreal #surrealism #surrealismart #skullfullofcolor #surrealart #artist #dutch #groningen #abstractart #new #illustration #painting #print #screenprint #spaces #spacesinbetween #cubical #cubic #cubes #skull #dark #black #nft #nftdrop #nftart #newnft #darkmatter
#art #abstract #surreal #surrealism #surrealismart #skullfullofcolor #surrealart #artist #dutch #groningen #abstractart #new #illustration #painting #print #screenprint #spaces #spacesinbetween #cubical #cubic #cubes #skull #dark #black #nft #nftdrop #NFTart #newnft #darkmatter
Sceafa · @Sceafa
106 followers · 526 posts · Server noagendasocial.com
#art #abstract #surreal #surrealism #surrealismart #skullfullofcolor #surrealart #artist #dutch #groningen #abstractart #new #illustration #painting #print #screenprint #spaces #spacesinbetween #cubical #cubic #cubes #skull #dark #black #nft #nftdrop #nftart #newnft #cool #darkmatter
#art #abstract #surreal #surrealism #surrealismart #skullfullofcolor #surrealart #artist #dutch #groningen #abstractart #new #illustration #painting #print #screenprint #spaces #spacesinbetween #cubical #cubic #cubes #skull #dark #black #nft #nftdrop #NFTart #newnft #cool #darkmatter
Sceafa · @Sceafa
106 followers · 526 posts · Server noagendasocial.com
This is a new work in the "Spaces In Between" series, I finished earlier today. I named it: "Captured by Cubism"
#art #abstract #surreal #surrealism #surrealismart #you #surrealart #artist #dutch #groningen #abstractart #new #illustration #painting #print #screenprint #spaces #spacesinbetween #cubical #cubic #cubes #love #heart #captured #nft #escher #mcescher
#art #abstract #surreal #surrealism #surrealismart #you #surrealart #artist #dutch #groningen #abstractart #new #illustration #painting #print #screenprint #spaces #spacesinbetween #cubical #cubic #cubes #love #heart #captured #nft #escher #mcescher
Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.fr
A talk by Kevin Buzzard of the Imperial College London: "Is HoTT the way to do mathematics?"
https://www.youtube.com/watch?v=q5-pykbfViA
He discusses criteria for a proof assistant to have in order to be used in formalising mathematics. Most mathematicians today assume classical logic and the axiom of choice.
#HoTT #constructive #cubical #typetheory #Agda #mathematics #formalisation
#formalisation #mathematics #agda #typetheory #cubical #constructive #hott
Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.frJust attended a talk by Jon Sterling on cubical type theory implementations: redtt and cooltt. Throughout the talk the speaker kept saying how all this stuff is already supported by Cubical Agda. I guess it was a good choice to choose Agda as language of preference for working with constructive type theories.
#cooltt #redtt #agda #typetheory #cubical