Haskell Works @HaskellWorks
Official Haskell Works Twitter account github.com/haskell-works/ Sydney, New South Wales Joined March 2015-
Tweets85
-
Followers534
-
Following155
-
Likes252
Looking for feedback on this tasty-discover PR that adds support for custom tests. github.com/haskell-works/…
My boyfriend got his covid vaccine yesterday and I can tell you the most prominent side effect is the inability to shut up about getting the covid vaccine
Here is the recording of yesterday's @AwakeSecurity Haskell stream on reading from and writing to a Kafka topic: twitch.tv/videos/8243843… Also, thank you to @HaskellWorks for providing the Haskell package used in the stream
haskell-language-server-0.4.0 has been released! * import lens plugin, which can convert your import statements into qualified imports * eval plugin has also learnt two new commands, :type and :kind: * support for GHC 8.10.2 github.com/haskell/haskel…
CircleCI orb for HLint is now available: circleci.com/orbs/registry/…
4 years and 200 pull requests later, linear types are in! GHC #haskell will ship with linear types in the upcoming version 8.12. tweag.io/blog/2020-06-1…
Because of the COVID-19 crisis, ZuriHac 2020 will be organized as an online event. We'll have more details soon! zfoh.ch/zurihac2020/#c…
Many of haskell-works projects are now building on ghc-8.10.1 github.com/haskell-works/…
Announcing cabal-cache-1.0.0.3. github.com/haskell-works/… cabal-cache now uses the dependency graph in plan.json to download built packages in a safe order reducing the opportunity for corrupting the cabal store.
Announcing cabal-cache-1.0.0.0. github.com/haskell-works/… cabal-cache now versions cached packages and includes slightly better handling of packages that are difficult to relocate. See README for more information.
Do you use cabal new-build and sometimes which you could share the cabal store dependencies of your projects with other developers so that they don't have to rebuild them from scratch? Announcing cabal-cache-0.2.0.2 github.com/haskell-works/…
I'm talking about my favourite strange CPU instruction at @bangbangcon this year! bangbangcon.com/speakers.html#…
CircleCI Orb haskell-build-1.6.5 release adds support for ghc-8.6.4. circleci.com/orbs/registry/… #circleci
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Gabriella 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) 🏳️⚧️Paweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsTom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign Languagegelisam @haskell_cat
1K Followers 316 Following Professional Haskell developer at https://t.co/qG4jsBEIIO . Opinions are my own and do not necessarily represent those of my employer.Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)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 blueskyRick @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).ᛞᛁᛋᛁᛝᛖᚱ @dysinger
4K Followers 1K Following Software Mechanic❚ Work 🐪 #ocaml #haskell #erlang #nix #unikernel 🤓❚ Not-Work 碁士 #1A #2A #firearms #osint #privacy #amateurradio❚Herr DC Lange @CarlHedgren
346 Followers 918 Following computer people Three digit IQ master race. proud neo-nmemonite M-x immigrantSoso Ibn Ben Bakr Rus.. @PradoeSousa
342 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!Jamie Rodriguez @mastery_of_one
3 Followers 745 Following_Cherry @Cherry557161603
10 Followers 1K FollowingKelose @Kelose62581
117 Followers 1K FollowingSamuel Feitosa @SS_Feitosa
5 Followers 136 FollowingFTS @fishtreesugar
14 Followers 463 Followingusagi_zajec @usagi_zajec
15 Followers 323 FollowingPedro era o Cão @orlandolopeses
923 Followers 5K Following Trogloditas líricos não levam desafloros pra casatorichan @torichan50
263 Followers 3K Following@gacallea@stereophoni.. @thecallea
82 Followers 312 Following Fuck this shit: https://t.co/2TNZJD5DKf - Find me here: https://t.co/HeLx229m3PPierre Thierry @kephasp
244 Followers 808 Following My two commandments: love and truth (because Jesus). He/him. Finds peace in Functional Programming. CTO of AUTOGRIFF.Ian Duncan @iand675
457 Followers 1K Following @[email protected] Functional programming, web performance, observability, reliability engineering. Engineer at @mercury Formerly @forgeglobal, @circleciaramya @thmgdi
214 Followers 2K Following interested in low-level computing, pwn and functional programming :)Bingen Eguzkitza (�.. @bingentxu
965 Followers 5K Following Head of Development @LiquityProtocol | Prev: @AragonOneTeam / @AragonProject | @[email protected]Eryk Ciepiela @ErykCiepielaDev
1 Followers 30 Following((RoyPeterD'Souza))) @RoyPeterDSouza
131 Followers 3K Followingkoijigen @koijigen
14 Followers 311 Following Hobbyist programma🌞 総て白帯🌈 独り言多め🖋️ 開発情報アンテナ乱立📡 Become coding mate🤗 photo🙏 * prof : https://t.co/UeBtFVUlEY by cocoparisienne. * back : https://t.co/gbpOaeAmdX by RitaE.Aleksandr Khristenko @ibxth
6 Followers 176 FollowingArkaitz Múgica @arkaitzmugica
328 Followers 547 Followingshzmwfgwzf @asnawysl
172 Followers 5K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless youVlad P. Luchian @Cstml1
71 Followers 354 Following Passionate about λ calculus, Haskell, lisp, and pure functional programming. Will write Agda, sometimes. Rust and C for fun.salim pamukcu @Salimp2009Salim
399 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈v @visarz
1K Followers 4K Followingkgkoutis @kgkoutis3
39 Followers 1K FollowingChristos Korras @ChristosKorras
3 Followers 112 FollowingАлександр Н.. @maptupyc
19 Followers 1K Following🌻 Candido Resende .. @rezendealvez
887 Followers 5K FollowingCassandra Connors @psychedelicsn0w
3 Followers 111 Following I rescue animals and write code in HaskellHaskell Spotlight @HaskellSpot
422 Followers 836 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️Jacques Ollivier @JacquesOllivier
40 Followers 302 FollowingQuanterall @Quanterall
729 Followers 2K Following R&D Lab specialising in building complex and scalable custom software, #IoT, #Blockchain, and #FinTech solutions utilising #Elixir, #Erlang, #Haskellroadside_picnic @poadside_ricnic
13 Followers 2K Following111 @DismissalSeas
21 Followers 336 FollowingBartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersEdward 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/oP135HK8LMRúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Tweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Gabriella 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) 🏳️⚧️Erik Meijer @headinthebox
27K Followers 0 FollowingAlexis 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, ⚢Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.gelisam @haskell_cat
1K Followers 316 Following Professional Haskell developer at https://t.co/qG4jsBEIIO . Opinions are my own and do not necessarily represent those of my employer.Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)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.Justin Lê @mstk
2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / himFlavius 🏴☠️ @FlavioCorpa
2K Followers 204 Following Senior Software Engineer, Haskell & Elm @Scrive 🌳 Adult chess improver #chesspunks♟️ 日本語を勉強しています(N4)🏯Moritz 💫 @4ngerman
2K Followers 735 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!Michael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Boris Rozinov @borisrozinov
161 Followers 565 Following -fno-warn-unticked-promoted-constructors -X GenVeronika Romashkina @vrom911
3K Followers 673 Following 💻 Software Engineer (FP) 🦄 Co-creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9RCliff @field_strength
288 Followers 1K Following Covariant programmer. Anticarnist. Into high-energy physics, math, art, sound, gaming, public policy ... {he}Tomasz Skutnik @TomaszSkutnik
92 Followers 1K FollowingNick Demming @_demming_
84 Followers 1K Following Mathematician, trader, software architect, ex-lawyer. Cloud Tech, Fintech, DevOps, Azure, Java & Spring, .NET, Go, Haskell, TypeScript, React, Scala.Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AIGabrieλ Volpe @volpegabriel87
4K Followers 320 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #HaskellKwame Larbi @kal_adjei
2K Followers 2K Following Eternal learner ~ FP/Haskell/Elixir ~ #MUFC ⚽ You create your realityAlan Zimmerman @alan_zimm
971 Followers 276 Following Long term hacker @[email protected] on fediverseJames Brock @jamesdbrock
581 Followers 796 Following Twitter activity: Pure functional programming. Yokohama residence, Vermont provenance. https://t.co/zOCQmXS9HGcdepillabout @cdepillabout
575 Followers 187 Following Programmer interested in functional programming, Haskell, DevOps, and Nix/NixOS.Kahlil Abreu @kahlil_va
197 Followers 300 Following Haskell, Rust, FP, Open-Source Contributor, Soccer Lover (Chelsea FC)protozoën @mzerodev
253 Followers 658 Following Haskell. Depression. Social justice. GPL enthusiast. Jewish refugee. World's fastest Nameless One. 🏳️🌈🏳️⚧️ she/her. https://t.co/UW5h9wvevcChris D'Aloisio @chrisdaloisio
203 Followers 191 Following Software Engineer, Teacher/Mentor/Coach, Musician. Looking for better ways to build correct software. Types and temporal logic checkers are your friends.Carter T Schonwald @cartazio
2K Followers 800 Following mathy, Computer Scientist, Engineer. Extrovert! https://t.co/P6pYt6qnbl, https://t.co/l5GDSjx0Aq, etc [email protected] [email protected], etc etcAR Luiz @Luiz0x29A
587 Followers 636 Following-_- @boarders__
760 Followers 2K Following I think that says ‘ex inferis’ - save yourself … from hellMelbourne :: C◦mp�.. @ComposeMelb
333 Followers 289 Following Sister conference to @composeconf. Sep 2nd 2019. Talks & workshops on functional programming of all stripes!Dominic Steinitz @idontgetoutmuch
419 Followers 376 Following @[email protected] Functional programming, Haskell, stochastic differential equations, MCMC, Sequential MC, dynamical systemssclv @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/vM4OgmDjGQGary Fixler 🗹 @gfixler
870 Followers 640 FollowingNiki Vazou @nikivazou
3K Followers 477 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.krystal maughan @kammitama
567 Followers 510 FollowingRahul Muttineni @rahulmutt
1K Followers 869 Following Husband of @jyothsnasrin. Creator of @eta_lang. Interested in improving the state of programming languagesRo @SPHIX_1
427 Followers 674 FollowingSathish Mandapaka @MonadicBind
159 Followers 355 Following Functional Programmer at heart , Uses Scala in a day job , works with Haskell @ night !! Tweets are mine.Herr DC Lange @CarlHedgren
346 Followers 918 Following computer people Three digit IQ master race. proud neo-nmemonite M-x immigrantEmanuel @emanuel0xb
80 Followers 1K FollowingFilippo Sestini @FilippoSestini
139 Followers 264 Following 🇮🇹 PhD in Computer Science (type theory). OCaml Engineer @ https://t.co/7EUkYhaw8HTyler Weir @tylerweir
1K Followers 938 Following Wannabe Mathematician - #rust #remix @[email protected]Daniel Bachler @DanyX23
792 Followers 1K Following Software engineer @OurWorldInData, author of https://t.co/8Dqm5584Xw. He/Him. Also @[email protected]New video, in which I rant about how MonadFail could have been great, but ended up being disappointing. But it's hard to stay upset at Haskell very long, as minutes later my feature works on the first try after fixing the type errors :) youtu.be/E19eEvYlli0?t=…
been forcing myself to not work on anything the past few days because I have been typing so much that I appear to be giving myself cubital tunnel syndrome again, and as much as I value my hands, so much of what I enjoy involves some amount of typing that this kind of sucks
Every now and then I hear the argument “FP isn’t suited for the real world because it requires everything to rigidly follow laws, and the real world isn’t like that, businesses are messy.” I find this argument very unconvincing, for two reasons:
There’s a related misconception that FP forces you to write well-architected code, which, lmao no. Maybe we ought to do a better job dispelling this one
The cult leader type of personality can never be trusted in positions of authority though.
Today's HLint release required: * 4 hours messing with GHC/Cabal installations. * 30 mins coding to patch one release-blocking bug. * 3 hours adapting to Cabal 3.4 changes. If you are only spending 7% coding, you're not a programmer, but a toolchain wrangler 😞.
Haskell linter HLint 3.3 now out. Switches to the GHC 9.0 parser (thanks @shayne_fletcher) and more powerful Template Haskell matching (thanks @yairchu). Anyone using the API to interact, it will be GHC API on GHC 9.0, and the ghc-lib-parser on 8.10/8.8. github.com/ndmitchell/hli…
ONYX news: #Cardano's first quantum block is on chain! 32k samples of quantum randomness #QRNG. Celebrating Cardano's public assertion of randomness. @IOHK_Charles explorer.cardano.org/en/transaction…
My boyfriend got his covid vaccine yesterday and I can tell you the most prominent side effect is the inability to shut up about getting the covid vaccine
Here is the recording of yesterday's @AwakeSecurity Haskell stream on reading from and writing to a Kafka topic: twitch.tv/videos/8243843… Also, thank you to @HaskellWorks for providing the Haskell package used in the stream
I feel like Haskell and Rust have a lot in common. Why is it that the Rust community releases so many nice command-line tools but the Haskell community doesn't? zaiste.net/posts/shell-co…
@taylorfausak Because Haskell sucks at producing transferrable binaries? Also making statically linked binaries is hard?
90% of programming jobs are building bad CRUD interfaces to databases
🟥 → ⬜️ 🟧 → ⬜️ 🟨 → ⬜️ 🟩 → ⬜️ 🟦 → ⬜️ 🟪 → ⬜️ 🟫 → ⬜️ ⬛️ → ⬜️ If the targets are all the same, we can collapse the source to a coproduct, (+) = Either (🟥+🟧+🟨+🟩+🟦+🟪+🟫+⬛️) → ⬜️
😡 → 😡 😡 → 😡 😡 → 😡 😡 → 😡 😡 → 😡 What happens when they're all the same? (😡+😡+😡+😡+😡) → 😡 😡 → (😡, 😡, 😡, 😡, 😡)
Did anyone on the C++20 committee think maybe this year of all years might be good to skip when it comes to unleashing a new standard on the unwitting populace? Really, what could go wrong. Haskell2020 seems to have done the responsible thing and postponed itself indefinitely.
A list of hints is a feature asked for years ago, and finally implemented by @contramap. HLint continues to improve thanks to a team of people that includes me, I just happen to write the release announcements :)
Once again, @ndm_haskell blesses us with HLint. Here's a exhaustive list of all the available hints: github.com/ndmitchell/hli… #Haskell #Linting
@perrymetzger @philip368320 But most of them are right, aren't they?
This is inspired by what physicists call the naturality problem: If our universe is average, we shouldn't need to be fine tuning the physical constants, such as the cosmological constant.
If my life is average, then humanity is currently at its peak. If humanity were to continue to expand exponentially, it would be a miracle to be born at the very beginning. Therefore the end is nigh.