This part is so epic. My favorite game #SuperMetroid
02.12.2024 22:17 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
I always defined it as `flip ($)` in Haskell
07.11.2024 19:27 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
๐
06.11.2024 11:59 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
Enforcing string literal types in React components
Leverage generics to create truly type-safe React components that prevent impossible states.
As part of my efforts in getting back to blog posting, I decided to also post snippets of code that write as part of my day to day job instead of long/boring posts.
Here's the first one in that category: www.anler.me/blog/typescr...
29.10.2024 08:34 โ ๐ 1 ๐ 1 ๐ฌ 0 ๐ 0
Por suerte quedaba gente con sentido comรบn ๐
24.10.2024 13:53 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Con quรฉ habilidad ha retratado el autor la propaganda de La Revoluciรณn. Parecerรญa ficciรณn pero habiendo crecido en un entorno similar en Cuba no puedo mรกs que estar de acuerdo de que este serรญa el mensaje que enviarรญan los madamases a los extraterrestres ๐ฅฒ
24.10.2024 10:49 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
I thought smart people were inmune to this nonsense. I was wrong.
24.10.2024 08:16 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Lol, I was thinking on using it, then I remembered I'm guilty of using AI for rephrasing my poor vocabulary ๐ฅฒ
23.10.2024 11:56 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
๐ซก
22.10.2024 14:39 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
systemctl start bsky.service
22.10.2024 13:46 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
Saber crear software de calidad te da libertad.
Escribo historias, consejos y experiencias.
https://xurxodev.com/libros
https://xurxodev.com/estudio-comunidad-xurxodev/
Founder of Beam it ๐ & Rust Rec ๐ฆโ๏ธ
I recruit for Elixir, Erlang & Rust
Beamrec.com
Beamrecjobs.co.uk
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
programming, maths, animals and food
Software engineer. React in OCaml at @ahrefs with styled-ppx, reason-react, server-reason-react, Reason and Melange.
aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
Husband. Father of two. Bengal cat dad. Likes/comments are my own.
IT Professional, lover of functional languages. Currently building a side project in Elixir. Learning Haskell, Ocaml, Gleam, and others.
Create the future you want to live in.
๐จโ๐ป Researcher @ Kotlin Evolution @ JetBrains
๐งโโ๏ธ Passionate about FP (mostly Arrow & Haskell)
๐ Author of 4 books
Technical founder. Building new stuff at my startup lab https://blackboard.sh | 20+ years in early startups going zero to one | prev: 7 years at webflow
#startups #ziglang #typescript #bun #electrobun #webflow
High quality artisan keycaps. Your one stop destination for all things keyboard ๐ฆ
๐ปEnter our store๐ป
kawaiikeys.com
Selayar Laut untuk Berlayar Bebas.
Moved to fediverse: https://misskey.id/@layarlaut
A bimbo learning programming, Haskell, Purescript and Lean4
PhD @ Chalmers
From ๐ฑ๐น
Haskell ๐ฆฅ Agda ๐ NixOS โ๏ธ
Software Engineer @ Xebia
I like Scala and functional programming.
https://github.com/bilki
๐Murcia, Spain
A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Universitร degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
CEO | founder @ kaidev.io: Building fast, reliable, and high-quality software.
๐จโ๐ผ>> ฮป >>โ๏ธ>>๐ดโโ๏ธ
Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!