Haskell for Mac @HaskellForMac
Functional programming without the hassle. Live programming for Haskell. haskellformac.com Utrecht, The Netherlands Joined April 2015-
Tweets1K
-
Followers2K
-
Following2K
-
Likes270
Haskell-inspired art (by Arvid)
@jonahkoch No, sorry, but that would be great.
Download four different light and dark Haskell for Mac wallpapers from haskellformac.com/wallpaper.html
@sl1974 @loganmoseley In that case, please re-download from download.haskellformac.com
TZ♻️ Haskell for Mac 1.8.2 with support for Dark Mode and Big Sur is out! To celebrate, download the light and dark Haskell for Mac wallpapers from haskellformac.com/wallpaper.html •
Interesting experience report about a Haskell course run by @LarsBrunjes and @kosmikus that spontaneously turned online, because COVID-19 rendered the in-person version impossible: iohk.io/en/blog/posts/…
Haskell for Mac 1.8.2 with support for Dark Mode and Big Sur is out! To celebrate, download the light and dark Haskell for Mac wallpapers from haskellformac.com/wallpaper.html
@loganmoseley Please re-download from haskellformac.com/download — sorry for the inconvenience!
This is the first issue of a cool new Haskell/FP monthly newspaper @bind_the_gap — if you are interested in Haskell or FP in general, make sure to check it out! x.com/bind_the_gap/s…
🗞️ The pilot issue of #BindTheGap is out! It includes: 🚂 SPJ about #HaskellFoundation 🚃 aeson review 🚃 Exclusive content by @impurepics 🚃 GHC and base proposals 🚃 @graninas about his book FDaA 🚃 FP and #Haskell fun and much more! Download it now! bindthegap.news/#issues
The Haskell Foundation is now live at @haskellfound and haskell.foundation — this is an important step in the evolution of the Haskell community. Check it out and join the discussion!
The Haskell community is taking it to the next level. During the opening keynote to the virtual Haskell eXchange 2020, @simonpj0 will announce the launch of the Haskell Foundation, an independent non-profit. Watch it here live on Wednesday, 12:00 UTC: youtube.com/watch?v=MEmRar…
Check it out! @CompositionalFM is a new podcast about applying functional programming principles in engineering practice. It is being produced by engineers from @tweagio who are using FP in anger every single day! compositional.fm
Nederlandse We Want More-winnares Iris maakt furore in Portugal ad.nl/show/nederland…
@BartoszMilewski @_julesh_ @boarders__ @TacticalGrace Haskell for Mac is great. For "exploratory programming" it is absolutely just what you want. I used it for videos & livecoding teaching Haskell during COVID. facebook.com/jameskjx/video…
In “Improving Haskell’s big numbers support”, @shenry_io summaries the work he has done at @inputoutputHK to substantially improve the situation around GHC’s bignum packages iohk.io/en/blog/posts/…
The second beta is up! It fixes a display bug where Haskell code is shifted left in the editor view. Get it from install.appcenter.ms/users/chak/app… x.com/HaskellForMac/…
Would you like to help beta test dark mode? Get v1.8.0 beta1 from install.appcenter.ms/users/chak/app… — please let me know if you find any issues with this version. Thanks!
Here is a paper to challenge your preconceptions about software development methodologies: “Flexible Formality: Practical Experience with Agile Formal Methods” iohk.io/en/research/li… (marriage of agile and formal software dev at @InputOutputHK)
TZ♻️ Would you like to help beta test dark mode? Get v1.8.0 beta1 from install.appcenter.ms/users/chak/app… — please let me know if you find any issues with this version. Thanks!
@__mschmidt For now, that has to go via Rosetta 2, but that will improve over time.
Would you like to help beta test dark mode? Get v1.8.0 beta1 from install.appcenter.ms/users/chak/app… — please let me know if you find any issues with this version. Thanks!
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
Tweag by Modus Create @tweagio
7K Followers 311 Following Improving the craft of software engineering.
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 424 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
_lazyLambda @GSprout55299
0 Followers 20 Following CTO AceTalent | Haskell | Nix Youtube: @SimpleHaskell
chengjilai @chengjilai
27 Followers 2K Following
Peter Thompson @peterwthompson
163 Followers 99 Following Consultant Scientist at Predictable Network Solutions and director of Bristol Energy Coop
Erkal @AzizErkalSelman
465 Followers 969 Following interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games https://t.co/9zNQCBPfGt
JL OP @jlortsp
0 Followers 37 Following
Fix JuanPabloF -- �... @lambdase
339 Followers 761 Following Tweets about functions and types. Likes programming languages and abstract algebra. Likes aren’t endorsements. He/him
Londo Spark @LondoSpark
492 Followers 2K Following C# Developer in the daytime, F# at night - very opinionated about many things that I know some, more or less about.
Eizen Kimura @kandalva
347 Followers 349 Following Professor at Dept. Medical Informatics Medical School of Ehime University. Working on EHR,Medical Information System.
Ouboku @Ouboku336
25 Followers 1K Following
Ersalrau @Ersalrau1107
5 Followers 185 Following
jackrze @jackrze142737
0 Followers 9 Following
Marcus @t1tus_aurelius
8 Followers 415 Following
Daniel Lewandowski @DanielLewa15263
3 Followers 209 Following
Jannik @JannikHWX
22 Followers 1K Following
Jonathon Dilworth @JonathonDil
77 Followers 376 Following Generalist. Full Stack Web Developer. Studying MSc Adv. CompSci.
Blisi @BlisiddzLVHP
44 Followers 4K Following
Shirley @KarlursmkZjOb
26 Followers 3K Following
Ramneet Singh @Ramneet_Singhh
1K Followers 6K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Oliver Epper ☠️ @OliverEpper
160 Followers 572 Following Programmer. C, C++, ObjC & Swift for iOS, macOS and Linux. Starface GmbH. https://t.co/onqaXywHNP
Deepak Jha @deepakj52750083
5 Followers 267 Following Functional programmer| Haskeller| Philomath| Software engineer| Msc computer science @PUCSD| #haskell
Drew Whitehouse @DrewWhitehouse
280 Followers 2K Following SciViz / HPC / CG / programmer. Opinions are entirely my own. National Computational Infrastructure VizLab.
damianOo @damian0o
55 Followers 606 Following
CarolCarroll @zQ3Thfy8uiv6A
86 Followers 7K Following
Emilie Dufour, (ælle... @_emiliedufour
1K Followers 8K Following Psychiatrist, trans woman. Researcher epigenetics, neuroendocrinology, cognitive psychiatry. Co CUMP Paris. Cyclist & keen sportswoman 🚴 🩷 🏳️🌈 🇫🇷 🇪🇺 🌹
Mark Price @Socaldog74
6 Followers 104 Following
ordinary_ @ordinary2848
0 Followers 25 Following
suraj kumar @kumarsuraj512
4 Followers 188 Following
Gabriel Bernal @gabpmcp7
22 Followers 321 Following
pohangtomars @pohangtomars
27 Followers 212 Following thanks 240831 distance density cuachy sequence 241023 representation problem in comm. 마음속심상, word format? standard by wrong false propsition with clarity?
마라마라탕 @stststt52
8 Followers 134 Following
Gabriel Jacoby-Cooper @GerzerSoftware
243 Followers 1K Following Software engineer; App Store Frameworks @Apple; Computer Science + Philosophy @rpi; built iVerify (@IsMyPhoneHacked) @trailofbits; hot takes are my own 🇮🇱🇺🇦
亢亢 @kangyu_leo
7 Followers 8 Following 前端搬砖使，react技术员，兼习haskell,python,ruby以及c，函数式编程爱好者，轻度代码强迫症，vim党
M07H3RFVCK3R @M07H3RFVCK3R
10 Followers 49 Following
Shough @Shough419621
41 Followers 3K Following
FELIPE CARPINTERO @fecarma77
0 Followers 4 Following
Nicholas Groesch @profTweedles
0 Followers 7 Following
James Noble @jameskjx
1K Followers 567 Following
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
Tweag by Modus Create @tweagio
7K Followers 311 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 🏳️⚧️
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Gabriel Lebec - glebe... @g_lebec
941 Followers 289 Following Developer, instructor, artist, student. #JavaScript, #Haskell, #LambdaCalculus, & #nihonto. The opinions stated here are my own, not those of my company.
Xeon @ymirlove
9 Followers 16 Following
Mark Mann @summitmann
244 Followers 843 Following Family Mann: Wife: Kendal. Kids: Irene, Bijou, and Ty. Teach at Texas Woman's U. in Kinesiology. Pastor @ Leonard GMC & Nueva Esp. work w/ ORU Volleyball.
Nacho @0800nacho
19K Followers 621 Following Ask not "Is it so?" but rather "What is the probability that it is so?" ✝️ Deus semper maior
Prez Cannady @prezcannady
1K Followers 825 Following f = round . exp . lnGamma . fromIntegral . (+1)
Clinton Mead @clintonmead
694 Followers 1K Following Haskell programmer & libertarian. I like my code and politics the same - stateless.
Scott Leonard @scottwleonard77
452 Followers 1K Following TaxBit OG, startup nerd. Computer science, product engineering, solving hard problems.
Jose Aquino @joseaquino96
48 Followers 532 Following I'm a Designer who can't stand misalignment, I focus my days in developing web apps.
Jean Moggee @jmoggee
57 Followers 593 Following
Tim Hu @TimHu166
4 Followers 94 Following
chauvetxiao @ruiyingabc
8 Followers 198 Following
Tim Medina @iamteem
297 Followers 766 Following Developer with lots of basic experience. Let's code! https://t.co/8DzmWdUUuB #ruby #doomemacs #iusearchbtw
Andrea Zoppello @azoppello
222 Followers 1K Following
may the farce be with... @crcdng
2K Followers 4K Following systems theory, play, games, art, cybernetics. artistic ai, #imperfectvr. PhD in playful systems. ex lecturer Uni Plymouth, FHEA, AISB, Teia / HEN
Jaxon Stevens | Wande... @WanderlostFilms
1K Followers 4K Following #Storytellers from #Bali 💁♂️ We can help you work and live anywhere 💬 DM us to work together 👩💻 ⬇️ FREE E-Book To Live Anywhere
Shiva Agrahari @ShivaAgrahari9
12 Followers 63 Following
KirinDave has left fo... @KirinDave
4K Followers 2K Following + https://t.co/EtjGj9zcht + Software Eng&Management + Making & Art + Google SRE + Not a fan of this Capitalism + they/them Solidarity w/ Ukranians
James Bowen @james_OWA
179 Followers 93 Following Software Engineer, Haskell Enthusiast (https://t.co/U8UDg5poTe)
Francisco Gutierrez @freefrancisco
839 Followers 3K Following Trigger warning, my content is not safe for anybody!
Paul R. Delhanty @delhanty
109 Followers 525 Following Moderate countabilist Making 🐶 DOG’s ModeLer (#DOGML) dogml.eth - expiration date: 2072.09.14 at 17:07 (UTC+09:00)
бутират каб... @shneydave
167 Followers 2K Following
Aleksandar Topuzović @atopuzov
243 Followers 1K Following https://t.co/ZVqjxAVFIO Swimming expert. Interested in Functional Programming, Haskell, Nix, Linux, Distributed systems, Correctness 🇭🇷🇪🇺🌍
Luis Verenzuela @moebius6357
78 Followers 2K Following
wangzengdi @HellowAdi
3 Followers 233 Following
rpf @artigiano_rpf
98 Followers 358 Following
Per Lundberg 🇮🇱... @perlundberg
585 Followers 1K Following Follower of Jesus. Husband. Father. Hacker. Tweeting as myself. See my blog for more in-depth writing.
Oleg @kotekoone
18 Followers 136 Following
hd @ddhuan88
71 Followers 2K Following
Kristaps Cinis @kristaps_cinis
14 Followers 57 Following
SystemError @SyS73m3rr0r
879 Followers 5K Following Computer Technician with CompTIA A+, Server+, and PDI+. Enjoy learning and spending time figuring out the Complicated problems.
Brian Jeong @MathPhysicom
27 Followers 945 Following
Abraham Alcaina @AbrahamAlcaina
93 Followers 421 Following
Niku @haknick
125 Followers 187 Following In a quest to improve how we build complex systems. VP Tech, FP, Erlang, Haskell, Functional JS, systems architecture. #ArsenalFC, swimming, cryptography
Serge Stinckwich @SergeStinckwich
3K Followers 5K Following Complex Systems Modelling and AI to Leave No One Behind | Responsible Computer Scientist
Me 👋🏽 @NOLAnuffsaid
223 Followers 814 Following Coffee fueled ☕ Elixir Engineer 💻 Not-that-good OTC & Options Trader 💸💸💸 Saints fan ⚜️ Pelicans fan Backyard Golfer 🏌🏽♂️ Husband and new Dad 👶🏾Trends for United States
You might like
