Haskell for Mac @HaskellForMac
Functional programming without the hassle. Live programming for Haskell. haskellformac.com Utrecht, The Netherlands Joined April 2015-
Tweets1K
-
Followers3K
-
Following2K
-
Likes281
Haskell-inspired art (by Arvid)
Download four different light and dark Haskell for Mac wallpapers from haskellformac.com/wallpaper.html
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
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!
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!
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…
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…
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!
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!
Haskell folks won’t want to miss today at 16.00 (UK time) “Haskell, then and now: What is the future for functional programming languages?” Prof Simon Peyton-Jones, Prof John Hughes, Prof Philip Wadler, Dr Kevin Hammond, Dr Duncan Coutts @ Cardano Summit cardanosummit.iohk.io
Six of these arrived today! Just in time for my chalmersfp.org seminar on Monday.
The latest @InputOutputHK blog post provides a nice overview of the recent work on improving the usability of the Haskell to JavaScript compiler GHCJS iohk.io/en/blog/posts/… (this is btw a nice example of how IOHK is helping improve Haskell tooling)
Fantastic, new functional programming resource: the new “Chalmers Online Functional Programming Seminar Series” features some of the stars of the FP world, starting with Simon Peyton Jones, this coming Monday chalmersfp.org
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
joseluis @joseluis_f_m
14 Followers 229 Following
JL OP @jlortsp
0 Followers 34 Following
Fix JuanPabloF -- �... @lambdase
339 Followers 703 Following Tweets about functions and types. Likes programming languages and abstract algebra. Likes aren’t endorsements. He/him
Londo Spark @LondoSpark
467 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
352 Followers 348 Following Professor at Dept. Medical Informatics Medical School of Ehime University. Working on EHR,Medical Information System.
Ouboku @Ouboku336
38 Followers 1K Following
Ersalrau @Ersalrau1107
5 Followers 201 Following
jackrze @jackrze142737
0 Followers 9 Following
Marcus @t1tus_aurelius
18 Followers 419 Following
Daniel Lewandowski @DanielLewa15263
1 Followers 142 Following
Jannik @JannikHWX
19 Followers 1K Following
Jonathon Dilworth @JonathonDil
83 Followers 381 Following Generalist. Full Stack Web Developer. Studying MSc Adv. CompSci.
Blisi @BlisiddzLVHP
41 Followers 5K Following
Shirley @KarlursmkZjOb
33 Followers 3K Following
Ramneet Singh @Ramneet_Singhh
856 Followers 5K 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
167 Followers 581 Following Programmer. C, C++, ObjC & Swift for iOS, macOS and Linux. Starface GmbH. https://t.co/onqaXywHNP
Edward Chan @Edc_xy
1 Followers 387 Following
直毛/ジサツP/か... @Straaaaaaaaight
2K Followers 6K Following ちょくげ。mi'e .sirkerf. 数学基礎論/言語学/美国織莉子/lojban SCPサイトメンバー むぐ勉メンバー Haskeller ◆t6XRmXGL7/QMでSS書いてます アイコン作:@ametoro_zura
Deepak Jha @deepakj52750083
5 Followers 273 Following Functional programmer| Haskeller| Philomath| Software engineer| Msc computer science @PUCSD| #haskell
Drew Whitehouse @DrewWhitehouse
309 Followers 2K Following SciViz / HPC / CG / programmer. Opinions are entirely my own. National Computational Infrastructure VizLab.
damianOo @damian0o
57 Followers 596 Following
CarolCarroll @zQ3Thfy8uiv6A
77 Followers 7K Following
Emilie Dufour, (ælle... @_emiliedufour
1K Followers 8K Following Psychiatrist, trans woman. Researcher in epigenetics, neuroendocrinology, cognitive psychiatry. Co CUMP Paris. Cyclist & keen sportswoman 🚴 🩷 🏳️🌈 🇪🇺 🇨🇵
Mark Price @Socaldog74
1 Followers 95 Following
ordinary_ @ordinary2848
1 Followers 22 Following
suraj kumar @kumarsuraj512
5 Followers 167 Following
Gabriel Bernal @gabpmcp7
41 Followers 326 Following
pohangtomars @pohangtomars
34 Followers 213 Following thanks 240831 distance density cuachy sequence 241023 representation problem in comm. 마음속심상, word format? standard by wrong false propsition with clarity?
마라마라탕 @stststt52
7 Followers 117 Following
Gabriel Jacoby-Cooper @GerzerSoftware
255 Followers 972 Following Software engineer; App Store Frameworks @Apple; Computer Science + Philosophy @rpi; built iVerify (@IsMyPhoneHacked) @trailofbits; hot takes are my own 🇮🇱🇺🇦
亢亢 @kangyu_leo
8 Followers 8 Following 前端搬砖使，react技术员，兼习haskell,python,ruby以及c，函数式编程爱好者，轻度代码强迫症，vim党
M07H3RFVCK3R @M07H3RFVCK3R
9 Followers 50 Following
Shough @Shough419621
70 Followers 3K Following
FELIPE CARPINTERO @fecarma77
1 Followers 4 Following
Nicholas Groesch @profTweedles
1 Followers 7 Following
James Noble @jameskjx
1K Followers 564 Following
Bukenya Lukman @lukman_bukenya
1K Followers 5K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , CB, CC, CV and Compiler Design. Co-host at https://t.co/wEHn6eMryg
David Piper @HeyDaveTheDev
575 Followers 548 Following Working as an iOS dev. Writing articles about Swift and iOS at @kodecodev. Working on @SwiftAlyzer to visualize Swift projects.
Matthew Sinclair-Day @sinclairday
300 Followers 857 Following Founder of @mingfudesign, Chinese, Software Engineering. Not necessarily in that order.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
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
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
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 🏳️⚧️
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Gabriel Lebec - glebe... @g_lebec
968 Followers 294 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
254 Followers 810 Following Associate Prof. Texas Woman's Univ. Dir. of M.S. Kinesiology-Coaching, & Sport Data Science. Pastor @ Leonard GMC. Programmer. VBCoach. Author. Family Mann.
Prez Cannady @prezcannady
1K Followers 833 Following f = round . exp . lnGamma . fromIntegral . (+1)
Clinton Mead @clintonmead
658 Followers 1K Following Haskell programmer & libertarian. I like my code and politics the same - stateless.
Scott Leonard @scottwleonard77
469 Followers 1K Following TaxBit OG, startup nerd. Computer science, product engineering, solving hard problems.
Jose Aquino @joseaquino96
49 Followers 525 Following I'm a Designer who can't stand misalignment, I focus my days in developing web apps.
Jean Moggee @jmoggee
63 Followers 596 Following
Tim Hu @TimHu166
4 Followers 95 Following
chauvetxiao @ruiyingabc
8 Followers 195 Following
Tim Medina @iamteem
301 Followers 767 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
14 Followers 63 Following
KirinDave has left fo... @KirinDave
5K 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
875 Followers 3K Following Trigger warning, my content is not safe for anybody!
Paul R. Delhanty @delhanty
115 Followers 511 Following Moderate countabilist Making 🐶 DOG’s ModeLer (#DOGML) dogml.eth - expiration date: 2072.09.14 at 17:07 (UTC+09:00)
бутират каб... @shneydave
170 Followers 2K Following
Aleksandar Topuzović @atopuzov
245 Followers 1K Following https://t.co/ZVqjxAVFIO Swimming expert. Interested in Functional Programming, Haskell, Nix, Linux, Distributed systems, Correctness 🇮🇪🇪🇺🇭🇷🌍
Luis Verenzuela @moebius6357
79 Followers 2K Following
wangzengdi @HellowAdi
3 Followers 203 Following
rpf @artigiano_rpf
100 Followers 364 Following
Per Lundberg 🇮🇱... @perlundberg
601 Followers 1K Following Follower of Jesus. Husband. Father. Hacker. Tweeting as myself. See my blog for more in-depth writing.
Oleg @kotekoone
18 Followers 140 Following
hd @ddhuan88
95 Followers 2K Following
Kristaps Cinis @kristaps_cinis
15 Followers 56 Following
SystemError @SyS73m3rr0r
895 Followers 5K Following Computer Technician with CompTIA A+, Server+, and PDI+. Enjoy learning and spending time figuring out the Complicated problems.
Brian Jeong @MathPhysicom
28 Followers 949 Following
Abraham Alcaina @AbrahamAlcaina
93 Followers 425 Following
Niku @haknick
128 Followers 170 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 | Head Of Research at United Nations University Institute in Macau
Me 👋🏽 @NOLAnuffsaid
231 Followers 817 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
