A new version of the Scala Toolkit is now available, featuring updated libraries. Check it out at github.com/scala/toolk...
We are still considering adding parallelism functionalities to the toolkit. If you're interested, join the conversation!
Hacía tiempo que no me sorprendía tanto un módulo de python como ty. Lleva el sistema de tipos gradual a un nivel más que aceptable con la intersección de tipos como elemento nativo, cosa que no existe en python 3.15 todavía ni se espera que esté.
docs.astral.sh/ty/
#types #python
Effects as Capabilities in Scala https://lobste.rs/s/whp654 #scala #plt
Very nice side-by-side #Unison - #Scala language guide
www.unison-lang.org/compare-lang...
@unison-lang.org
Highly enjoyed @ross #Scala Variance blog post. TBH, I didn't know the two negatives are a positive rule.
https://rossabaker.com/presentations/understanding-scala-variance/
📢 A new YouTube channel all about Scala! Hit the subscribe button - this guy already has 8 episodes on macros! #scala www.youtube.com/@Kalin-Does-...
Your message made me write this rlemaitre.com/Articles/sca...
What do you think about this proposal?
IA y matemáticas (presente y futuro). jaalonso.github.io/vestigium/po... #IA #Matemáticas
A new video in the IntelliJ IDEA x Scala series is out! 📽️
This time, we discuss named tuples. The IntelliJ IDEA Scala plugin already supports this new feature, which will be standardized with the upcoming Scala 3.7 release.
Watch here: www.youtube.com/watch?v=_zqr...
#scala #intellijidea
Cartel del evento Retromañía 2025. Se ve representado un duelo al estilo del viejo oeste con dos vaqueros en primer plano con logotipos de Atari y Amiga en sus espaldas. Al fondo se aprecia la silueta de otro vaquero, y al fondo se ven la cúpula y dos torres de la Basílica del Pilar de Zaragoza. (Seguramente generado por IA).
RetroMañía es un evento anual sobre Retroinformática y videojuegos clásicos que se celebra en Zaragoza desde 2007, organizado por la asociación RetroAcción.
Su decimonovena edición se celebra del 7 al 11 de abril de 2025.
www.retroaccion.org/retromania-2...
¿Qué dirán los historiadores del futuro sobre quién invadió a quién? Hoy escribo sobre cómo los países imperialistas esconden sus intereses en narrativas justificadoras del crimen que desgraciadamente también compran gentes de izquierdas.
¿Invadió Ucrania a Rusia?
www.eldiario.es/opinion/zona...
Fotonovela
I’ve worked it out. I know what Trump’s cunning plan is:
- invade Canada
- invade Greenland
- invade Mexico
Putin invades Eastern Europe
Together Putin and Trump invade Europe, and dance hand-in-hand into the sunset, singing “Its Springtime for Hitler in Germany.”
I just completed "Ceres Search" - Day 4 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/4
I've completed "Mull It Over" - Day 3 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/3
I just completed "Red-Nosed Reports" - Day 2 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/2
He probado, que aún no tengo el libro de Categorías.
I've completed "Historian Hysteria" - Day 1 - Advent of Code 2024 #AdventOfCode adventofcode.com/2024/day/1
No sé, pero este año no tengo suficiente espiritu navideño por hacer el "Advent of Code". Igual me dedico a leer algún libro pendiente, como el reciente "Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing" de Noson S. Yanofsky. Retos no faltan.
Líneas de transporte eléctrico de altísimo voltaje (UHV) para llevar grandes cantidades de energía a largas distancias. Sin embargo, sigue siendo mejor que la energía de produzca cerca de los consumidores y de fuentes sostenibles.
www.bbc.com/mundo/articl...
Simplicity is the ultimate sophistication!
www.scala-lang.org/2024/08/19/g...
ok, let's break it down.
at the core of atproto is the data. it lives own your own computer (or someone hosts it for you). think of it as a hard drive with JSON files on it
data is structured (i.e. has a type), and can references other records on other peoples' computer with a URI like a hyperlink
