prathyvsh

7 ms·

31.
Metaphor Systems: A search engine based on generative AI(metaphor.systems)
151 points by prathyvsh 4y ago|58 comments
32.
HaSKI: An FPGA-based SKI calculus evaluator written in Haskell/Cλash(yager.io)
4 points by prathyvsh 4y ago|0 comments
33.
Diagrammatic Algebra for Hegelian Dialectics(twitter.com)
2 points by prathyvsh 4y ago|0 comments
34.
Algebraic Effects: From Algebra to Programs(abstractfun.com)
2 points by prathyvsh 5y ago|0 comments
35.
Hypergraph Rewriting System in JavaScript(met4citizen.github.io)
2 points by prathyvsh 5y ago|0 comments
36.
Homotopy Type Theory Game(homotopytypetheory.org)
4 points by prathyvsh 5y ago|0 comments
37.
Programming from Galois Connections [pdf](homepage.iis.sinica.edu.tw)
3 points by prathyvsh 5y ago|0 comments
38.
Supershapes: A modelling framework for natural forms(paulbourke.net)
2 points by prathyvsh 5y ago|0 comments
39.
Learn Quantum Computing by playing a game in the browser(quantumflytrap.com)
4 points by prathyvsh 5y ago|0 comments
40.
Chu Spaces: A Visual Introduction(adelelopez.com)
81 points by prathyvsh 5y ago|27 comments
41.
Annotated bibliography for learning Category Theory(github.com)
3 points by prathyvsh 6y ago|0 comments
42.
by prathyvsh 6y ago
This is pretty nice! My first impulse was that could be visualized as a boolean matrix. Good going.
43.
by prathyvsh 6y ago
Thanks for the note! I have added this to research section.
44.
Catalog of Visual Lambda Calculi(github.com)
2 points by prathyvsh 6y ago|0 comments
45.
Emoji Lambda Calculus(twitter.com)
1 points by prathyvsh 6y ago|0 comments
46.
The Algebra of Data, and the Calculus of Mutation (2009) – Kalani Thielen(static.v25media.com)
2 points by prathyvsh 6y ago|0 comments
47.
Expressional equivalence between data, code, and graphics(twitter.com)
1 points by prathyvsh 6y ago|0 comments
48.
Alabaster Mono: Minimal Monochromatic Syntax Highlighting(twitter.com)
1 points by prathyvsh 7y ago|0 comments
49.
Readings on Time: The missing aspect of managed time in mainstream programming(prabros.com)
5 points by prathyvsh 7y ago|0 comments