Fix JuanPabloF -- 🌈🇺🇦 @lambdase
Tweets about functions and types. Likes programming languages and abstract algebra. Likes aren’t endorsements. He/him Earth Joined November 2007-
Tweets3K
-
Followers340
-
Following698
-
Likes16K
How is "Various units" a reasonable axis label?! I expect nothing from CloudWatch, yet it manages to disappoint me.
> linear > early returns Pick one
The Scala urge to add an ugly PartiallyApplied class for partial type application for a function with a single call site.
Why is CloudWatch so bad? Why can't Amazon implement something even remotely usable? Filtering requires typing dates and hours. No extraction at all of attributed from events. It's like they don't even try.
One unexpectedly nice property of encoding sum types with subtyping like Scala does is that you can use the sum type members in signatures. I guess you could use DataKinds and GADTs to achieve something similar in Haskell, but it feels so clunky.
My fever dreams involve meetings about implementing security policies as code in our Kubernetes clusters. 🤧
The most important lesson about programming I've learnt recently: keep everything shallow. Data structures should be shallow. Module hierarchies should be shallow. Pipelines should be shallow. Top-to-bottom, end-to-end should be four steps or less.
I used to be able to use my Macbook without feeling cold aluminum on my hands, but now that I have an M1 Mac it never warms up 🥺
Learn how you can create safer and more expressive interfaces for internal APIs ⬇️ Explore some practical examples from real-world applications, and more in "Existentials, Universals, And Path Dependent Types For Practical, Safer Interfaces" by @lambdase. youtube.com/watch?v=gKmxhP…
How would Kubernetes for fiber concurrency instead of processes would look like? Is cooperative concurrency achievable in a Kubernetes-like system?
This after me asking it about the relationship between invariant functors and isomorphisms. A question I have had for a while now.
This after me asking it about the relationship between invariant functors and isomorphisms. A question I have had for a while now.
Enjoying the talk of @guizmaii at @FunScalaConf on Easy-to-Maintain GraphQL API Integration Tests with ZIO Test and Caliban
Four hours of reading source code can save you 20 minutes of reading documentation
Did we simply accept push notifications are an acceptable advertising channel? I remember this used to be limited to shady apps. Now even well known apps like @Uber spam using push notifications
Days since the last subtyping incident: 0

John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Functional Scala 2024 @FunScalaConf
3K Followers 70 Following An annual conference dedicated to helping people effectively use the functional programming language, Scala, to do more. Online - December 5th and 6th.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictable
Martin Pallares @Martinminguchi
182K Followers 4K Following Columnista y analista de @expresoec Co fundador de 4Pelagatos y ahora co productor del podcast Politizado. John S. Knight Fellow at Stanford.
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Creausare @Creausare2G57L
53 Followers 4K Following
DaleDupont @qi24HM3d33ad2
62 Followers 7K Following
Thearski @ThearskiEIxaiu
43 Followers 5K Following
Relic @0h4b16877jlIKQ
73 Followers 7K Following
CarolErnest @Cl74ohs1em7fg7n
69 Followers 7K Following
Thanh Le @lenguyenthanh
328 Followers 159 Following Functional programming enthusiast, https://t.co/jt3HQ4dn8L maintainer. Opinions are from my own (but illusional) free will.
TracyBunyan @Muh8s08aYJD1Bh
62 Followers 7K Following
EudoraSaul @6cp3ApCq1S32u
68 Followers 7K Following
Harry Williams @Harryjwilliamss
519 Followers 1K Following rethinking space. creator of https://t.co/7A9tOCuBII - an urban planning updates tool and mapping project
Matej Cerny @matej_cerny
380 Followers 322 Following Functional programming enthusiast with strong foundations in the relational databases world
LunaLuxe_ @LunaLuxe237362
23 Followers 1K Following
Nouset @Nouset220467
11 Followers 312 Following A girl who blends her great style with US stock investing. Reviewing my portfolio every day is not only important, but an integral part of my journey.
Tooshea @Tooshea298785
87 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
Dorothy @radcliffedoroth
270 Followers 3K Following
Thesmeigh @Thesmeigh116209
28 Followers 1K Following I live alone now and enjoy business, traveling, shopping, food and music. I have a calm personality and I hope we can be friends.
Maureen @neauneighs5021
274 Followers 5K Following See the world on the road, and get to know yourself on the way!
Fatima @magdap2009
31 Followers 306 Following
JuanPa @1jpablo1
384 Followers 866 Following Se habla spanglish. Animal pictures. Sometimes I tweet about Scala and Lean. https://t.co/S4LJgU98fj https://t.co/XT4gO6kQfx
AIRI @AIRI77555077
36 Followers 428 Following 会いたい 21さいFカップ💕 ネイリスト DMしよ 私でおなられたい願望あり フォロワーさんにえちえちなの送るよ💖
MIRAI @MIRAI96718349
69 Followers 616 Following かまってほしい 21さいGカップ❤ OL 見せ合いしよ おなしたくなるような動画フォロワーさんに送るね💕
ねね @nene49869266
23 Followers 244 Following 23さい♀/157せんち/がーるずばー店員/え〇大好き女子( ⁎ᵕᴗᵕ⁎ )❤︎ ふぉろーしてもらえればDMとばします
Eliecer Hdz Garbey @eliux_black
29 Followers 129 Following
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
OnAir Entertainment @OnAirRecruiter
5 Followers 33 Following On Air Entertainment is a Live Casino Studio driven to inspire customers & engage players through industry-leading Blackjack, Roulette & more.
Tomas Mikula @tomas_mikula
784 Followers 512 Following Into functional programming. Lifelong learner.
Archie @Archie_Amari
1K Followers 912 Following Head of Talent @ ScalaJobs & Rust Jobs 🚀 Building a unique hiring platform to improve candidate experience and bridge the gap in technical understanding 💻
maria_belen @maria_belen
5K Followers 4K Following Creo en la audacia de la esperanza.Amo #Matrix #Fringe #TopGun #LuisMiguel #GreysAnatomy #CobraKai y los 16 cap. de #TheKingEternalMonarch viven en mi🤍
nhatanh @alittletyper
200 Followers 2K Following
CesarGon 🥄 @verdewek
2K Followers 5K Following Researcher. Conceptual models, methods & discourse @IncipitCSIC. VP @HDHispanicas. Software developer. Birder. Loves food, books, things geeky. Hates dogma.
/Fay-lee-nuh/ @Felienne
15K Followers 3K Following Moved to BlueSky permanently: https://t.co/WV7NIocqDD
Bryan Armijos Chávez @Bryan_ArmijosCh
441 Followers 2K Following Lcdo Psicopedagogía - Consultor Independiente en temas de salud mental y educación telf 0996226545
Gabi @arrnaux
117 Followers 2K Following
Carlos Eduardo @edulitos
98 Followers 858 Following Ing. de Sistemas, desarrollo software agil, web app, gusta del futbol, cine, runnig, ocio, curiosidades. #java #oracle #app #sencha #agil #marketing #digital =}
Pravin kumar singh @Pravink91960603
2 Followers 103 Following
Librería El Fauno Ve... @elfaunoverde
255 Followers 372 Following Libros de segunda mano, antiguos y nuevos. Envíos a todo Ecuador. Para coleccionistas y bibliófilos. Pedidos: [email protected] 0989522644
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Dmitrii Kovanikov @ChShersh
42K Followers 205 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Erik Meijer @headinthebox
31K Followers 2 FollowingBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 301 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Functional Scala 2024 @FunScalaConf
3K Followers 70 Following An annual conference dedicated to helping people effectively use the functional programming language, Scala, to do more. Online - December 5th and 6th.
Adam Warski @adamwarski
7K Followers 185 Following Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Flavio Brasil @fbrasisil
3K Followers 3K Following Principal eng @Nubank + working on https://t.co/1d2vug8xx7 he/him
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
deech @deech
5K Followers 1K Following
Dave W Plummer @davepl1968
88K Followers 74 Following Hi! I'm Dave Plummer. You might remember me from such Windows components as Task Manager, Windows Pinball, Calc, ZIPFolders, Product Activation, etc. Cheers!
Framework @FrameworkPuter
95K Followers 198 Following Remaking consumer electronics to respect people and the planet. 💻🪛 For support visit https://t.co/OcUxJ6ebU3
Santiago @svpino
424K Followers 515 Following Computer scientist. I teach hard-core AI/ML Engineering at https://t.co/THCAAZcBMu. YouTube: https://t.co/pROi08OZYJ
LaurieWired @lauriewired
98K Followers 294 Following researcher @google; serial complexity unpacker; https://t.co/Vl1seeNgYK ex @ msft & aerospace
Governor Newsom Press... @GovPressOffice
595K Followers 1K Following Official account for the press office of @CAGovernor Gavin Newsom #CaliforniaForAll
Matthew Prince 🌥 @eastdakota
115K Followers 317 Following A little bit geek, wonk, and nerd. Repeat entrepreneur, recovering lawyer, and former ski instructor. Co-founder & CEO of Cloudflare (NYSE: NET).
Kiran (e/🌍) @kirankling
1K Followers 696 Following "radical" geoengineer || too big to fail || olympic dreams 🚣♂️ || b.370ppm
Volcán Cotopaxi @VolcanCotopaxi
3K Followers 19 Following Aterrorizando al Ecuador desde tiempos milenarios :) No es un canal oficial, así que síganme con desconfianza.
Vik Paruchuri @VikParuchuri
14K Followers 184 Following Open source AI. Founder of @datalabto Past: founded @dataquestio
Vanilagy @vanilagy
908 Followers 40 Following It's pronounced vanilla-gee | Author of Mediabunny and Marble Blast Web. Love working on technically challenging projects that bring the best out of the web.
VideoLAN @videolan
38K Followers 166 Following Provider of Open Source multimedia for everyone! Plays everything, Runs everywhere! VLC, x264, dav1d, libdvdcss, libbluray and soooo many others...
Haskell for Mac @HaskellForMac
3K Followers 2K Following Functional programming without the hassle. Live programming for Haskell.
Yulia Svyrydenko @Svyrydenko_Y
29K Followers 153 Following Премʼєр-міністерка України | Prime minister of Ukraine 🇺🇦
George Pîrlea @GeorgePirlea
853 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Volodymyr Zelenskyy /... @ZelenskyyUa
8.2M Followers 1 Following President of Ukraine / Президент України
Francisco Zalles @zallesfrancisco
1K Followers 177 Following Profesor Univ. de las Hespérides https://t.co/az5BnDrKIt Inst Ecuatoriano de Economia Politica - IEEP. Inst. Vera Smith Univ. Francisco Marroquín
Daniel Han @danielhanchen
28K Followers 2K Following Building @UnslothAI. Finetune train LLMs faster. LLMs bug hunter. OSS package https://t.co/aRyAAgKOR7. YC S24. Prev ML at NVIDIA. Hyperlearn used by NASA.
Unsloth AI @UnslothAI
31K Followers 458 Following Open source LLM fine-tuning & RL! 🦥 https://t.co/2kXqhhvLsb
Ben Noll @BenNollWeather
86K Followers 170 Following Global weather writer and meteorologist for @washingtonpost | Weather and climate analysis and visuals | #HudsonValley snow days
El Niño-La Niña/ESP... @EnosMonitoreo
4K Followers 309 Following Aquí podrá encontrar información actualizada sobre la evolución de los eventos El Niño-Oscilación del Sur (ENOS). FIMCM-ESPOL.
Patrick Chovanec @prchovanec
76K Followers 3K Following Private sector economic advisor. Author of the newly released book “Cleared for the Option: A Year Learning to Fly”. https://t.co/vhcQrJq9n3. #avgeek
damianfral @pamojarpan
122 Followers 433 Following
Thanh Le @lenguyenthanh
328 Followers 159 Following Functional programming enthusiast, https://t.co/jt3HQ4dn8L maintainer. Opinions are from my own (but illusional) free will.
Lennart Koopmann @_lennart
5K Followers 2K Following Building @nzyme_defense // Leichtes Wirkmittel 30+
Hernán Carrión @hcarrion_met
625 Followers 288 Following Ing. Meteorólogo de Ecuador, especialista en Sinóptica y Cambio Climático. Se comparten opiniones personales
Sergio Fdez Munguía @Sergio_FerMun
10K Followers 3K Following Ingeniero en el sector renovable 👷 | Divulgo sobre energía eólica aquí y en mi newsletter semanal @windletter_ 📧 | Los tuits son solo en mi nombre
arkency @arkency
2K Followers 349 Following Rails, Hotwire & DDD experts. We are constantly blogging what we learned. 🐼🐻
Leandro @leostera
4K Followers 375 Following staff eng / pm working on the #ocaml ecosystem moved to https://t.co/pRZ9HuXb7H 🦋
Alexander Ioffe @deusaquilus
2K Followers 178 Following Take control of your database with https://t.co/mmLqyE5130 the only LINQ for Kotlin!
Platonic.Systems @platonicsystems
762 Followers 87 Following Functional Programming Consultancy #haskell #purescript #elm #nixos #nix #typescript #solidity #machinelearning #clojure #fsharp #scala
Yann LeCun @ylecun
949K Followers 764 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
Deysy Tacza @deysytacza
6K Followers 69 Following Indigenous Wanka driven by a passion for history books and a desire to shape a brighter future for all Indigenous communities. IG: @zionist_quechua 🎗️
Vladimir Arreaga @vladiarreaga
229 Followers 271 Following Opiniones compartidas en esta cuenta son personales! Barcelonista 💛🖤
Néstor F. Marqués -... @antigua_roma
343K Followers 254 Following 📚La Roma de Constantino 📺 El Condensador de Fluzo 🏛️ 12 años divulgando la cultura romana
jose romero @scalajos
923 Followers 5K Following Functional Programming brings some sanity in this quick&dirty IT world. Scala (ZIO, KYO), Rust. Constantly learning. Fighting entropy. @fpjos@fosstodon
Luis Espinosa Goded @luisesgo
35K Followers 9K Following Profesor de economía y humanidades-en la universidad y en las redes-.
Remix 💿 @remix_run
85K Followers 0 Following Build better websites with Remix. Remix brings the state of the art in web development without leaving behind the fundamentals.
Golem Cloud @GolemCloud
972 Followers 18 Following Golem is a next-generation open-source platform for building and running highly reliable services.
Jarred Sumner @jarredsumner
127K Followers 768 Following building @bunjavascript. formerly: @stripe (twice) @thielfellowship. high school dropout. npm i -g bun
Kayvon Asemani @kayvonmusic
11K Followers 370 Following music artist, millions of streams, Meta PM, Wharton alum, TEDx Speaker, Forbes. sharing some notes here from my journal. not advice, just reflections.
Georgi Gerganov @ggerganov
52K Followers 289 Following 24th at the Electrica puzzle challenge | https://t.co/baTQS2bdia
‹Programming› 202... @programmingconf
1K Followers 143 Following This account is currently inactive. Please follow us on our other socal media accounts.