Mario boosted

One very bad thing about scientific papers being behind paywalls is that (competing) pseudoscience isn’t behind paywalls, so it’s easier to find misinformation online than to find facts.

Mario boosted

Está guay que tenga Mastodon el mejor grupo de post-hardcore post-punk de Granada @ramper

Mario boosted

Do you happen to know any remote-friendly company that could hire a Scala (and Elm) developer that has also worked with C, C++ and Python? And that could be happy to learn anything new?

It's not immediate, but I may start looking for a job soon(ish), so feel free to boost!

Emacs never goes too far. It had never ocurred to me that I could use org-babel to manage my dotfiles.

6. Topología con locales. Una redefinición de espacio topológico donde no se necesita elección para probar constructivamente Tychonoff pero si se incluye elección no se produce la paradoja de Banach-Tarski.

5. Teoría de categorías aplicada. Más general que lo anterior. Hay un par de libros (Fong/Spivak, Bradley) hablando de aplicaciones de la teoría categorías a cosas como bases de datos o circuitos.

4. Categorías monoidales para lenguaje y cuántica. Coecke tiene artículos donde desarrolla un lenguaje gráfico que sirve para representar mecánica cuántica y lenguaje natural. Tiene interpretación en categorías.

3. Teoría de dominios (Scott) y semántica denotacional, dualidad abstracta de Stone. No vemos nada de esto en el doble y son aplicaciones útiles de teoría del orden y topología a la programación.

2. Computabilidad y topología sintéticas. Bauer tiene un artículo en el que hace computabilidad sintética con lógica constructivista. Los abiertos son conjuntos semidecidibles y eso permite hacer topología y computación a la vez. Todo se podría implementar con programación funcional.

1. Análisis constructivista. Estudiar análisis sin tercio excluso e implementar unos reales exactos en Haskell con los que computar. Estudiar los reales de Escardó y computación con estructuras infinitas. (Siguiendo Bishop)

Me hice hace un tiempo una lista de ideas para TFG para mates/info y me la he vuelto a encontrar. Como a mí ya no me va a servir, voy a retocarla un momento y cederla al mundo. Si alguien se anima con algo de esto porfa que me escriba que me va a hacer ilusión y tengo bibliografía de casi todo por ahí.

Mario boosted

I am writing this toot inside an Emacs buffer using .

Emacs never goes too far.

"Please Don't Learn Category Theory to Learn Haskell"

jozefg.bitbucket.io/posts/2013

This is a really good piece of advice. It is easy to feel overwhelmed by category theory, and most of it is not a *prerequisite* for learning Haskell, Scala or Ocaml. Learning how the categorically-inspired constructions work in these languages is more than enough.

You, dumb: there are infinitely many primes.
The GAP System for Computational Discrete Algebra:

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!