Notices by Fabián Heredia 🚲 (fabianhjr@social.coop)

Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Thursday, 06-Sep-2018 19:23:03 EDT Fabián Heredia 🚲

El día de ayer cerca de 30,000 compañerxs de #UNAM gritamos #FueraPorros en repudio a las agresiones que sufrieron el lunes estudiantes que se manifestaban en Rectoría.

In conversation Thursday, 06-Sep-2018 19:23:03 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Wednesday, 01-Aug-2018 20:19:53 EDT Fabián Heredia 🚲

Does anyone know a cool essay, treaty or other text on `use value`?

In conversation Wednesday, 01-Aug-2018 20:19:53 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Wednesday, 01-Aug-2018 18:43:08 EDT Fabián Heredia 🚲

Coops web services I know of:
- social.coop (Mastodon Instance)
- git.coop (git hosting)
- resonate.is (streaming music)
Anymore I should know of?

In conversation Wednesday, 01-Aug-2018 18:43:08 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Tuesday, 31-Jul-2018 23:38:56 EDT Fabián Heredia 🚲

Black Rose Foundation just release a quick intro de Libertarian Socialism.
Check it out and share it with your friends!
https://blackrosefed.org/will-be-free-libertarian-socialism/

In conversation Tuesday, 31-Jul-2018 23:38:56 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Sunday, 29-Jul-2018 19:09:56 EDT Fabián Heredia 🚲

First Beer Coop Expo in Mexico City in Casa Viva. :3

In conversation Sunday, 29-Jul-2018 19:09:56 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Friday, 22-Jun-2018 23:38:38 EDT Fabián Heredia 🚲

Hi USA, here is my college. (Ciencias - UNAM) It has a good worldwide ranking and it has a $0.25 MXN/year tuition and a $0.25 MXN/year admin fee to study there. ($0.025 USD/year total) I think foreigners pay a little more (like 50 USD/year) but the cost of living is also very low. Classes are only in Spanish though.
Just putting it out there as an option as student loans/debt get worse and Trump gets tired of too much winning™ with the trade war vs the whole world.

In conversation Friday, 22-Jun-2018 23:38:38 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Tuesday, 22-May-2018 13:18:13 EDT Fabián Heredia 🚲

Anyone know if there is a Copyfair/Copyfarleft software license?
What are your thoughts on the Peer Production License?

In conversation Tuesday, 22-May-2018 13:18:13 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Sunday, 13-May-2018 02:02:49 EDT Fabián Heredia 🚲

Well, #decentralized / #decent GitHub is up an running. Never thought this technology was already available.
https://www.npmjs.com/package/git-ssb
https://git-ssb.celehner.com/%25n92DiQh7ietE%2BR%2BX%2FI403LQoyf2DtR3WQfCkDKlheQU%3D.sha256
https://social.coop/media/bNqwDowP0z7r4W9EoZ0

In conversation Sunday, 13-May-2018 02:02:49 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Wednesday, 09-May-2018 22:41:44 EDT Fabián Heredia 🚲

Decent technologies should leverage the fall of intellectual "property".
CJDNS, IPFS, Dat, SSB, et. al. are paving a way to a parallel crisis for propertarians as Automation is paving one for proletarians / lumpen proletarians.

In conversation Wednesday, 09-May-2018 22:41:44 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Tuesday, 08-May-2018 23:05:40 EDT Fabián Heredia 🚲
- ☭ prolie tariat ☭
Hey, @falgsc have you given SSB a try? I think you might love the left ambiance there too, lots of solarpunks and ancoms. :3
http://scuttlebutt.nz/

In conversation Tuesday, 08-May-2018 23:05:40 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Monday, 07-May-2018 22:29:26 EDT Fabián Heredia 🚲

> For we each of us deserve everything, every luxury that was ever piled in the tombs of the dead kings, and we each of us deserve nothing, not a mouthful of bread in hunger. Have we not eaten while another starved? Will you punish us for that? Will you reward us for the virtue of starving while others ate? No man earns punishment, no man earns reward. Free your mind of the idea of deserving, the idea of earning, and you will begin to be able to think.
Ursula K. Le Guin - The Dispossessed

In conversation Monday, 07-May-2018 22:29:26 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Thursday, 12-Apr-2018 16:54:29 EDT Fabián Heredia 🚲

Want a really nice #CryptoUBI / #UBI and are near or able to travel to France?
Currently it is 10 G1/day and this is more or less what you could buy near France: https://www.gchange.fr/#/app/market/lg
Check this list of events to join #Duniter: https://framacarte.org/fr/map/duniter-g1_8702

In conversation Thursday, 12-Apr-2018 16:54:29 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Wednesday, 11-Apr-2018 03:46:37 EDT Fabián Heredia 🚲

Any #duniter / #g1 UBI recipient willing to share their experience so far?
Looks like it is close to a 5-10 EUR/day UBI :3
https://duniter.org/en/theoretical/

In conversation Wednesday, 11-Apr-2018 03:46:37 EDT from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Friday, 02-Mar-2018 12:35:20 EST Fabián Heredia 🚲

A cool short game (15 mins) explaining ideology and contradictions of #capitalism.
https://colestia.itch.io/postcapitalism
#postcapitalism #anticapitalism #socialism #communism #communalism #anarchism

In conversation Friday, 02-Mar-2018 12:35:20 EST from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Saturday, 24-Feb-2018 01:25:40 EST Fabián Heredia 🚲

Cory Doctorow's Walkaway posits a Communalist Utopia trough Libre Software/Hardware/Human Coordination
I haven't finished it but highly recommend it. :3
https://www.npr.org/2017/04/27/523587179/in-walkaway-a-blueprint-for-a-new-weird-but-better-world

In conversation Saturday, 24-Feb-2018 01:25:40 EST from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Wednesday, 10-Jan-2018 02:49:29 EST Fabián Heredia 🚲

I am also on #SSB, trying #PatchWork out and I think it is really promising. :3
Only thing I am concerned about is storage. I am already using ~550 MB and I am just getting started.
Anyone else there from #SocialCoop or other mastodon instances? What have you liked or disliked about it?
My id:
@k53z9zrXEsxytIE+38qaApl44ZJS68XvkepQ0fyJLdg=.ed25519
https://social.coop/media/CZMJ4cvy7kB8u4ebE8E

In conversation Wednesday, 10-Jan-2018 02:49:29 EST from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Tuesday, 05-Dec-2017 01:26:01 EST Fabián Heredia 🚲
@natecull @akkartik @seanl
The Curry-Howard correspondence is between Simpled Typed Lambda Calculus and Propositional Intuisionistic Logic.
Per Martin-Löf added dependent types, types that can depend on the value of their arguments, to create Intuisionistic Type Theory which corresponds to Intuisionistic Predicate Calculus.
So with that bigger TT, you can prove stuff on computers like:
https://github.com/idris-lang/Idris-dev/blob/master/libs/prelude/Prelude/Nat.idr#L480

In conversation Tuesday, 05-Dec-2017 01:26:01 EST from social.coop permalink
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Monday, 09-Oct-2017 22:44:00 EDT Fabián Heredia 🚲

I have been trying to learn #categorytheory for a while and I got lost in all books I had tried so far.
I can now say that I found the one that has been clearing things up for me. 11/10 worth.
Category Theory for Programmers
(Available as a PDF)
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
In conversation Monday, 09-Oct-2017 22:44:00 EDT from social.coop permalink
Attachments
1. Category Theory for Programmers: The Preface
  
  By Bartosz Milewski from Bartosz Milewski's Programming Cafe
  Table of Contents
  
  Part One
  
  Category: The Essence of Composition
  
  Types and Functions
  
  Categories Great and Small
  
  Kleisli Categories
  
  Products and Coproducts
  
  Simple Algebraic Data Types
  
  Functors
  
  Functoriality
  
  Function Types
  
  Natural Transformations
  
  Part Two
  
  Declarative Programming
  
  Limits and Colimits
  
  Free Monoids
  
  Representable Functors
  
  The Yoneda Lemma
  
  Yoneda Embedding
  
  Part Three
  
  It’s All About Morphisms
  
  Adjunctions
  
  Free/Forgetful Adjunctions
  
  Monads: Programmer’s Definition
  
  Monads and Effects
  
  Monads Categorically
  
  Comonads
  
  F-Algebras
  
  Algebras for Monads
  
  Ends and Coends
  
  Kan Extensions
  
  Enriched Categories
  
  Topoi
  
  Lawvere Theories
  
  Monads, Monoids, and Categories
  There is a pdf version of this book with nicer typesetting available for download.
  
  You may also watch me teaching this material to a live audience.
  
  Preface
  
  For some time now I’ve been floating the idea of writing a book about category theory that would be targeted at programmers. Mind you, not computer scientists but programmers — engineers rather than scientists. I know this sounds crazy and I am properly scared. I can’t deny that there is a huge gap between science and engineering because I have worked on both sides of the divide. But I’ve always felt a very strong compulsion to explain things. I have tremendous admiration for Richard Feynman who was the master of simple explanations. I know I’m no Feynman, but I will try my best. I’m starting by publishing this preface — which is supposed to motivate the reader to learn category theory — in hopes of starting a discussion and soliciting feedback.
  
  I will attempt, in the space of a few paragraphs, to convince you that this book is written for you, and whatever objections you might have to learning one of the most abstract branches of mathematics in your “copious spare time” are totally unfounded.
  
  My optimism is based on several observations. First, category theory is a treasure trove of extremely useful programming ideas. Haskell programmers have been tapping this resource for a long time, and the ideas are slowly percolating into other languages, but this process is too slow. We need to speed it up.
  
  Second, there are many different kinds of math, and they appeal to different audiences. You might be allergic to calculus or algebra, but it doesn’t mean you won’t enjoy category theory. I would go as far as to argue that category theory is the kind of math that is particularly well suited for the minds of programmers. That’s because category theory — rather than dealing with particulars — deals with structure. It deals with the kind of structure that makes programs composable.
  
  Composition is at the very root of category theory — it’s part of the definition of the category itself. And I will argue strongly that composition is the essence of programming. We’ve been composing things forever, long before some great engineer came up with the idea of a subroutine. Some time ago the principles of structural programming revolutionized programming because they made blocks of code composable. Then came object oriented programming, which is all about composing objects. Functional programming is not only about composing functions and algebraic data structures — it makes concurrency composable — something that’s virtually impossible with other programming paradigms.
  
  Third, I have a secret weapon, a butcher’s knife, with which I will butcher math to make it more palatable to programmers. When you’re a professional mathematician, you have to be very careful to get all your assumptions straight, qualify every statement properly, and construct all your proofs rigorously. This makes mathematical papers and books extremely hard to read for an outsider. I’m a physicist by training, and in physics we made amazing advances using informal reasoning. Mathematicians laughed at the Dirac delta function, which was made up on the spot by the great physicist P. A. M. Dirac to solve some differential equations. They stopped laughing when they discovered a completely new branch of calculus called distribution theory that formalized Dirac’s insights.
  
  Of course when using hand-waving arguments you run the risk of saying something blatantly wrong, so I will try to make sure that there is solid mathematical theory behind informal arguments in this book. I do have a worn-out copy of Saunders Mac Lane’s Category Theory for the Working Mathematician on my nightstand.
  
  Since this is category theory for programmers I will illustrate all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power. So a natural temptation would be to say: You must learn Haskell before the bounty of category theory becomes available to you. But that would imply that category theory has no application outside of functional programming and that’s simply not true. So I will provide a lot of C++ examples. Granted, you’ll have to overcome some ugly syntax, the patterns might not stand out from the background of verbosity, and you might be forced to do some copy and paste in lieu of higher abstraction, but that’s just the lot of a C++ programmer.
  
  But you’re not off the hook as far as Haskell is concerned. You don’t have to become a Haskell programmer, but you need it as a language for sketching and documenting ideas to be implemented in C++. That’s exactly how I got started with Haskell. I found its terse syntax and powerful type system a great help in understanding and implementing C++ templates, data structures, and algorithms. But since I can’t expect the readers to already know Haskell, I will introduce it slowly and explain everything as I go.
  
  If you’re an experienced programmer, you might be asking yourself: I’ve been coding for so long without worrying about category theory or functional methods, so what’s changed? Surely you can’t help but notice that there’s been a steady stream of new functional features invading imperative languages. Even Java, the bastion of object-oriented programming, let the lambdas in C++ has recently been evolving at a frantic pace — a new standard every few years — trying to catch up with the changing world. All this activity is in preparation for a disruptive change or, as we physicist call it, a phase transition. If you keep heating water, it will eventually start boiling. We are now in the position of a frog that must decide if it should continue swimming in increasingly hot water, or start looking for some alternatives.
  
  One of the forces that are driving the big change is the multicore revolution. The prevailing programming paradigm, object oriented programming, doesn’t buy you anything in the realm of concurrency and parallelism, and instead encourages dangerous and buggy design. Data hiding, the basic premise of object orientation, when combined with sharing and mutation, becomes a recipe for data races. The idea of combining a mutex with the data it protects is nice but, unfortunately, locks don’t compose, and lock hiding makes deadlocks more likely and harder to debug.
  
  But even in the absence of concurrency, the growing complexity of software systems is testing the limits of scalability of the imperative paradigm. To put it simply, side effects are getting out of hand. Granted, functions that have side effects are often convenient and easy to write. Their effects can in principle be encoded in their names and in the comments. A function called SetPassword or WriteFile is obviously mutating some state and generating side effects, and we are used to dealing with that. It’s only when we start composing functions that have side effects on top of other functions that have side effects, and so on, that things start getting hairy. It’s not that side effects are inherently bad — it’s the fact that they are hidden from view that makes them impossible to manage at larger scales. Side effects don’t scale, and imperative programming is all about side effects.
  
  Changes in hardware and the growing complexity of software are forcing us to rethink the foundations of programming. Just like the builders of Europe’s great gothic cathedrals we’ve been honing our craft to the limits of material and structure. There is an unfinished gothic cathedral in Beauvais, France, that stands witness to this deeply human struggle with limitations. It was intended to beat all previous records of height and lightness, but it suffered a series of collapses. Ad hoc measures like iron rods and wooden supports keep it from disintegrating, but obviously a lot of things went wrong. From a modern perspective, it’s a miracle that so many gothic structures had been successfully completed without the help of modern material science, computer modelling, finite element analysis, and general math and physics. I hope future generations will be as admiring of the programming skills we’ve been displaying in building complex operating systems, web servers, and the internet infrastructure. And, frankly, they should, because we’ve done all this based on very flimsy theoretical foundations. We have to fix those foundations if we want to move forward.
  
  Ad hoc measures preventing the Beauvais cathedral from collapsing
  
  Next: Category: The Essence of Composition.
  Follow @BartoszMilewski
Fabián Heredia 🚲 (fabianhjr@social.coop)'s status on Sunday, 17-Sep-2017 23:08:43 EDT Fabián Heredia 🚲

I just learned about #platformcoop and #socialcoop this weekend and I am already feeling empowered. If you haven't read about it check them out.
https://platform.coop/
https://social.coop/
https://www.youtube.com/watch?v=HSivlaSVk1k

In conversation Sunday, 17-Sep-2017 23:08:43 EDT from social.coop permalink

Public

Notices by Fabián Heredia 🚲 (fabianhjr@social.coop)