Haskell for Mac @HaskellForMac
Functional programming without the hassle. Live programming for Haskell. haskellformac.com Utrecht, The Netherlands Joined April 2015-
Tweets1K
-
Followers3K
-
Following2K
-
Likes294
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! x.com/bind_the_gap/s…
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 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/…
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/…
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
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Tweag @tweagio
5K Followers 260 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
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Acadia Amano @aca_acadia
67 Followers 5K FollowingHemanta Sapkota @xsapkota
529 Followers 592 Following Creator of Yolmo: Learn to Code app @yolmolabs Blogging about react native at https://t.co/yogOCiST6NStorm Rappaport @StoRappap
45 Followers 5K FollowingMarine @spfedd22
3 Followers 99 FollowingUna Debaecke @DebaeckU
28 Followers 5K FollowingWillow Benford @benfo_willo
81 Followers 5K FollowingMagnolia Groody @groody_gro
98 Followers 5K FollowingLazar Jovanovic @lazarjov
328 Followers 998 Following Postdoc @SFU | Cofounder @SummationsHQ | PhD @bme_uoft | Alum @join_ef마라마라탕 @stststt52
11 Followers 80 FollowingLayteyshay @layteyshay53494
145 Followers 2K FollowingGabriel Jacoby-Cooper @GerzerSoftware
233 Followers 838 Following Software engineer; App Store Frameworks @Apple; Computer Science + Philosophy @rpi; built iVerify (@IsMyPhoneHacked) @trailofbits; hot-takes are my own 🇮🇱🇺🇦亢亢 @kangyu_leo
9 Followers 8 Following 前端搬砖使,react技术员,兼习haskell,python,ruby以及c,函数式编程爱好者,轻度代码强迫症,vim党M07H3RFVCK3R @M07H3RFVCK3R
8 Followers 47 FollowingShough @Shough419621
161 Followers 3K FollowingFELIPE CARPINTERO @fecarma77
1 Followers 4 FollowingNicholas Groesch @profTweedles
1 Followers 7 FollowingJames Noble @jameskjx
1K Followers 572 FollowingBukenya Lukman @UgandanDev
849 Followers 4K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , Computer Vision and Compiler Design. PostGrad Student.David Piper @HeyDaveTheDev
584 Followers 574 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
305 Followers 899 Following Founder of @mingfudesign, Chinese, Software Engineering. Not necessarily in that order.AI @AI1158235131121
22 Followers 364 Following 副業がうまくいきすぎちゃって脱サラw副業で100万円ゲット👌FX投資で成功して自由気ままに生きてまーす✨こんな世の中だから困っている人を助けたい...社会貢献のためにフォローしたひとのみ余った現金をすぐ分配します。詳しくはDM送ります😘kokeshiM0chi @m0chi_kokeshi
542 Followers 2K Following female engineer 東工大廣田薫研出身。表現論。暗号ポスト多め。☆Haskell/Rust/ Notes on papers of interest #kokeshimemo #kokeshitodo 数学系アカは原則フォロバ English→https://t.co/Ww2q909qNUmurthy nukala @mnukala
537 Followers 608 Following Startup hacker, astrophysics enthusiast, dad to 3 amazing kidsVirgiawan Huda @sapi_mabur
0 Followers 114 Following Just software engineer that spend his time on Javascript, Clojure, and Elixir. Don’t follow me! Please follow Prophet Muhammad pbuh instead.Roman Wallner- S. @romanWallnerS
114 Followers 806 Following. @Genius__pg
188 Followers 3K FollowingSamuel BOURGEAT @samuel_bourgeat
172 Followers 1K Following Evolutionary Neurobiologist in progress 🧠👨🏽🔬🔬🧬 PhD student @JaksicLab @Brainmind_EPFL working on making flies smarter. he/himepstabler @epstabler
51 Followers 233 FollowingKEISUKE MATSUI @Hnnteshef8228
9 Followers 96 FollowingVenche @KelDaVinci_
3K Followers 3K Following YouTube: VencheTV | Musician: KelDaVinci on all platforms.AceAttAckK @AceAttAckK
6 Followers 2K FollowingSantosh Philip @santoshphilip
17 Followers 193 FollowingAlastair Leith @AlastairClimate
251 Followers 359 Following self-funded independent climate camapginer and researcher. RE/methane/MMT/dhamma. learn MMT for a greater good, will help you unlearn that neoliberal faith.$palma @PalmaDeCardano
68 Followers 229 Following Your 0% fee Cardano Staking Pool - earn max rewards in the shade of lovely Palms.̶m̶a̶k̶s̶a̶ @LomaXoma
508 Followers 906 FollowingSulofs 🇲🇦 @LahrsNoah
37 Followers 402 Following Web dev. Learning to make music, Game sometimes. Interested in everything computer relatedFTS @fishtreesugar
14 Followers 463 FollowingАлександр Н.. @maptupyc
19 Followers 1K FollowingYouchen Lee (isacl) @youchen
87 Followers 710 Following Participant of g0v.tw / debian-tw / ubuntu-tw / vTaiwan.tw / wiselike.tw / pcmanx, Co-founder & software architect at UniSharp$Air _ ADAbreathes @ADAbreathes
5K Followers 4K Following Cardano and World Mobile SPO - AIR @adabreathes_air Do you people even read this?Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Edward 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/oP135HK8LMTweag @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) 🏳️⚧️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 @g_lebec
988 Followers 312 Following Developer, instructor, artist, student. #JavaScript, #Haskell, #LambdaCalculus, & #nihonto. The opinions stated here are my own, not those of my company.Xeon @ymirlove
8 Followers 13 FollowingMark Mann @summitmann
263 Followers 804 Following Associate Prof. Texas Woman's University.- Dir. of M.S. Kinesiology-Coaching, & Informatics. Pastor @ Grace UCC. Programmer. VBCoach. Author. Family Mann.asdfg @rpqp0C79d98lh
50 Followers 27 FollowingPrez Cannady @prezcannady
1K Followers 858 Following f = round . exp . lnGamma . fromIntegral . (+1)Clinton Mead @clintonmead
612 Followers 849 Following Haskell programmer & libertarian. I like my code and politics the same - stateless.Scott Leonard @scottwleonard77
470 Followers 1K Following TaxBit OG, startup nerd. Computer science, product engineering, solving hard problems.Relja Ljubobratovic @RLjubobratovic
24 Followers 322 FollowingThomas Murphy @thomasmurphy__
8K Followers 2K FollowingJose Aquino @joseaquino96
47 Followers 533 Following I'm a Designer who can't stand misalignment, I focus my days in developing web apps.Jean Moggee @jmoggee
64 Followers 596 FollowingTim Hu @TimHu166
4 Followers 93 FollowingMurtuz @Chalabov
100 Followers 103 Following. @crsnq
178 Followers 4K Following . zeros and ones math, music, architecture guitarist learning the pianochauvetxiao @chauvetxiao1
11 Followers 195 FollowingTim Medina @iamteem
303 Followers 790 Following Developer with lots of basic experience. Let's code! https://t.co/8DzmWdUUuB #ruby #doomemacs #iusearchbtw0xValidator @0xValidator
502 Followers 5K Following Socialize the Need - Capitalize the Want , Value = Immutability + IrreversibilityAndrea Zoppello @azoppello
212 Followers 1K Followingchurch of scarcity, c.. @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 / HENJaxon 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 AnywhereShiva Agrahari @ShivaAgrahari9
12 Followers 66 FollowingKirinDave 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/ UkraniansJames Bowen @james_OWA
179 Followers 98 Following Software Engineer, Haskell Enthusiast (https://t.co/U8UDg5poTe)Francisco Gutierrez @freefrancisco
813 Followers 3K Following Trigger warning, my content is not safe for anybody!𝔻𝕆𝔾𝕞𝕝 .. @delhanty
90 Followers 317 Following Moderate countabilist Making 🐶 DOG’s ModeLer (#DOGML) #DOGMLbase - a structured knowledge base dogml.eth - expiration date: 2072.09.14 at 17:07 (UTC+09:00)Bill @Shneydave
240 Followers 2K FollowingAleksandar Topuzović @atopuzov
258 Followers 1K Following https://t.co/ZVqjxAVFIO Swimming expert. Interested in Functional Programming, Haskell, Nix, Linux, Distributed systems, Correctness 🇮🇪🇪🇺🇭🇷🌍Luis Verenzuela @moebius6357
81 Followers 2K Followingwangzengdi @HellowAdi
4 Followers 172 Followingrpf @artigiano_rpf
105 Followers 353 FollowingPer Lundberg 🇮🇱.. @perlundberg
589 Followers 1K Following Follower of Jesus. Husband. Father. Hacker. Tweeting as myself. See my blog for more in-depth writing.Oleg @kotekoone
18 Followers 148 FollowingHuan Dao @ddhuan88
69 Followers 1K FollowingKristaps Cinis @kristaps_cinis
15 Followers 57 FollowingSystemError @SyS73m3rr0r
953 Followers 5K Following Computer Technician with CompTIA A+, Server+, and PDI+. Enjoy learning and spending time figuring out the Complicated problems.Oscar Vargas Torres @oscarvarto
143 Followers 1K Following@kandelvijaya @HaskellForMac I love my and do not regret my purchase!
@HaskellForMac ohhh, thank you. very nice. 👍
I'm making my purchase of @HaskellForMac after a good trial period. Really useful tool. Analogous to #swift #playgrounds.
…and by "simple" I mean "thank goodness for @HaskellForMac otherwise it would have taken me 3 hours instead of 1 to figure out this single line of code".
language you are using for the better. This app @HaskellForMac(itunes.apple.com/fr/app/haskell…) it’s a playground for Haskell it’s great too. Have a great day. 2/2
The best thing that ever happened to #swift is the #playground Its the best way to learn, experiment and prototype small to big ideas. I wish all the new languages start looking into #playground (REPL isn't enough). A big thumbs up for #haskell playground via @HaskellForMac
@HaskellForMac @khstandrews Very similar approach to this x.com/leifbattermann…. Nice coincidence. :)
Blogged: Parsers in #Scala built upon existing abstractions blog.leifbattermann.de/2018/02/03/par…
RT @HaskellForMac Fantastic MSR podcast episode on functional #programming, Haskell, and the future of computing: “Functional Programm… t.co /xJzkMOId2j #functionalprogramming
Inspired by the recent post about space-filling curves, an implementation of the Gosper Curve in @HaskellForMac: github.com/andrewcb/Flows…
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath. #Haskell #fsharp #ocaml #Scala x.com/haskellformac/…
Fantastic MSR podcast episode on functional programming, Haskell, and the future of computing: “Functional Programming Languages and the Pursuit of Laziness” by @simonpj0 microsoft.com/en-us/research…
@PeterWestall How this man helped answer the question: “What might it mean to teach computer science as a subject discipline to school children? And to teach it at the same levels and for the same reasons that we teach natural science or mathematics.” x.com/haskellformac/…
Fantastic MSR podcast episode on functional programming, Haskell, and the future of computing: “Functional Programming Languages and the Pursuit of Laziness” by @simonpj0 microsoft.com/en-us/research…
"the wonderful thing about computer science is you can start almost anything, it’ll turn into something interesting." --@simonpj0 x.com/haskellformac/…
Fantastic MSR podcast episode on functional programming, Haskell, and the future of computing: “Functional Programming Languages and the Pursuit of Laziness” by @simonpj0 microsoft.com/en-us/research…
@gcsolaroli @HaskellForMac I can't make any promises, but we'll look into this. Thank you for the pointer! -Sam
Awesome IDE for #Haskell, every one must try @HaskellForMac
@beala @pigworker So so much this - but the IDE needs to be forward-looking like @HaskellForMac rather than based on IDEs for C / Java etc
@GabrielG439 @queertypes It would be interesting to add @HaskellForMac. It looks like it has pretty good coverage across those features. The playgrounds feature is like REPL on steroids.
@HaskellForMac Great. Really loving HFM so far!