Carlos

PhD in Production Engineering
Machine Learning, Software Development, Digital Signal Processing
Tat Tvam Asi

[Carlos @tesserato]

Lean 4

A functional programming language and interactive theorem prover. It has emerged as a tool in AI, providing “ground truth” for training LLMs in automated reasoning and formal logic.

#programminglanguages #mathematics #AI

https://t.co/03r29Va0at

https://t.co/w23xP3w8vJ

[Carlos @tesserato]

Virtual Width Networks (VWN)

A framework that decouples representational width from backbone width, offering the benefits of wider LLMs without the quadratic computational costs.

#AI https://t.co/NIxthZb2iM

[Carlos @tesserato]

Maximum Agreement Linear Predictor (MALP)

A statistical model that maximizes Lin's concordance correlation coefficient (CCC) instead of minimizing squared errors.

#science #mathematics https://t.co/1biyH5I3iu

[Carlos @tesserato]

Hear the "Amati King Cello", the Oldest Known Cello in Existence

A look at the "King" Cello, crafted by Andrea Amati around 1560 for King Charles IX of France, which remains playable today at the National Music Museum.

#music #history
https://t.co/I210mjI23l

[Carlos @tesserato]

Aligning brains into a shared space improves their alignment with large language models

Mapping neural activity from multiple individuals into a "shared response space" improves the accuracy of LLM-based brain encoding by 37%.

#neuroscience #AI #draft https://t.co/GVn8JPrQVM

[Carlos @tesserato]

Aligning brains into a shared space improves their alignment with large language models

Mapping neural activity from multiple individuals into a "shared response space" improves the accuracy of LLM-based brain encoding by 37%.

#neuroscience #AI
https://t.co/GVn8JPrQVM

[Carlos @tesserato]

SectorC: A C Compiler in 512 Bytes

An x86-16 assembly C compiler that fits within a single 512-byte boot sector by utilizing space-delimited tokens and hashing identifiers with atoi.

#programming
https://t.co/lBMWCabgnn

[Carlos @tesserato]

Eugenia: esbozo novelesco de costumbres futuras

A pioneering Mexican science fiction and dystopian novel by Eduardo Urzaiz Rodríguez. It describes a future society organized around eugenics and collectivism.

#book #fiction #draft https://t.co/a4U5y8pwW4

[Carlos @tesserato]

Continuous Tensors

A new programming abstraction that allows tensor indices to take real-number values, unifying fields like computational geometry and computer graphics under the language of tensor algebra.

#programming #math
https://t.co/RJraYioaBh

[Carlos @tesserato]

Tect (meta) programming language

A (meta) programming language for designing/reasoning about code.

#programminglanguages #programming
https://t.co/6nOzIzBHYg

[Carlos @tesserato]

Constructor Theory

A new mode of explanation in fundamental physics, expressing laws in terms of what is possible or impossible rather than via initial conditions and motion.

#science #physics

https://t.co/4XN5F8zoze

[Carlos @tesserato]

"O mal está apenas guardando lugar para o bem. O mundo supura é só a olhos impuros. Deus está fazendo coisas fabulosas. Para onde nos atrai o azul?"

Tutameia, João Guimarães Rosa

#Joao_Guimaraes_Rosa #Tutameia

[Carlos @tesserato]

Midi Intro For Makers

A comprehensive guide to the history, hardware, and protocol of MIDI, explaining why the 1982 standard remains essential for modern makers and microcontroller projects.

#music #DSP https://t.co/0OXHdseq9F

[Carlos @tesserato]

Where to Read Leonardo da Vinci's Notebooks Online

Leonardo da Vinci's surviving notebooks, featuring links to the Codex Arundel at the British Library, the Codex Forster at the V&A, and the massive Codex Atlanticus.

#art #history #Science

https://t.co/J7UrKGzuJS

[Carlos @tesserato]

Hear Bach's Pieces Played on Original Baroque Instruments

A playlist of Bach's works performed on period-accurate instruments to recreate the 18th-century soundscape.

#music #history

https://t.co/YuN6EKp4nD

[Carlos @tesserato]

Learn Haskell by building a blog generator

An open, project-oriented book by Gil Mizrahi that teaches functional programming concepts by guiding the reader through the construction of a static blog generator in Haskell.

#book #programminglanguages https://t.co/mXvvsiKV1z

[Carlos @tesserato]

A study applying quantum mechanics to financial markets, revealing that investor herding is driven by economic uncertainty and is significantly stronger during recessions.

#science #paper https://t.co/ABtACjGlNZ

[Carlos @tesserato]

How shallow learning mechanism used by the brain can compete with deep learning

Research from Bar-Ilan University suggests that the brain's wide, shallow architecture can match the classification accuracy of deep learning models.

#AI #science https://t.co/Q28lZ728d4

[Carlos @tesserato]

Training Ising Machines with Equilibrium Propagation

Physical AI hardware: how to train artificial spin glasses (Ising machines) using Equilibrium Propagation.

#AI #paper #hardware https://t.co/BTVl3umepy

[Carlos @tesserato]

Guidance: a cheat code for diffusion models

An accessible explanation of Classifier-Free Guidance (CFG), the mechanism behind the "Guidance Scale" parameter found in almost all modern image generation models.

#AI #machinelearning https://t.co/y9dyo5WYMS