gelisam @haskell_cat
Professional Haskell developer at https://t.co/qG4jsBEIIO . Opinions are my own and do not necessarily represent those of my employer. haskellcat.com Montreal Joined June 2016-
Tweets2K
-
Followers1K
-
Following316
-
Likes5K
I am happy to see that @OpenAI agrees that creating (intentionally or accidentally) an AI which acts autonomously or is capable of recursive self-improvement would be very dangerous! youtu.be/KKNCiRWd_j0?si…
@krisajenkins Do linear types in Haskell count 😇 ?
Here is your regular reminder that many of the indisputably top experts in AI think that AI poses a credible risk of literal, no-kidding, full-blown human extinction, and that it should be a top global priority to mitigate that risk. safe.ai/statement-on-a…
SkillsMatter disappeared for the second time from the surface of this world. They took all the toys with them - and completely removed their YouTube account with all the Haskell content. The community lost a tremendous amount of learning material! So here is my call: 1. Do I…
An HK-based employee of a multinational firm wired out $25M after attending a video call where all employees were deepfaked, including the CFO. He first got an email which was suspicious but then was reassured on the video call with his “coworkers.”
The first half is an excellent summary of the four different beliefs one can have about AI! I'm an AI doomer, which one are you?
The first half is an excellent summary of the four different beliefs one can have about AI! I'm an AI doomer, which one are you?
I really don't care about Terminators. I worry about smart adversities that can make their own tech, not dumb AIs that humans gave guns. Nobody gave humans guns, we made our own, and that is what is scary about things as smart as humans.
I really don't care about Terminators. I worry about smart adversities that can make their own tech, not dumb AIs that humans gave guns. Nobody gave humans guns, we made our own, and that is what is scary about things as smart as humans.
8/ What's my probability that the first successful AGI lab gets us call killed? Around 10% I'd say. Unacceptably high, but not 85%. The other 75% comes from humanity just being *terrible* at talking to itself about what to do with the crazy amounts of power we're making.
We created a game for ludum dare Ludum: ldjam.com/events/ludum-d… Web (play in browser): gx.games/ru/games/xiihl… #ld #ludumdare #ld54 #ludumdare54
New blog post up: please don't ask if an open source project is dead. The best-case scenario is that you annoy the maintainers and delay development. The worst-case scenario is that you give the maintainers an opportunity to reconsider if it's worth it. minimaxir.com/2023/11/open-s…
Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt Parsons @mattoflambda
4K Followers 566 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
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMDomen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhdeech @deech
5K Followers 1K FollowingCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Rick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryEric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Paweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methodssclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/vM4OgmDjGQDaniel Firth (Inspect.. @locallycompact
1K Followers 630 Following Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developerLuc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.vaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskyundecidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight Principal at @PlatonicSystemsserenidad_monotropica @Fernand06180883
9 Followers 271 Following Cryptid 🌈 he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös AnarchyJanhavee Shinde @SJanhavee
56 Followers 2K FollowingMatteo Acerbi @matteo_acerbi
144 Followers 2K FollowingcomputationalDebauche.. @computeDecadent
49 Followers 314 Followingmihai truta🔍 @mihai_truta3
435 Followers 3K Following HLAI 2026-2032 @ 80% | ♦️ trying to understand wth is going on with AIkgkoutis @kgkoutis3
39 Followers 1K FollowingGaga @ebresafeg
548 Followers 1K FollowingAbubakar yusuf muhamm.. @Amangkuty
11 Followers 351 FollowingMoritz 💫 @4ngerman
2K Followers 735 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!Lambda Days @LambdaDays
3K Followers 916 Following 💥One of a kind experience in the functional world💥 Standard tickets are 🔛 Book yours before the price goes up! Any questions? [email protected]kate @katewang1111
40 Followers 782 FollowingSheighez @Sheighez695724
155 Followers 2K FollowingAdam @Archaversine
3 Followers 55 FollowingHarsh Mahajan @007harshmahajan
132 Followers 5K FollowingCyrus T Crumples @TCrumples
76 Followers 244 Following I like functional programming and furry art. Take it or leave it!金龙 @xiaojinlong
6 Followers 471 FollowingNOBL @NOBLTOKEN
104 Followers 296 Following The official token for the NobleBlocks Scientific Publishing Platform #NOBL Telegram: https://t.co/xcrriCB7YEPine(함박) @gZLCbUSwR3WABdN
499 Followers 4K Following I like to listen to many sounds in the World. l'm trying to make absolute Love come True. if no answer DM, so please understand.Stephanie Lonnie @LonnieStep60871
235 Followers 3K Following 😘🥰😘💐🌹 Lovely life with my self👌finding goodness and beautyJuan TheOne @jsierrax
578 Followers 794 Following Innovator/visionary helping my community solve big challenges, improve family life, and grow by using the best tech there is to tackle issues: Cardano.Peter Storm @peterstorm_io
78 Followers 560 Following Senior Software Engineer by day, Lambda Mans trusty Haskell sidekick by night! ... not literally, but man it would be a trip to run around with mr. Wadler!Mike Dupont @introsp3ctor
184 Followers 1K Followingspocino @sampocino
110 Followers 147 Following Weird math/CS person seeking employment, entirely unqualified. many such cases. "Can't talk right now, I'm doing HoTT girl shit"Jess @AbstractionOfJ
41 Followers 148 Followingtpataky @tpataky
33 Followers 224 FollowingGlam Shots Photo 360 @Glamshots360
139 Followers 769 Following Glam Shots Photo 360 Offers Photo Booth Services in Jacksonville, FLjim li @tikbyio
51 Followers 445 Following Disabled people have a more difficult life. If the information posted on Twitter has inspired you, I hope to get a little donation from you in exchange for foodjappiejappie @jappieklooster
103 Followers 163 Following ∀❨m␣n﹕ℕ❩→m×n≡n×m Giving agya-chan my lunch money (agda simp). At home on the internet.Paul Howard 🇺🇸 .. @pauldhoward
264 Followers 2K FollowingVassilios Morellas @VassiliosMorel
4 Followers 43 FollowingTaweshousl @taweshousl84426
141 Followers 3K FollowingJaume Mateu Mateu @jaumemateumateu
37 Followers 195 FollowingDagmar Valdimarsdótt.. @DagmarVald60040
48 Followers 427 FollowingBukenya Lukman @UgandanDev
849 Followers 4K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , Computer Vision and Compiler Design. PostGrad Student.Eve R @river_eve26457
0 Followers 135 Followinguwe @uwe632889988127
15 Followers 59 FollowingAlan @AlanWan74454922
18 Followers 401 Followingابو الحسن ا�.. @Indradamarj
33 Followers 1K Following Hopefully, become a Technical Writer and Mentor. Love Functional Programming.杨双成 @yscljh
55 Followers 426 FollowingBartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt Parsons @mattoflambda
4K Followers 566 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
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMJoachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLAlexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢Rúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.deech @deech
5K Followers 1K FollowingGabriella Gonzalez @GabriellaG439
14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Erik Meijer @headinthebox
27K Followers 0 FollowingInactive; Bluesky is .. @hillelogram
19K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)comRick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryEdward Z. Yang @ezyang
10K Followers 971 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Daniel Firth (Inspect.. @locallycompact
1K Followers 630 Following Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developerMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Luc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.Nora Belrose @norabelrose
8K Followers 124 Following Working toward a free and fair future powered by friendly AI. Head of interpretability research at @AiEleuther, but tweets are my own views, not Eleuther’s.Dan @dpl0a
255 Followers 126 Following 💤 | CT/TT/PLT researcher — Hard Maths and FP @ 20squares — So di non sapere | https://t.co/RTkWgpEguuspocino @sampocino
110 Followers 147 Following Weird math/CS person seeking employment, entirely unqualified. many such cases. "Can't talk right now, I'm doing HoTT girl shit"Jacques Carette @jjcarett2
2K Followers 1K Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.Savannah Shire @savannahXYZart
143K Followers 2K Following Character Artist on Haste w/Landfall Games | Professional Shitposter | Gamer Mom | Blood type B- She/Her 💗💜💙 Business: [email protected]Bob Nystrom @munificentbob
28K Followers 2K Following Programming language developer at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". https://t.co/NSvQZjv923Instrumental Converge.. @InstrumentalCnv
146 Followers 298 Following AINotKillEveryoneist. Musician. Filmmaker. Future paperclip. 🖇️ 🖇️🖇️ 🖇️🖇️ #pauseai #stopai Watch my music videos about how powerful AI could go wrong. 👇Prophet @welltypedwitch
2K Followers 628 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/6DWstdv5ZfCsaba Hruska @csaba_hruska
1K Followers 732 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧Blender Made Easy @BlenderMadeEasy
1K Followers 198 Following Blender Instructor & Online Course Creator. Come check out my channel for tutorials! https://t.co/uo0OM0cdcF https://t.co/OwLoVIJEVN…Positron AI @positron_ai
211 Followers 9 Following Developing the next generation of machine learning hardware and softwarepoorly drawn lines @PDLComics
319K Followers 320 Following Comics by Reza Farazmand | Watch "Poorly Drawn Lines" on Hulu | Prints, books, and merch:Brendan Hay @haybrendan
163 Followers 115 Following Haskell/Rust/Nix programmer. Amazonka/Gogol amongst a multitude of other infrastructure projects. #haskell #rustlang #nix #amazonkaSiméon @Simeon_Cps
7K Followers 1K Following Creating more common knowledge on AI risks, one tweet at a time. Founder in Paris. AI auditing, standardization & governance.Artificial World @ARTiV3RSE
27K Followers 407 Following Unveiling hidden variables. On the brink of AGI.Liam Goodacre @goodacre_liam
486 Followers 449 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.Michael Nielsen @michael_nielsen
96K Followers 6K Following Searching for the numinous 🇦🇺 🇨🇦, home in 🇺🇸 Research @AsteraInstitute https://t.co/maezekzRUbAI Notkilleveryoneism.. @AISafetyMemes
33K Followers 797 Following Techno-optimist, but AGI is not like the other technologies. Step 1: make memes. Step 2: ??? Step 3: lower p(doom)Alan Zimmerman @alan_zimm
971 Followers 276 Following Long term hacker @[email protected] on fediverseJens Petersen 🇵�.. @juhp
581 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocidejorbs @JoINrbs
10K Followers 795 Following strategy gamer, storyteller. @twitch/@youtube partner. | author: before we go live - https://t.co/UZoCK1j7EW | charity, education, entertainment. | he/him.Robert the Otter @roberttheotter
28K Followers 80 Following Just an ordinary otter embracing the Otter Way of Life. TikTok: https://t.co/Q6MDQ6T79l | IG: https://t.co/AZoCScHkGqThomas Tuegel @ttuegel
931 Followers 276 Following Haskell. NixOS. Physics. Intellectual scavenger. Asymptotic perfectionist. @[email protected]Jonathan Castello @Twisol
229 Followers 236 Following Ph.D student under @lindsey. I like concurrency and sustainable codebases. https://t.co/5MtoW8xi5l No, the domain is not for sale, sorry.Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AIo1lo01ol1o @o1lo01ol1o
274 Followers 524 Following Haskell, Agda, Idris and Nix. h8ro-cis-wyt: pronouns are ho / humaustin 🇵🇸 @stdlib
2K Followers 405 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)Hanneli Tavante @hannelita
3K Followers 831 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.undecidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight Principal at @PlatonicSystemsAmélia Liao 🪄🧊 @plt_amy
4K Followers 648 Following I study how ∞-groupoids 🧊 can shape our thoughts on low-dim categories 🐱 • I maintain Agda Γ ⊢🐔• the 1Lab 🧊🔬 • 21 y/o, they/them (ela/dela) 💛🤍💜🖤David Charboneau @dcharbon
346 Followers 3K Following CTO Mimoto, he/him Interests: Open Source, graph query at scale, category theory, parallelism @[email protected]Dani @Electricfire13
400 Followers 939 FollowingKowainik @kowainik
2K Followers 2 Following Anyone can change the world. We do. 🌌 OSS organization. #fp #haskell #Learn4Haskell Driven by @vrom911 Buy us a coffee ☕️ https://t.co/5Gs8Sz8s6FYaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Nadia Polikarpova @polikarn
4K Followers 307 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.Joe Cutler @alpha_convert
3K Followers 2K Following PL PhD student at @Penn CIS and @NSF GRFP fellow. Types, Verification, and Testing. @PhillyRunnerTC. Formerly @wesleyan_u (go Wes)davidad 🎇 @davidad
13K Followers 7K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat deathJeremy Gibbons @jer_gib
2K Followers 276 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]Dustin Hittenmiller (.. @Dusteh
130 Followers 2K Following Software Engineering Manager @ large Find me at @[email protected] "Official"Matt Russell @mrussell247
237 Followers 302 Following Director of Engineering for @Lumi with a passion for Haskell, rock climbing, and sailingAndrew Boardman @myShoggoth
628 Followers 514 Following Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.Peter Murphy @pfmrph
173 Followers 794 FollowingThere's a variant of Goodhart's law that applies to human value systems. These people presumably started out opposing animal cruelty, and they adopted "lower meat usage" as a decent proxy measure. But over time they internalized the proxy, and their moral values changed from…
Only #utilitarians defend lab-grown meat. Utilitarianism is not #Veganism .
@_julesh_ @BartoszMilewski @CyberCatInst It is not hard at all. Use the Haskell layer at compile time via template Haskell. Place the model definition in one file and splice it in another using something that invokes nvcc or ispc or what specialized tools you might have, using whatever solvers you need to e.g. compute…
There's been big drama about this technology recently. Back in 1999, a man named Steve Gass invented a system that sensed flesh and allowed the blade to stop and retract before it could cut into hands and fingers. This wasn't some gimmick. It actually worked. 40,000 people in…
The blade of a saw carries a small electrical signal. When skin contacts the blade, the signal changes because the human body is conductive and the change to the signal activates the safety system. [📹 SawStop]
@krisajenkins One of the big issues with this idea is that a "batteries included" FSM feature (async, guards, nesting, actions, invokes, errors) tends to be complex and rich, and involve either-or design decisions ... so these end up in rather variable libraries
Ok I'm about to go on
I'm attending the Technical AI Safety Conference today! @tais_2024 I'm giving a talk about Research Communication at 13:30 Tokyo time (in 2.5h), it'll be live streamed here tais2024.cc
"AI is just linear algebra" feels like a midwit thing, where someone's figured out enough about the world to be excited by reductionism, but not enough to realise that it's universal.
String diagrams are easy in theory: horizontal and vertical juxtaposition correspond to the 2 ways of composing in a monoidal category Making it actually work is surprisingly tricky, and my former MSc student Celia discovered the trick: your diagrams should be trapezoid-shaped!
Another new paper! Rendering String Diagrams Recursively, by Celia Rubio-Madrigal and me arxiv.org/abs/2404.02679 🧵 follows:
If the US doesn’t crash asteroids into earth to mine their resources, then China will
I’m proud to announce the April 1 launch of my new startup, Open Asteroid Impact! We redirect asteroids towards Earth for the benefit of humanity. Our mission is to have as high an impact as possible. 🚀☄️🌎💸💸💸 More details in🧵:
Idk why I didn't see this earlier but this is cool stuff
🚨 New paper: Defending Against Unforeseen Failure Modes with Latent Adversarial Training We argue that LAT can be a key tool for safer AI because it can help address the gap between failure modes that developers identify 🎯 and ones they miss 🤔. arxiv.org/abs/2403.05030
@dwarkesh_sp @haskell_cat @rickasaurus Yeah I find it annoying when people base their optimism about AI risk on their pessimism about AI progress.
@haskell_cat @rickasaurus @norabelrose But I don’t think they’re ai progress skeptics? I might be wrong.
@foomagemindset Mosquitos appear to be the only creatures that are more misaligned
@haskell_cat f3 compiles! there are two Eq Int instances, but that doesn't matter since type classes are globally coherent so all Eq Int instances are equal
@haskell_cat almost! f2's type isn't actually ambiguous (forall a. T2 a -> () is the most generic type) but there are similar cases where functions don't have principal types so ghc doesn't try to guess.
it's kind of unfortunate that you can't open replies on community posts to non-members so i guess you can reply here if you want to guess but aren't part of the community
@arntzenius @tangled_zans cs.umd.edu/~mwh/papers/gp… is the original paper. bentnib.org/posts/2016-04-… is an implementation of it in code rather than semantics. github.com/ekmett/auth/bl… and the stream of me writing it: youtube.com/watch?v=StmmK1… give a Haskelly flavor to the idea. github.com/ekmett/rust/bl… is the…