-
Nice intro talk to
#categorytheory by@DrEugeniaCheng! The power of context over content. "Everything: 1) should be understood in context 2) is privileged in some contexts and not others 3) should be studied in relation w/ other things, not in isolation"https://youtu.be/ho7oagHeqNc -
Next week I'll be at
@T3chFest presenting "The Big Bang Category Theory".
Translating the maths
around #CategoryTheory to a language that we, developers, can understand, code
.
If you want to join me, I'll be there on 15 March at 12:30h pic.twitter.com/gZdcMg3CtM
-
I resurrected my math blog and made my FIRST real blog post -- on "categorical complexity". Please feel free to comment on content, style and anything else that I should be aware of. http://saugatabasumath.wordpress.com/2019/12/28/categorical-complexity-1/ …
#categorytheory#complexitytheory -
We're looking for help! We've been working on translating the exercises in
@BartoszMilewski's Category Theory for Programmers into Kotlin and would love to see more people get involved! https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/issues …#CategoryTheory#Kotlinpic.twitter.com/lc78TC0jqE
Prikaži ovu nit -
I just published Monoid in the Category of Endofunctors https://medium.com/p/monoid-in-the-category-of-endofunctors-b85bab43587b …
#scala#fp#categorytheory -
A categorical view of computational effects. ~ Emily Riehl (
@emilyriehl). http://math.jhu.edu/~eriehl/lambda.pdf …#CategoryTheory#FunctionalProgramming -
IMO only messed up thing with
#CategoryTheory is its terminology. It has such an alien names compared to the concept they represents. I highly recommend a talk by@_zainabali_, not only you will learn about recursion schemes but the essence of CT as well.https://urlzs.com/4VvUx -
Project M36 is what SQL databases should look like, true relational algebra based databases. While learned database systems pave the way for great performance automation. Exciting work happening! https://github.com/agentm/project-m36 … https://blog.acolyer.org/2019/01/16/sagedb-a-learned-database-system/ …
#CategoryTheoryPrikaži ovu nit -
new blog post
#CategoryTheory made fun by@marcoshuttle in his talk at#LambdaWorld
https://www.signifytechnology.com/blog/2019/12/fun-with-categories-by-marco-perone … -
Here is
@DrEugeniaCheng speaking at the Auckland writers festival https://soundcloud.com/auckland-writers-festival/088-the-art-of-logic-pod-mp3 …#categorytheory -
New post: A Sketch of Categorical Relation Algebra Combinators in Z3Py http://www.philipzucker.com/a-sketch-of-categorical-relation-algebra-combinators-in-z3py/ …
#categorytheory#python#z3 -
Look, my two new blog posts on
#lenses are out in the@statebox blog!#functionalprogramming#categorytheory https://blog.statebox.org/on-lawful-lenses-6e18a1e17bdf … https://blog.statebox.org/more-categorical-thoughts-on-lawful-lenses-9dba9fb269fd … -
“Notes on Category Theory with examples from basic mathematics”, P. Perrone. https://arxiv.org/pdf/1912.10642.pdf …
#math#CategoryTheory -
In an effort to spread categorical thinking, Statebox is organising a
#categorytheory course in March in#Berlin. Interested? Sign up here
https://training.statebox.org/ -
-
New post: Functors and Vectors http://www.philipzucker.com/functors-and-vectors/ …
#categorytheory#haskell#vectorsPrikaži ovu nit -
An interesting look at Category Theory and how it works in the minds of programmers! Check it out!
#categorytheory#programming Category Theory is in our minds? Bartosz Milewski weighs in. - CoRecursive Podcast https://hubs.ly/H0lf80V0 by@corecursive -
wow, our (
@statebox) new repository of awesome resources for#applied#categorytheory got 92 Github stars overnight! and there are still a lot of things which deserve to be added
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
