Ric 🧐

Maths & CS | Data Intelligence at ICO

[Ric 🧐 @eigenric]

He publicado nuevo post en mi blog sobre el cálculo del grupo fundamental de la cinta de Möbius. El uso de animaciones por ordenador puede motivar *bastante* la investigación y enseñanza matemática
https://t.co/Gs1C5E1QTU

[Ric 🧐 @eigenric]

Avoiding infoxication from social networks using command line newsboat + agy (antigravity-cli) . Superuseful!!

[Ric 🧐 @eigenric]

Lo que está claro es que pensar el infinito matemático como ese «Todo metafísico» de los filósofos es otra cosa

[Ric 🧐 @eigenric]

Desde el análisis el finitismo es una absurdez , pero a veces las matemáticas se sienten como añadir un número más en una secuencia ya *suficientemente grande* de números naturales

[Ric 🧐 @eigenric]

El infinito matemático siempre fue más cómodo de pensar como potencial y concreto (puedes añadir otro más) , cerca de la intuición , no como un infinito o actual sin faltar el respeto a Cantor (pobre de él).

[Ric 🧐 @eigenric]

Before fixing, describe. Before explaining, observe.

Precision is not bureaucracy. It is part of the solution (4/4)

[Ric 🧐 @eigenric]

Solving an ambiguous computer problem can become endless.

Not because the computer is complicated, but because the problem is still vague (in the language model of your mind) . (1/4)

[Ric 🧐 @eigenric]

Clear words reduce confusion.

And debugging is often just that: reducing confusion until the problem becomes small enough to see. (3/4)

[Ric 🧐 @eigenric]

🌀 ¿Cómo suena una Máquina de Turing? Del modelo abstracto a un experimento musical: Turingfy ¿Y si pudieras *ejecutar* una playlist de Spotify?

📖 https://t.co/aE6dn2G4DN

Una mirada creativa a la computación 🎶
#Turing #MúsicaAlgorítmica

[Overleaf @overleaf]

🟢 Overleaf is now operating normally. We are continuing to monitor for any further issues. Thank you for your patience. You can always view our status at https://t.co/2ZcayPRYo9

[krupa @krupaad]

I decided to build a Transformer from Scratch...but on a GPU.
No PyTorch or TensorFlow.
Just CUDA, Python and Numba.

Just finished building the full Encoder Block - here's a thread on my progress so far:

[ℏεsam @Hesamation]

great comprehensive blog on how and why transformers work + implementing them in code:
> explaining self-attention
> positional encoding
> encoder-decoders
> the role of each layer in LLMs
> a fantastic fill-in-the-blank coding practice to build an LLM from scratch

[ℏεsam @Hesamation]

the Softmax trick:

[Ric 🧐 @eigenric]

Basta ver los ejemplos de divulgadores de éxito como @3blue1brown o @mike_mates

[Ric 🧐 @eigenric]

He publicado nuevo post en mi blog sobre el cálculo del grupo fundamental de la cinta de Möbius. El uso de animaciones por ordenador puede motivar *bastante* la investigación y enseñanza matemática
https://t.co/Gs1C5E1QTU

[Ric 🧐 @eigenric]

En el contexto de la Topología Algebraica, el concepto de retracto de deformación es esencial para el cálculo de grupo fundamentales. Aquí realizo una animación usando la biblioteca Manim que ilustra un ejercicio clásico.
https://t.co/UwdCKfYC5o

[Fareesh Vijayarangam @fareesh]

@hot_girl_spring mfw every day i compute (f(x+h) - f(x)) / h

[Ric 🧐 @eigenric]

¿Cansado de LaTeX? Puedes utilizar markdown preview enhanced en VsCode y exportar con pandoc para escribir matemáticas.
https://t.co/5cn1mGcgPm

[Ric 🧐 @eigenric]

¿cómo buscar y reemplazar en vim?
https://t.co/JC8CwEvdXD

[Ric 🧐 @eigenric]

Creo que lo que me echó para atr��s fue la dificultad para configurar el servidor de sincronización entre varios dispositivos (i.e App Android). En la nueva versión parece que las cosas han cambiado.

[Ric 🧐 @eigenric]

Durante septiembre de 2017, transicioné de usar Kanban GTD con Trello a probar suerte con Taskwarrior. En este post explico algunas de sus características y ejemplo básico de uso. https://t.co/4v4gXKVREC