Show newer

The long-awaited enumerative proof of the four color theorem, by David Jackson and Bruce Richmond, is here! Jackson announced this proof in May and it made big news, but then there were apparently some issues that needed to be fixed. Now on arXiv!

arxiv.org/abs/2212.09835

¿Messi es el que tiene una condena de cárcel por defraudar a Hacienda millones de euros o es otro? Que con los futbolistas delincuentes me lío.

RT @amytsmedicos@twitter.com

VÍDEO DEL COMITÉ DE HUELGA DE ATENCIÓN PRIMARIA DESDE LA CONSEJERÍA DE SANIDAD

🐦🔗: twitter.com/amytsmedicos/statu

phoronix.com/news/GCC-13-Rust-

El soporte en para se incorporará a la mainline a partir del GCC 13. Aunque no soy programador ni entusiasta de Rust, sí lo soy del ecosistema GCC (para mi el mejor ecosistema de compiladores).

Módulo de movimiento lento para el Belén de este año: Basado en un microcontrolador y un motor paso a paso. Desarrollado en C++.

avelinoherrera.com/blog/index.

La testosterona, esa hormona que aumenta nuestra agresividad, nuestras actitudes de liderazgo; esa hormona imprescindible para ser un "macho alfa"...

¿Os suena todo esto? Porque lo repiten hasta la mismísima saciedad en la cultura popular. Pues veréis... 🧵🪡

Encuentro en Las Palmas de Gran Canaria. Charlas, talleres y exposición de proyectos personales. Si eres ingeniero, desarrollador, docente o aficiomado al mumdo maker, apúntate de forma gratuita enviando un correo a arduinogc.mad@gmail.com

I am a computer engineer. Interests:

C++, hardware and embedded development, VHDL, microcontrollers, FPGAs, software defined radio, astronomy and electronic music.

Current :
- USB low speed device implementation in an FPGA (VHDL) from scratch.
- Implementation of a FM broadcast software defined radio receiver based on a delta-sigma 1-bit ADC in an FPGA (VHDL).

Recent finished :
- VHDL implementation of a basic RISC-V procesor.
- Homebrew game for Game Boy Advance in C++.
- AM broadcast software defined radio receiver based on a delta-sigma 1-bit ADC in an FPGA.

avelinoherrera.com

Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.