Haskell Works @HaskellWorks
Official Haskell Works Twitter account github.com/haskell-works/ Sydney, New South Wales Joined March 2015-
Tweets89
-
Followers484
-
Following143
-
Likes237
Why it matters: * Uses 18-46x less memory than traditional JSON parsers * 1.2-6x faster than system jq * SIMD accelerated on x86_64 (AVX2/AVX-512) and ARM (NEON) * no_std compatible
What it does: * Bitvector with O(1) rank and O(log n) select (~3% overhead) * Balanced parentheses for tree navigation (~6% overhead) * JSON semi-indexing at 950 MiB/s - navigate JSON without parsing the whole thing * jq-style queries built in
Announcing succinctly v0.1.0 - High-Performance Succinct Data Structures for Rust succinctly provides space-efficient data structures with blazing-fast operations, perfect for working with large datasets without blowing up your memory.
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…
But it differs in that it doesn't return a "special value" when it runs out of bits because it doesn't run out of bits. The function behaves as if it is querying a zero-filled infinite bit string prefixed with the bits of the input Word64.
The broadword implementation is based off the work in this paper "Broadword Implementation of Parenthesis Queries" by Sebastiano Vigna. arxiv.org/pdf/1301.5468.…
This monstrosity uses broadword techniques to implement "zero-indexed find position of unmatched closing parenthesis from starting position in a Word64" operation hackage.haskell.org/package/hw-bal…
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/…
Eep! Link got truncated somehow. circleci.com/orbs/registry/…
Announcing that haskell-build CircleCI orb now supports ghc-8.10.1 as well as Ubuntu Linux on i386. For these targets, a custom version of cabal is used because a working downloadable version of cabal is not yet available for these targets. #haskell circleci.com/orbs/registry/…
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.
Paweł Szulc @EncodePanda
3K Followers 667 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 428 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
gelisam ⏸️ @haskell_cat
1K Followers 320 Following AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
piq and 69 others @piq9117
3K Followers 2K Following Building RankRicer • Software Engineer • Haskell • Nix • Neovim • Competive Pistol Shooter
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
@_@ @dysinger
5K Followers 1K Following ❚ 🇺🇸 🦅 ❚ 1A ❚ 2A ❚ SR² SW Dev ❚ 🤓 AI ❚ ❄️ NIX ❚ ⭐ FStar ❚ 🍰 CakeML ❚ 🐪 OCaml ❚ C ❚ 📻 WM7E ❚ 🛜 802.11AH (LoRa) ❚ 碁士 ❚ 태권도 ❚ 🏋️ DYEL ❚ 🌅 Naturism
Herr DC Lange @CarlHedgren
385 Followers 936 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Francesco Martone @gecomagenta
50 Followers 235 Following
Feawi @Feawi8447
1 Followers 1K Following
Jalfou @Jalfou6892
57 Followers 2K Following
Soso Ibn Ben Bakr Rus... @AdArmaCives
1K Followers 5K Following Caucasian. wrightwinger. Georgian Legionaire. Matematician. War veteran. RUST/SCALA/HASKELL/R. Weapons, NRA! 🇬🇪🇳🇵
- @mastery_of_one
3 Followers 888 Following
_Cherry @Cherry557161603
18 Followers 955 Following
Kelose @Kelose62581
13 Followers 1K Following
Samuel Feitosa @SS_Feitosa
5 Followers 135 Following
Don Chen @donchenbuilds
4 Followers 40 Following Full stack developer building QuantNote, fundamental stock research, portfolio tracking, and AI-assisted analyst reports.
FTS @fishtreesugar
16 Followers 485 Following
usagi_zajec @usagi_zajec
5 Followers 303 Following
Pedro era o Cão @orlandolopeses
884 Followers 5K Following Trogloditas líricos não levam desafloros pra casa
torichan @torichan50
259 Followers 3K Following
@gacallea@stereophoni... @thecallea
73 Followers 288 Following Fuck this shit: https://t.co/2TNZJD5DKf - Find me here: https://t.co/HeLx229m3P
Pierre Thierry @kephasp
272 Followers 836 Following My two commandments: love and truth (because Jesus). He/him. Finds peace in Functional Programming. Haskell Engineer at Tontine Trust. 🖖
Eryk Ciepiela @ErykCiepielaDev
1 Followers 28 Following
((RoyPeterD'Souza))) @RoyPeterDSouza
120 Followers 3K Following
koijigen @koijigen
14 Followers 293 Following Hobbyist programma🌞 総て白帯🌈 独り言多め🖋️ 開発情報アンテナ乱立📡 Become coding mate🤗 photo🙏 * prof : https://t.co/UeBtFVUlEY by cocoparisienne. * back : https://t.co/gbpOaeAmdX by RitaE.
Aleksandr Khristenko @ibxth
8 Followers 176 Following
Arkaitz Múgica @arkaitzmugica
313 Followers 522 Following
shzmwfgwzf @asnawysl
102 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
salim pamukcu @Salimp2009Salim
393 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
v @visarz
1K Followers 4K Following
kgkoutis @kgkoutis3
33 Followers 1K Following
Christos Korras @ChristosKorras
3 Followers 109 Following
Александр Н... @maptupyc
16 Followers 1K Following
Cassandra Connors @psychedelicsn0w
2 Followers 108 Following I rescue animals and write code in Haskell
Haskell Spotlight @HaskellSpot
366 Followers 754 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️
Jacques Ollivier @JacquesOllivier
32 Followers 314 Following
Quanterall @Quanterall
684 Followers 2K Following R&D Lab specialising in building complex and scalable custom software, #IoT, #Blockchain, and #FinTech solutions utilising #Elixir, #Erlang, #Haskell
roadside_picnic @poadside_ricnic
9 Followers 2K Following
111 @DismissalSeas
15 Followers 322 Following
Nassime NE @unereplicante91
102 Followers 5K Following Lifetime student. Freshly minted web dev, Rails, Reactjs. Java and Spring Boot newb. InfoSec. ❤️ Photography. SheHer|TheyThem. | Retweet != Endorse
Jonathan Prieto-Cubid... @jonaprietoc
77 Followers 444 Following Read/write types and proofs for fun and profit. Better HoTT than cold. "The Devil is in the details".
Ángel Gladín @angelgladin
114 Followers 262 Following
Hannibal Mehari @hanni_hari
68 Followers 2K Following Q_ct + ai + computing/computation ... (phd candidate_st. gallen)Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
17K Followers 812 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Rúnar @runarorama
13K Followers 120 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Tweag by Modus Create @tweagio
7K Followers 320 Following Improving the craft of software engineering.
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 🏳️⚧️
Erik Meijer @headinthebox
37K Followers 0 Following
Alexis King @lexi_lambda
13K Followers 23 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
gelisam ⏸️ @haskell_cat
1K Followers 320 Following AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Luc Tielen @luctielen
1K Followers 124 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 / him
富良美雄 @FlavioCorpa
2K Followers 299 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
moritz ✨ @angerman
2K 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
Michael Snoyman @snoyberg
5K Followers 642 Following Programmer, author, speaker, systems architect, weight lifter, Bitcoin/hard money enthusiast. Born in 🇺🇸, living in 🇮🇱. עזרי מעם ה׳ עושה שמים וארץ
Boris Rozinov @borisrozinov
199 Followers 647 Following -fno-warn-unticked-promoted-constructors -X Gen
Veronika Romashkina @vrom911
3K Followers 693 Following 💻 Software Engineer (FP) 🦄 Creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
Cliff @field_strength
253 Followers 1K Following Covariant programmer. Anticarnist. Into high-energy physics, math, art, sound, gaming, public policy ... {he}
borar @Savlambda
412 Followers 657 Following
Tomasz Skutnik @TomaszSkutnik
89 Followers 1K Following
Nick @_demming_
92 Followers 1K Following Mathematician, trader, software engineer, cloud architect, ex-lawyer. Cloud Tech, Fintech, DevOps, AWS, Java & Spring, Go, Rust, Haskell, React, Scala.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Gabrieλ Volpe @volpegabriel87
4K Followers 294 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
Kwame Larbi @kal_adjei
1K Followers 2K Following Eternal learner ~ FP/Haskell/Elixir ~ #MUFC ⚽ You create your reality
Alan Zimmerman @alan_zimm
880 Followers 259 Following Long term hacker @[email protected] on fediverse
cdepillabout @cdepillabout
535 Followers 194 Following Programmer interested in functional programming, Haskell, DevOps, and Nix/NixOS.
Zoe Melpomene : ∀a.... @mzerodev
229 Followers 633 Following I mostly just retweet lesbian art here, tbh. Haskell. Nix. Jewish refugee for 🇵🇸. Has an unusual number of teeth. 🏳️🌈🏳️⚧️ she/her.
Chris D'Aloisio @chrisdaloisio
190 Followers 177 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 745 Following mathy, Computer Scientist, Engineer. Extrovert! https://t.co/P6pYt6qnbl, https://t.co/l5GDSjx0Aq, etc [email protected] [email protected], etc etc
Biochemical only Luiz @Luiz0x29A
548 Followers 601 Following
Melbourne :: C◦mp�... @ComposeMelb
308 Followers 261 Following Sister conference to @composeconf. Sep 2nd 2019. Talks & workshops on functional programming of all stripes!
Dominic Steinitz @idontgetoutmuch
369 Followers 335 Following @[email protected] Functional programming, Haskell, stochastic differential equations, MCMC, Sequential MC, dynamical systems
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
Gary Fixler 🗹 @gfixler
799 Followers 607 Following
Niki Vazou @nikivazou
3K Followers 462 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
krystal maughan @kammitama
519 Followers 481 Following
Rahul Muttineni @rahulmutt
988 Followers 819 Following Husband of @jyothsnasrin. Creator of @eta_lang. Interested in improving the state of programming languages
Ro @SPHIX_1
609 Followers 843 Following
Sathish Mandapaka @MonadicBind
149 Followers 347 Following Functional Programmer at heart , Uses Scala in a day job , works with Haskell @ night !! Tweets are mine.
Herr DC Lange @CarlHedgren
385 Followers 936 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Filippo Sestini @FilippoSestini
130 Followers 272 Following 🇮🇹 PhD in Computer Science (type theory). Functional programmer (Haskell/OCaml/Agda). Software Engineer @Arm
Daniel Bachler @DanyX23
876 Followers 2K Following Head of Engineering @OurWorldInData, author of https://t.co/8Dqm5584Xw. He/Him
Ben Kovach @bendotk
16K Followers 247 Following Artist using code and procedural generation as a medium



































