Sign in

Miguel

@miguel-nascimento.bsky.social
69 followers 105 following 43 posts

👨‍💻 functional programming is cool ✨ nix is my waifu and my laifu @nixwm_ (not here yet) 💖

PostsRepliesMedia
Miguel @miguel-nascimento.bsky.social · 18/03/2025
me surpreende que eu ainda nao encontrei um "nanahira no pacuriao"
000
Miguel @miguel-nascimento.bsky.social · 25/02/2025
ninguem era triste na epoca do mc lan diariamente
010
Reposted by Miguel
haunted ghoulfriend👻🍬 @sliceofwife.bsky.social · 04/02/2025
siri how do I lock the fuck in
1774272
Miguel @miguel-nascimento.bsky.social · 22/12/2024
since X hates links, I'll start sharing some here. starting with Enum of Arrays tigerbeetle.com/blog/2024-12...
tigerbeetle.com
Enum of Arrays
The financial transactions database to power the next 30 years of Online Transaction Processing.
110
Miguel @miguel-nascimento.bsky.social · 09/12/2024
pros meus manos que compraram uma 3d printer da bambu lab - qual melhor lugar para comprar?
000
Reposted by Miguel
p1xelHer0 @p1xelher0.com · 03/12/2024
This how I parse the majority of the input in OCaml for Advent of Code. Feels like cheating. When this isn't enough I use Angstrom. gist.github.com/p1xelHer0/98...
gist.github.com
OCaml Scanf parsing
OCaml Scanf parsing. GitHub Gist: instantly share code, notes, and snippets.
2193
Reposted by Miguel
Roxy @roxyvivi.bsky.social · 04/12/2024
I want to draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw -doesn't draw
338123422516
Miguel @miguel-nascimento.bsky.social · 02/12/2024
eu so queria um monitor oled 4k, impossivel encontrar por aqui
100
Miguel @miguel-nascimento.bsky.social · 23/10/2024
compraram a melhor padaria da cidade e trocaram a coxinha... www.youtube.com/watch?v=epZc...
youtube.com
MC Kevin O Chris feat. Mc Caja - Espera Eu Chegar
YouTube video by Kevin O Chris
110
Miguel @miguel-nascimento.bsky.social · 07/10/2024
ideas.lego.com/projects/10a...
ideas.lego.com
Working Turing Machine
What is a Turing machine?Depending on who you ask, it's either an abstract model of an algorithmic machine or an esoteric programming language. It's ...
031
Miguel @miguel-nascimento.bsky.social · 06/10/2024
só queria IKEA no brasil
000
Reposted by Miguel
Cabra @cabra.pw · 04/10/2024
youtu.be/uEiW5xMsX7o
youtu.be
Djavan - AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
YouTube video by MURA
143
Miguel @miguel-nascimento.bsky.social · 01/10/2024
en.wikipedia.org/wiki/Worse_i...
en.wikipedia.org
Worse is better - Wikipedia
021
Miguel @miguel-nascimento.bsky.social · 27/09/2024
"If I could live a million lifetimes, I'd devote one to working on compilers." josephg.com/blog/rewriti...
josephg.com
Rewriting Rust
The Rust programming language feels like a first generation product. You know what I mean. Like the first iPhone - which was amazing by the way. They made an entire operating system around multitouch....
032
Reposted by Miguel
Dude @impenetrable.bsky.social · 27/09/2024
More or less…
355884
Miguel @miguel-nascimento.bsky.social · 19/09/2024
dj paatiiineeteeee 🎵🎶
000
Miguel @miguel-nascimento.bsky.social · 15/09/2024
sempre que eu me confundo com after e before eu lembro do after effects
100
Miguel @miguel-nascimento.bsky.social · 15/09/2024
que dia bom
010
Reposted by Miguel
Guilherme @noghartt.dev · 13/09/2024
tem dois clássicos tbm magic turing complete arxiv.org/abs/1904.09828 logic gates com caranguejos (eles implementaram OR e AND, mas segundo alguns, dá pra meter um NAND ali) hackaday.com/2012/09/28/m...
hackaday.com
Making Logic Gates Out Of Crabs
Building logic gates out of silicon is old hat, as is building them from discrete transistors, 555 chips, LEGO, and even gears. [Yukio-Pegio Gunji] and [Yuta Nishiyama] from Kobe University, along …
0164
Reposted by Miguel
Miguel @miguel-nascimento.bsky.social · 13/09/2024
gosto do turing complete de baba is you terra-docs.s3.us-east-2.amazonaws.com/IJHSR/Articl...
terra-docs.s3.us-east-2.amazonaws.com
152
Miguel @miguel-nascimento.bsky.social · 12/09/2024
xcancel.com
xcancel.com
X Cancelled
000
Miguel @miguel-nascimento.bsky.social · 11/09/2024
first bsky #penspinning video?? #ペン回し
010
Miguel @miguel-nascimento.bsky.social · 11/09/2024
youtu.be/vSSpbAI_-t0?... antonio :hypers:
youtu.be
The State of Full-Stack OCaml (with António Monteiro)
YouTube video by Developer Voices
132
Miguel @miguel-nascimento.bsky.social · 11/09/2024
fin fin fin fin fin
000
Miguel @miguel-nascimento.bsky.social · 10/09/2024
ok, qual é o purificador de ar bom e acessível aqui no brasil?
210
Miguel @miguel-nascimento.bsky.social · 10/09/2024
we need an atproto client running in a 3ds
000
Miguel @miguel-nascimento.bsky.social · 10/09/2024
700 dol só pra jogar gta vi
010
Reposted by Miguel
Halls @halls.deichator.ar · 05/09/2024
on.soundcloud.com/hRAZNEzgidHL...
on.soundcloud.com
RUNNIN THRU THE AI PRETO VS REDES SOCIAIS ( DJ QUERO SER PADRASTO DJ MIMOSA AU NARGUET )
@DJQUEROSERPADRASTO @DJ-MIMOSA-W-NORGUET
111
Miguel @miguel-nascimento.bsky.social · 05/09/2024
façam exame de check-up crianças
010
Reposted by Miguel
Mambi @gambiconf.dev · 05/09/2024
Talk "(Quase) tudo que você que você sabe sobre computadores (provavelmente) está errado" por @cajuinaoverflow.bsky.social Você acha que seu programa é compilado/executado diretamente em instruções sequenciais? Que computadores sempre funcionam só com zeros e uns? Você tá errado!
1198
Miguel @miguel-nascimento.bsky.social · 05/09/2024
faça o L bem devagar
hatsune miku em world is mine fazendo o L
000
Miguel @miguel-nascimento.bsky.social · 04/09/2024
ICFP 24 acontecendo e nada no feed. Que saudades da timeline do Twitter
321
Reposted by Miguel
polvo @coprodu.to · 03/09/2024
Eu li Musashi pela primeira vez quando eu tinha uns 13 anos e teve várias páginas que ficaram comigo pra sempre Mas nenhuma mais do que essa
7393
Reposted by Miguel
Luis Vaz // Rastrian @rastrian.dev · 03/09/2024
Baseado nisso, uma das pessoas que mais vou sentir falta na rede do lado é o Antônio.
181
Miguel @miguel-nascimento.bsky.social · 03/09/2024
bem que aqui poderia ter uns frame app pique farcaster, só quero a web iframe-like de volta
010
Miguel @miguel-nascimento.bsky.social · 03/09/2024
a parte mais chata de fazer um emulador é bindar opcode pqppppppp
120
Miguel @miguel-nascimento.bsky.social · 03/09/2024
todos os domínios pampa já foram pegos 😭 malditos portugueses e espanhóis
000
Miguel @miguel-nascimento.bsky.social · 01/09/2024
excuse me but wtf?? www.alogoulogoi.com/post/2024/le...
alogoulogoi.com
Lesser-known operators in C#
001