José Miguel @omixann.me · 02/10/2026Love following them because, amidst all the doom and gloom of (gestures at everything) you get a constant stream of hope in the form of "people work hard to find ways of improving people's lives". 120
Reposted by José MiguelTheZoq2 @thezoq2.bsky.social · 20/09/2026One of the coolest things to happen in Spade yet 👀 @breakingtaps.com wrote and taped out a Transport Triggered Architecture processor from scratch in a month with 0 prior experience! www.youtube.com/watch?v=q6yt...youtube.comI designed a microprocessorYouTube video by Breaking Taps 0215
Reposted by José MiguelEmil Fresk / korken89 @emilfresk.com · 19/09/2026A fun experiment, tried spade-lang.org and made an Ethernet stack running GbE with UDP and ARP support. Nice (Rust) feeling for an HDL, might migrate to it from Amaranth :D Tested on a Colorlight 5A 75B, ECP5 25F. The stack is about 5k LUTs/4k FF, the rest debugging, UART and MDIO scanning. 2154
José Miguel @omixann.me · 19/09/2026As long as C semantics don't get in the way of what you want to implement (in the version you want to target) I think it's a great idea. 120
Reposted by José MiguelTheZoq2 @thezoq2.bsky.social · 18/09/2026We have finally moved Spade to Codeberg 🎉 If you have existing Spade projects, you have to take a few small steps to update blog.spade-lang.org/moving-to-co... 121
José Miguel @omixann.me · 08/09/2026They give a very personal touch to the projects, I encourage you to keep at it 010
José Miguel @omixann.me · 07/09/2026I was just reminded of OC2 by @modrinth.com and oh boy I'm going to spend so much time on it now that it is available on Fabric :D Seriously thanks to all of you involved in the project, OC was a blast years ago and this is "same but better and RISC-V", I couldn't ask for more! 011
Reposted by José MiguelErlend Sogge Heggen @erlend.sh · 03/09/2026Developed by @meri.garden, sponsored by @cosmik.network on behalf of the @atproto.science Roomy community, we present to you: Cross-space federation of channels 💞blog.roomy.spaceFederating friendly spaceshearkening back to the cozy vibes of old-web neighborhoods 15516
Reposted by José MiguelNa @namurii.bsky.social · 28/08/2026Ojo a esto. La Biblioteca Nacional de España busca videojuegos para preservarlos. Si tenéis videojuegos para donarles han puesto aquí una lista de los que les faltan. Podéis contactar sobre las posibles donaciones en donativo@bne.es Infinitamente mejor esto que la especulación. 5477530
José Miguel @omixann.me · 27/08/2026To whatever non-intrusive choice you make, I'd add a "Why should I care?" clickable link that introduces people to the concept of PDSes. Extremely easy to ignore for the archetypical grandma, but an invitation to anybody even remotely curious about the world around them. 010
Reposted by José MiguelGo @golang.org · 27/08/2026Congrats to Go co-creator Rob Pike on receiving the 2026 USENIX Lifetime Achievement Award (The Flame)! 🔥 Rob’s impact spans Go, UTF-8, Plan 9, & Unix programming classics. 📺 Watch acceptance speech: youtu.be/wSXATB0H1DY 📖 USENIX citation: www.usenix.org/about/awards...youtu.beAcceptance video for the 2026 USENIX Lifetime Achievement Award (the "Flame")YouTube video by Rob Pike 08016
José Miguel @omixann.me · 27/08/2026There is a saying in Spanish, "ser más papista que el Papa", which perfectly embodies this phenomenon (with people at least). On the tech side, I'd say Plan 9 is more UNIX than UNIX, for example. 020
José Miguel @omixann.me · 26/08/2026My SIGNALIS obsession cycle is coming back strong now that summer vacation is over. www.youtube.com/watch?v=40tQ...youtube.comS I G N A L I S • II • AmbienceYouTube video by Frank #MuseumOfGaming 010
José Miguel @omixann.me · 26/08/2026Anyway I don't want to start a fight, much less with you, so I won't pry further. Just, please, consider whether the quote/response pairs are really what you want to contribute to the discourse and whether you are really happy with them. 000
José Miguel @omixann.me · 26/08/2026I haven't read the whole thing myself but just looking at your quote/response pairs I can already see you're not engaging with the ideas presented. I say this from a place of love, I have no affiliation with the other person but I've followed you for long enough to care. 100
Reposted by José MiguelColibri Social @colibri.social · 24/08/2026Stuff will break. Go crazy. Have fun. spaces.colibri.social/app 24411
José Miguel @omixann.me · 23/08/2026Code where `unsafe` dominates is bad code (and probably just a careless C port). Code where `unsafe` is dogmatically avoided might not be as performant as possible in Rust by whatever metric you choose. Firmware code with little snippets here and there, thoroughly commented and abstracted awat is OK 010
José Miguel @omixann.me · 23/08/2026Emphasis on "the language acknowledges it" and "demarcated": those two IMO clear a lot of misconceptions about unsafe Rust. i.e., `unsafe` is not bad, it's not Rust admitting defeat, but a conscious choice to make most code "obviously safe" while labeling code whose safety is manually upheld. 200
José Miguel @omixann.me · 23/08/2026If you get back to it: safe Rust is an operating model where nothing you write can invoke UB. This model has its limits, the language acknowledges it, so it offers an alternative: demarcated code blocks where an extra "dangerous" set of operations is available. 100
Reposted by José MiguelTheZoq2 @thezoq2.bsky.social · 20/08/2026My summer vacation is over, so it is time to release Spade v0.20.0 🎉 As a tooling guy, it feels great to finally have autocomplete working in the LSP We also finally added support for static methods, and the docs (docs.spade-lang.org) have seen a ton of improvements blog.spade-lang.org/v0-20-0/ 042
José Miguel @omixann.me · 19/08/2026Pues no sé pero no venderte a la industria del gambling ya es una barra que muchas personalidades online no superan XD Que oye, también puede ser que la barra en YT esté bien baja, no sé. 030
Reposted by José Miguel✧˖°.𝘾𝙮𝙗𝙚𝙧_𝘽𝙪𝙣𝙞.°˖✧ @pixelbuni.kawaii.social · 19/08/2026Estoy buscando mutuals para interactuar y así :p Algunos de mis intereses: - Vocaloid/Utau - Videojuegos (Roblox, Ultrakill, indies, retro) - Anime (Evangelion, Madoka Magica, Oshi no ko) - Humor roto - Nightcore, webcore, internet y2k - Ilustración digital/tradicional Like y rt se agradece 🙏 32818
José Miguel @omixann.me · 18/08/2026Good, its size for any non-trivial project is a fucking meme right now. 000
Reposted by José Miguelmaia arson crimew 🏴 @crimew.gay · 18/08/2026im doin agentic development i got the feds on my github 823614
Reposted by José MiguelLou @lou.gg · 17/08/2026discourse.atmosphere.community/t/universal-... Time to promote this comment I made! Yes, we should have an atmosphere profile apps can reuse. Comment on the forum with your ideas and thoughts, pretty please? 👀discourse.atmosphere.communityUniversal profiles on the open social webFigured I’d chip in with some thoughts on this after a discussion with @nel.pet about this topic. My project, https://colibri.social, has a prototype implementation for an idea of a global profile the... 0223
José Miguel @omixann.me · 12/08/2026I have _many_ more, but I'm still pondering what to do with them all... 010
José Miguel @omixann.me · 12/08/2026Some takes of the eclipse from my little town in Extremadura, Spain :) 231
Reposted by José MiguelAraInfo @arainfo.bsky.social · 12/08/2026⚫ El eclipse solar sobre Zaragoza, en imágenes. La silueta de la basílica del Pilar y el Ebro dejaron algunas de las estampas más espectaculares de la tarde. 🔗 arainfo.org/todos-los-de... 📸 Fotos: Ayuntamiento de Zaragoza 1942991714
José Miguel @omixann.me · 10/08/2026I'm eager to play with mine :D Unfortunately I'm 1700 km away from them 000
José Miguel @omixann.me · 04/08/2026Calla que todavía me haces apreciar el CG-NAT y no queremos eso :D 110
Reposted by José MiguelEBO | StickBrush [zerø] @ EVO France @stickbrush.eurosky.social · 04/08/2026Estos días estoy viendo un poco de cosas locas respecto del formato físico y digital. Voy a hacer un hilo sobre este tema, nomre extraoficial, el hilo de "hay que diferenciar entre dos cosas" 🧵 185
José Miguel @omixann.me · 04/08/2026En plan, sin un "proceso de piratería a escala industrial" y sin una remuneración (vamos, ganarte la vida vendiendo cosas piratas) 110
José Miguel @omixann.me · 04/08/2026De todos modos, con el tema de los torrents y la SGAE en su momento metiendo a todo el mundo en pleitos... qué pasa al final a efectos prácticos con el tema de la distribución? Porque tengo un recuerdo muy vago de que, sin ánimo de lucro, en España era jodido que te buscases un problema. 110
José Miguel @omixann.me · 04/08/2026Perfe, tengo que informarme de la situación por aquí porque al final es lo que un juez puede utilizar a mi favor/contra. Oye, dejando esto aparte, gracias por la labor de documentación que has hecho aquí. 110
José Miguel @omixann.me · 04/08/2026>This argument — that “first sale rights” need to be enumerated12 — gets it exactly backwards. Copyright does not confer an unlimited, unbounded monopoly right; the monopoly rights are the artificial privileges that are specifically defined and enumerated in law in exchange for specific concessions. 111
José Miguel @omixann.me · 04/08/2026No sé en España, pero hace poco leí este artículo y creo que la parte que más me impactó y recuerdo es la idea de que el copyright es una serie de derechos reservados enumerados, no un comodín donde todo derecho no concedido se entiende como reservado. blog.giovanh.com/blog/2023/10...blog.giovanh.comYou've Never Seen Copyrightwhat copyright originally-was-and-still-should-be, and the monster that replaced it 110
José Miguel @omixann.me · 04/08/2026De todos modos lo que me chirriaba más era la noción de que si la EULA no proporcionaba un derecho, no existía tal. Entiendo que todo aquello que no se indique explícitamente en la EULA revierte sobre la ley vigente (e incluso si es explícito, no puede obligarte a ceder derechos que la ley asegura). 210
![[INFO] Place and route maximum frequencies:
$glbnet$clk125: 131.4 MHz (target: 125 MHz)
$glbnet$clk25$TRELLIS_IO_IN: 57.4 MHz (target: 25 MHz)
$glbnet$clk_sys: 90.4 MHz (target: 62.5 MHz)
$glbnet$eth0_rx_clk$TRELLIS_IO_IN: 146.5 MHz (target: 125 MHz)
$glbnet$eth1_rx_clk$TRELLIS_IO_IN: 141.4 MHz (target: 125 MHz)
[INFO] Place and route components:
ALU54B: 0/14 (0.0%)
CLKDIVF: 0/4 (0.0%)
DCCA: 5/56 (8.9%)
DCSC: 0/2 (0.0%)
DCUA: 0/1 (0.0%)
DDRDLL: 0/4 (0.0%)
DLLDELD: 0/8 (0.0%)
DP16KD: 5/56 (8.9%)
DQSBUFM: 0/8 (0.0%)
DTR: 0/1 (0.0%)
ECLKBRIDGECS: 0/2 (0.0%)
ECLKSYNCB: 0/10 (0.0%)
EHXPLLL: 1/2 (50.0%)
EXTREFB: 0/1 (0.0%)
GSR: 0/1 (0.0%)
IOLOGIC: 22/128 (17.2%)
JTAGG: 0/1 (0.0%)
MULT18X18D: 0/28 (0.0%)
OSCG: 0/1 (0.0%)
PCSCLKDIV: 0/2 (0.0%)
SEDGA: 0/1 (0.0%)
SIOLOGIC: 0/69 (0.0%)
TRELLIS_COMB: 14481/24288 (59.6%)
TRELLIS_ECLKBUF: 0/8 (0.0%)
TRELLIS_FF: 10054/24288 (41.4%)
TRELLIS_IO: 34/197 (17.3%)
TRELLIS_RAMW: 0/3036 (0.0%)
USRMCLK: 1/1 (100.0%)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4b725gpobvqcaavach6b57z4/bafkreih63u6qqmjh5wwhxucvyvopv53fujxbasqzcemtnbmhtrx22hq6ce)
![START DOING COMPUTER SCIENCE
* VARIABLES WERE SUPPOSED TO BE GIVEN NAMES
* YEARS OF PROGRAMMING yet STILL MORE TO CREATE
* Don't want to write code anyway? We have a field for you: It's called THEORY
* "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired
LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them
(This is REAL computer science, done by REAL computer scientists):
[graph of the ARPANET] the Internet
[photo of an FPGA] FPGAs
[screenshot of RocqIDE] proof assistants
They have given us beautiful tools](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ypsrm6ue6o5xk5kvbdhwtppm/bafkreifb445jln2aytislayvqayzjf5mp76tpcrwiqpdrkwnrypfz3rd4m)
