Mientras tanto me he pasao a Doom Emacs con el plan de que la mayoría de mi configuración sea lo más estándar posible. El tiempo de trasteo se lo dedico a las cuatro cosas que de verdad uso (org, latex, org, un poquillo haskell y org).

Show thread

Me estaba quejando hace unos días de lo lento que es usar org-drill y justo alguien se ha puesto a reimplementar repetición espaciada en Emacs :D

github.com/l3kn/org-fc

Yo llevo usando anki un tiempo, pero la verdad es que me gustaría pasarme a Emacs otra vez.

By the way, this is me justifying the impact of my research. :) Reviewers, quite reasonably, want to know if there are examples of optics in RealWorld.

Show thread

I am collecting examples of the usage of profunctor optics ( ) in industry. Any cases that you know of? I think I am going to start a thread here.

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.

Show thread

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.

Show thread

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.

Show thread

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.

Show thread

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.

Show thread
Show more
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!