HVR @hvrgnu
Lazy functional tweeter Vienna, Austria Joined October 2015-
Tweets529
-
Followers708
-
Following51
-
Likes653
Great article by Luke Lau showing off some of #Haskell #cabal 3.2's useful features for everyday work! lukelau.me/haskell/posts/…
@bgamari I'd like to plug a friendly reminder that you can get convenient .deb packages for brand new #Haskell GHC 8.8.3 and Cabal 3.2 releases built appositely for your specific #Debian and #Ubuntu releases from our Apt repositories; see downloads.haskell.org/debian/ for more details!
IMO @_osa1 makes a good case that the overall cost&issues of adding seemingly neat syntax variations to the language extends far beyond an innocent looking 10-line patch (whose OP might not even be involved w #haskell anymore) and isn't taken srsly enough osa1.net/posts/2020-01-…
We've put together an Awesome list of resources for the #Haskell Cabal build tool 💫 Discover incredible tools and helpful guides all in one place! And help us to make it even more awesome💅 Share your amazing work if it's anyhow related to Cabal! kowainik.github.io/projects/aweso…
Pleased to say that three and a half months later, we have officially switched to using `cabal-install` instead of `stack` at @HasuraHQ! 🎉 github.com/hasura/graphql…
Pleased to say that three and a half months later, we have officially switched to using `cabal-install` instead of `stack` at @HasuraHQ! 🎉 github.com/hasura/graphql…
🆕 Blog post time! I wrote about a nice feature for your #Haskell package configurations — "Common Stanzas". Step by step integration showcase and alternative examples (featuring #Dhall) are included. vrom911.github.io/blog/common-st…
Seems we're getting #xmas presents early this year - a huge thank you @phadej for helping out 🎅 delivering #haskell presents! :-) github.com/haskell/cabal/…
Automatic testing of Haskell projects with Travis CI -- New blog post! qfpl.io/posts/testing-…
@robdaemon @deech Use @chocolateynuget for ghc on windows. Phyx- does an amazing job of packaging and fixing it. @me_coot can attest to the ease of ghc with choco.
New blog post: "Unrolling data with Backpack" well-typed.com/blog/2019/11/u…
New blogpost: Haskell Design Patterns: The Handle Pattern jaspervdj.be/posts/2018-03-… #haskell
Haskell's cabal has received an enormous amount of shite over the years so I just wanted to say that version 3.0 is really really good and my install/build times are much faster then with previous setup (stack)
Check out the new v0.2 release of the #Haskell #YAML libraries HsYAML and HsYAML-aeson which is the result from my #GSOC project! hackage.haskell.org/package/HsYAML…
Here's a small neat showcase for tables in #Haddock from the recently released hackage.haskell.org/package/lzip #Haskell library (i.e. markup works inside table cells!); I've also made a 2nd screenshot to show off the new default Hackage-aligned theme in Haddock 2.23 (i.e. GHC 8.8.1)
Tamar Christina has been busy improving the UX for Windows users and now you can finally "set up a 100% working #Haskell environment using a single #chocolatey command" while benefiting from proper system packagement tooling: choco install haskell-dev hub.zhox.com/posts/introduc…
Haskell-y Ever After: Summer Tales for Every Full-stack Developer (Part Two) link.medium.com/XdPYdZryrZ Enjoy while it still hot!! feedbacks are really welcome.
Successfully completed #GSOC'19 with #Haskell🥳 Thank you so much to my mentor @hvrgnu for your amazing guidance throughout the project Hoping to keep on contributing to Haskell in the future. Have a look at the final work product: vijayphoenix.github.io/blog/gsoc-the-…
Here's an interesting new blogpost by Tamar Christina explaining in great details how he managed to overcame Windows' 260-char PATH_MAX limitation for the benefit of #Haskell GHC/Cabal users: hub.zhox.com/posts/bypassin…

Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
deech @deech
5K Followers 1K Following
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
João Forte Carvalho ... @bgamari
2K Followers 320 Following Director of Product @Constellation Network
sclv @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/45nJUN3IqD
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture. Ask me about my cows!
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • guns
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
austin 🇵🇸 @stdlib
2K Followers 395 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Csaba Hruska @csaba_hruska
1K Followers 686 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Jacques Carette @jjcarett2
2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Caupawn @Caupawn090
36 Followers 1K Following
Fwearo @Fwearo6955
17 Followers 940 Following
FemMiraMancer @miratechgeek
114 Followers 363 Following Oracle of AI 🤖 | Cat Lover 🐱 | Tech Innovator 🌐
Rodrigo Motta @rmotta_
402 Followers 2K Following ♪♫♪♫♫ Meu passaporte é espacial. Sou cidadão da Terra ♫♫♪♫♪
Eliza Zhang @elldritchz
396 Followers 4K Following your builds should be faster and your government should work @attunehq
Mira @_Mira___Mira_
11K Followers 2K Following
FTS @fishtreesugar
15 Followers 486 Following
Pierre Thierry @kephasp
264 Followers 841 Following My two commandments: love and truth (because Jesus). He/him. Finds peace in Functional Programming. CTPO/Lead Dev. Agile & DevOps expert.
IAmRizary @IAmRizary
3K Followers 3K Following Web 3.0 Builder, Trader, and Investor | Building muslim trader community soon InshaaAllah | Gatekeeper @rizilab @riziplay | Love Solana and Rust
Gus @gusajz
363 Followers 2K Following Periodista. Programador. Periodista. Músico. Programador. Periodista.
roadside_picnic @poadside_ricnic
10 Followers 2K Following
Functional Programmin... @FunctionalIndia
514 Followers 338 Following Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5Jqs3I. Bsky: https://t.co/jPZ6faePR6
koijigen @koijigen
15 Followers 293 Following Hobbyist programma🌞 総て白帯🌈 独り言多め🖋️ 開発情報アンテナ乱立📡 Become coding mate🤗 photo🙏 * prof : https://t.co/UeBtFVUlEY by cocoparisienne. * back : https://t.co/gbpOaeAmdX by RitaE.
Matt Russell @mrussell247
221 Followers 283 Following Director of Engineering for @Lumi with a passion for Haskell, rock climbing, and sailing
salim pamukcu @Salimp2009Salim
425 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
shzmwfgwzf @asnawysl
112 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
Haskell Spotlight @HaskellSpot
372 Followers 764 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️
Nauseam @ChadNauseam
7K Followers 1K Following If I sound lazy just ignore my tone cause I’m always gonna answer when you call my phone
Jade Gu (工业聚) @guyingjie129
731 Followers 1K Following Author of koka-ts, remesh-js, farrow-js, react-lite and react-imvc. coder and writer.
Vjeran @VjeranCrnjak
0 Followers 49 Following Programiram za pare. Programiram za zabavu. Jedem samo kapare. Živim sam na plavom splavu.
gwangjin @9w4n9j1n
39 Followers 427 Following Data Scientist, Bioinformatician, Human Geneticist (PhD), Lisp-Enthusiast, R, Python, FP
John Ericson @ericson2314_
519 Followers 679 Following Programmer dipping toes in economics. @[email protected], @Ericson2314:https://t.co/W7M481HPNw, [email protected], GitHub @Ericson2314, @JohnEricson.me
nhatanh @alittletyper
207 Followers 2K Following
Sven Heyll 🇺🇦�... @SvenHeyll
82 Followers 640 Following Politically correct, bullshit intolerant, kinky, curious, atheist, vegan, skeptic. I do Test- and Type Driven functional programming.
髭もじゃのハブ... @Hige_Chiwassu
2K Followers 4K Following アライさん界隈!けもフレ/Python/Haskell/Eng/数学/ポーカー/歌ってみたやってるぞ!最近はJech集合論に夢中だ!よろしくな!数学基礎論傾向!アイコン作(@torobaru)フェネックこと将来の配偶者(@HSP_Tsuchi) #アライさんvape部 最近圏論もハマってる!DIDです 全検査IQ119
Sebastian Larsen Preh... @SebastianPrehn
83 Followers 930 Following Computer Science MSc student @DIKU_Institut | Passionate Jugger @JuggerCPH | Tweets in Danish and English
Abul Basher @AbulBas73335186
116 Followers 1K Following Hello everyone! This is Abul Basher. I'm an enthusiastic, innovative and professional Graphic Designer. Graphic and Design is my passion.
Fredrik August Madsen... @fredrikmmalmo
41 Followers 105 Following go rust devops typescript react otel and more
Ben @cptwunderlich
49 Followers 108 Following Software Dev, Compilers, Vienna. Lox Bagel is my spirit animal. Opinions are my own and may contain traces of nuts, soy, sarcasm and madness.
Kishore Ganesh @KishoreGanesh12
37 Followers 1K Following
Troels Henriksen atha... @sigkill_dk
543 Followers 172 Following Hacker in academia. I think deterministic parallel programming is just great! I work on https://t.co/EDD6IfUdTw
Edward Kmett @edwardkmett
434 Followers 229 Following This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.
Zhao Xiaohong @mrluanma
910 Followers 3K Following
Marco Turchetto @Amerocu
11 Followers 210 Following Trying to find some totality in a Turing complete world.
Lorenz Leutgeb @lorenzleutgeb
179 Followers 698 Following PhD student in Automation of Logic at Max Planck Institute for Informatics
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
João Forte Carvalho ... @bgamari
2K Followers 320 Following Director of Product @Constellation Network
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
sclv @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/45nJUN3IqD
gabby @GabriellaG439
15K Followers 77 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture. Ask me about my cows!
austin 🇵🇸 @stdlib
2K Followers 395 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
Peak Financial Invest... @PeakFinInv
741 Followers 96 Following At Peak Financial Investing, we select financial advisors who share your views of the world and who has your best interests at heart.
Project Veritas @Project_Veritas
1.3M Followers 1K Following Investigative journalists exposing corruption through undercover video. Send a Tip: [email protected], Signal: 914-653-3110
XPlanedotOrg @XPlanedotorg
12K Followers 38 Following Official https://t.co/vlClCxyZuw page. Largest Flight Sim website in the world, and where all the virtual fun happens
Simon Peyton Jones @simonpj0
5K Followers 3 Following
Dale Wijnand @dwijnand
2K Followers 143 Following @scala_lang team at @lightbend. Interested in FP, tooling & API/library design. Ex @scala_sbt maintainer.
TU Wien @tu_wien
11K Followers 206 Following Mit rund 26.000 Studierenden ist die TU Wien Österreichs führende Bildungsinstitution auf den Gebieten Naturwissenschaft und Technik.
Matthew Pickering to @mpickering_
737 Followers 229 Following
Vijay Tadikamalla @vijayphoenix1
66 Followers 101 Following Data Scientist at Microsoft Bing | CSE IITH
Robert Djubek @ArchKiwi
119 Followers 173 Following I am artiste (and coder) i'm a (struggling) artist please support me/buy my art if you can :D https://t.co/skKcxkNPHO https://t.co/5UncrkvtRK
rizary @rizary_
204 Followers 110 Following Web 3.0 Builder, Trader, and Investor | Building muslim trader community soon InshaaAllah | Gatekeeper @rizilab @riziplay | Love Solana and Rust
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
StackOverflowHaskell @SO_Haskell
580 Followers 1 Following bot :: (StackOverflow a, CodeReview.SE b, Programmers.SE c) ⇒ a → b → c → TweetIO ()
Queensland FP Lab @queenslandfplab
416 Followers 0 Following
Brian McKenna @puffnfresh
8K Followers 2K Following Computational trinitarianist. Talk to me about programming languages. The parrot is real. λΠ
Carter T Schonwald @cartazio
2K Followers 755 Following mathy, Computer Scientist, Engineer. Extrovert! https://t.co/P6pYt6qnbl, https://t.co/l5GDSjx0Aq, etc [email protected] [email protected], etc etc
David Luposchainsky @quch3n
260 Followers 29 Following Haskell, mostly. Encryption: https://t.co/Xa9rXDaaKc
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
Francesco Gazzetta (@... @fgaz_
93 Followers 156 Following CS student @ https://t.co/kh10GidLan #Haskell #NixOS #Agda I'm on the #fediverse more than on twitter, current account @[email protected]
Alex Biehl @alexbiehl_
98 Followers 401 Following
Simon Marlow @simonmar
8K Followers 250 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
BreakingAPIs @BreakingAPIs
64 Followers 15 Following Research project at Carnegie Mellon University studying how developers negotiate breaking changes differently in different software ecosystems.
Haskell.org Status @HaskellStatus
349 Followers 0 Following Status updates for http://t.co/NriWg8obGc
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
John Wiegley @jwiegley
5K Followers 2K Following CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
Edward Snowden @Snowden
5.7M Followers 1 Following I used to work for the government, but now I work for the public.
Lawrence M. Krauss @LKrauss1
475K Followers 211 Following Theoretical physicist. Best-selling author. Science & public policy advocate. President of @OriginsProject & Host of Origins Podcast, Board Chair, FSU Canada
Richard Dawkins @RichardDawkins
2.9M Followers 344 Following UK biologist & writer. Richard Dawkins Foundation donor: https://t.co/rZZdjPoMUe. For Details about the Upcoming Tour: https://t.co/sSo5FL6CWb