Miguel
LightNews LightNews
banner
miguel-nascimento.bsky.social
Miguel
@miguel-nascimento.bsky.social
67 followers 100 following 43 posts
👨‍💻 functional programming is cool ✨ nix is my waifu and my laifu @nixwm_ (not here yet) 💖
Posts Replies Media Videos
miguel-nascimento.bsky.social
me surpreende que eu ainda nao encontrei um "nanahira no pacuriao"
March 18, 2025 at 8:35 PM
miguel-nascimento.bsky.social
ninguem era triste na epoca do mc lan diariamente
February 25, 2025 at 3:09 PM
Reposted by Miguel
hausofholes.bsky.social
siri how do I lock the fuck in
February 4, 2025 at 5:36 PM
miguel-nascimento.bsky.social
since X hates links, I'll start sharing some here.

starting with Enum of Arrays
tigerbeetle.com/blog/2024-12...
Enum of Arrays
The financial transactions database to power the next 30 years of Online Transaction Processing.
tigerbeetle.com
December 22, 2024 at 1:28 AM
miguel-nascimento.bsky.social
pros meus manos que compraram uma 3d printer da bambu lab - qual melhor lugar para comprar?
December 9, 2024 at 3:03 AM
Reposted by Miguel
p1xelher0.com
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...
OCaml Scanf parsing
OCaml Scanf parsing. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
December 3, 2024 at 7:37 AM
Reposted by Miguel
roxyvivi.bsky.social
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
December 4, 2024 at 12:53 AM
miguel-nascimento.bsky.social
eu so queria um monitor oled 4k, impossivel encontrar por aqui
December 2, 2024 at 8:24 PM
miguel-nascimento.bsky.social
compraram a melhor padaria da cidade e trocaram a coxinha...
www.youtube.com/watch?v=epZc...
MC Kevin O Chris feat. Mc Caja - Espera Eu Chegar
YouTube video by Kevin O Chris
www.youtube.com
October 23, 2024 at 7:38 PM
miguel-nascimento.bsky.social
ideas.lego.com/projects/10a...
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 ...
ideas.lego.com
October 7, 2024 at 6:01 PM
miguel-nascimento.bsky.social
só queria IKEA no brasil
October 6, 2024 at 9:42 PM
Reposted by Miguel
cabra.su
youtu.be/uEiW5xMsX7o
October 4, 2024 at 1:01 AM
miguel-nascimento.bsky.social
en.wikipedia.org/wiki/Worse_i...
Worse is better - Wikipedia
en.wikipedia.org
October 1, 2024 at 9:34 PM
miguel-nascimento.bsky.social
"If I could live a million lifetimes, I'd devote one to working on compilers."
josephg.com/blog/rewriti...
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....
josephg.com
September 27, 2024 at 2:37 AM
Reposted by Miguel
advertence.bsky.social
More or less…
September 27, 2024 at 1:05 AM
miguel-nascimento.bsky.social
dj paatiiineeteeee 🎵🎶
September 19, 2024 at 7:04 PM
miguel-nascimento.bsky.social
sempre que eu me confundo com after e before eu lembro do after effects
September 15, 2024 at 3:52 PM
miguel-nascimento.bsky.social
que dia bom
September 15, 2024 at 1:36 AM
Reposted by Miguel
noghartt.dev
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...
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 …
hackaday.com
September 13, 2024 at 3:29 PM
Reposted by Miguel
miguel-nascimento.bsky.social
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
September 13, 2024 at 3:12 PM
miguel-nascimento.bsky.social
xcancel.com
X Cancelled
xcancel.com
September 12, 2024 at 3:52 PM
miguel-nascimento.bsky.social
first bsky #penspinning video?? #ペン回し
September 11, 2024 at 9:17 PM
miguel-nascimento.bsky.social
youtu.be/vSSpbAI_-t0?...
antonio :hypers:
The State of Full-Stack OCaml (with António Monteiro)
YouTube video by Developer Voices
youtu.be
September 11, 2024 at 6:24 PM
miguel-nascimento.bsky.social
fin fin fin fin fin
September 11, 2024 at 3:43 PM
miguel-nascimento.bsky.social
ok, qual é o purificador de ar bom e acessível aqui no brasil?
September 10, 2024 at 10:42 PM