Johannes Riecken @rubystallion
Joined April 2009-
Tweets28
-
Followers8
-
Following104
-
Likes12
@Careerbuddha111 Looks like the time complexity without optimizations is now O(n * m) – n and m being the lengths of the orders and customers tables – whereas it would be linear with a join.
@kmett Great, I really liked the interactive content for cellular automata and matrix multiplication. What does the background image mean?
@JavaidUsama Would be cool to also have the version with DLSS off in the same video for comparison.
@EChatav Could you explain the isomorphic reasoning steps for Traversal please?
@EChatav Nice! I also came up with two more mundane examples: With `p = (->)`, `traverseP` is `map` and with `p = Cayley ((->) i)`, it's probably `itraverse` from `indexed-traversable`.
@oiluiz What's the meaning of Willy Wonka offering Legolas an ice cream?
@chess_feed Would starting with QH8 not work here?
@MonkXv @polizeiberlin Ich nehme mal an, dass die das Recht haben, Waffen zu beschlagnahmen, wenn er durch das Angreifen der Polizisten schon gezeigt hat, dass er damit nichts Gutes vorhat?
@EChatav @JustDeezGuy Is it a thin category? Have you found a way yet to make use of this fun fact?
@kerckhove_ts What’s the benefit of using free selective applicatives here over the applicative functors that optparse-applicative uses?
@analytichegel Do you have examples of applicative functors that aren’t endofunctors in Hask? Wouldn’t it be possible to write the necessary boilerplate for using Idris2’s idiom brackets in that case?
@iokasimovm @ModusCreate Thanks, that makes it clearer. Looking forward to your documentation engine!
@EChatav @scheminglunatic Thanks, I get it now! I guess with Haskell’s RebindableSyntax or with Idris2’s do-notation you could even make them look like regular do-notation. The combinators are like the `hmap` I’ve seen IcelandJack and Petr Pudlak post about.
@EChatav @scheminglunatic Could you share an expression using your codo, coeach or mayhap notation?
@EChatav @scheminglunatic Does the meaning of the curly braces depend on the category? I remember that codo notation desugars to let bindings instead of to lambda abstractions like do notation does.
@paf31 I wonder if languages with more expressive type systems like Granule could use types here that only allow the correct implementation, for example the two values in `Pair` should also be used linearly by `contexts`, but the types don't express that.
@ncfavier This was quite enlightening for me to understand what's behind the names "sigma type" and "pi type"
Alessandra James @Alessandra23851
5 Followers 86 Following
Breaking Economics @BrkEcon
398 Followers 1K Following
SumitM @SumitM_X
46K Followers 1K Following 16 years In IT | Author of a bestselling Java book | All Books links in the pinned tweet https://t.co/NmsenbKiBW
Xah Lee @xah_lee
9K Followers 805 Following Math and Coding Nerd. Author of Xah Fly Keys, JS in Depth, Practical Emacs Lisp, Wolfram language for programers. I post mostly nerd stuff.
Abinaya Thennarasu @Careerbuddha111
5K Followers 446 Following Career Buddha is focused on helping students and professionals build successful careers in AI and Data Engineering. Sharing Tech Job updates Daily
Veronika Romashkina @vrom911
3K Followers 692 Following 💻 Software Engineer (FP) 🦄 Creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
moritz ✨ @angerman
3K Followers 2K Following Building open source things for all of us: - https://t.co/dLSzvbY8aa · Docker is stupid - https://t.co/ts1OYFpBS0 · Your CLI deserves a UI
Csaba Hruska @csaba_hruska
1K Followers 672 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Kiran @kirancodes
3K Followers 245 Following Research Scientist in NYC I work in Programming Languages research, on formal verification. British South Asian diaspora~
Josh Burgess @_joshburgess
2K Followers 5K Following Programmer into FP, Haskell, Rust, PureScript, OCaml, TypeScript and music (prog rock/metal, jazz fusion), mountains, hiking, grassroots motorsports, etc.
TigerBeetle @TigerBeetleDB
11K Followers 2K Following The financial transactions database designed to power the next 30 years of transaction processing.
nhatanh @alittletyper
237 Followers 2K Following
Paolo G. Giarrusso @Blaisorblade
2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Council. Co-dev of https://t.co/ilgx6i6eL1 He/him.
Josef Svenningsson @J_Svenningsson
227 Followers 323 Following Working on CodeQL at GitHub I used to write a lot of Haskell View are my own
Bryan Bischof fka Dr.... @BEBischof
6K Followers 3K Following Leading AI @theoryvc; Teach ML @rutgersu. Prev: Led AI @_hex_tech; Led Data @weights_biases, ML @stitchfix, Led Data @bluebottleroast
Charles 🎉 Frye @charles_irl
20K Followers 3K Following memer of technical staff at @modal. he/him. ex @full_stack_dl, @weights_biases (acq. @CoreWeave), phd Berkeley @Redwood_Neuro.
Nico Verderosa @NicoVerderosa
12K Followers 1K Following @SpaceXSI Expert Team Lead (OPS) | Ad Astra
Derek Dreyer @HerrDreyer
3K Followers 211 Following Get used to disappointment. Professor @ MPI-SWS. Opinions expressed here are my own and do not reflect the views of my employer.
〚Dan R. Ghica〛 @danghica
1K Followers 306 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 198 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Firefox for Web Devel... @FirefoxWebDevs
90K Followers 5K Following Official Firefox account for people who build on the web. Learn about the things we're working on to grow and improve the web platform.
Matt Henderson @matthen2
82K Followers 3K Following maths, visualisations, conversational AI. VP Research @polyaivoice prev: @RekaAILabs, @Apple AI/ML, @GoogleAI, PhD @Cambridge_Eng
Point-Free @pointfreeco
17K Followers 3 Following A video series exploring advanced topics in the Swift programming language.
Will Crichton @tonofcrates
7K Followers 161 Following Cognitive engineer, assistant professor @BrownUniversity.
Casey Muratori @cmuratori
78K Followers 159 Following Programming: https://t.co/Bdh1Xj2PpV Comics: https://t.co/fmdjK9HFxW
Loris Cro ⚡ @croloris
9K Followers 87 Following VP of Community @ Zig Software Foundation • Zig Livecoding https://t.co/iJK2ZfBJIX • Zine static site generator https://t.co/8IxQojzH8U
rntz @arntzenius
2K Followers 337 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td
Ryan Fleury @rfleury
25K Followers 148 Following RJF // @dgtlgrove // Making RAD Debugger at @radgametools in @epicgames (opinions my own)
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
PLDI @PLDI
5K Followers 948 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Prophet @welltypedwitch
3K Followers 0 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/p6LXXU7dGH
Andor Pénzes @sverien
569 Followers 1K Following Functional programming,software development,compiler construction.
Liam Goodacre @goodacre_liam
478 Followers 450 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
András Kovács @andrasKovacs6
903 Followers 65 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Erik Meijer @headinthebox
37K Followers 0 Following
andrew blinn - bedfra... @disconcision
9K Followers 2K Following "a never-ending beige-crème DMT trip" progaming 🗨️ languages ➕ mousefeel 🖲️ maximalism 🔜 Nintendo® 🎮 Excel™ 🧮 ♶ the 📱 vpriPhone©️
Lennart Augustsson @Augustsson
2K Followers 200 Following
sinan @_osa1
828 Followers 270 FollowingTrends for United States
You might like
