Haskell Weekly @HaskellDiscu
Articles, projects and tutorials about #Haskell. Weekly newsletter: https://t.co/wHDxdrfj8s discu.eu/weekly/haskell Joined December 2021-
Tweets1K
-
Followers205
-
Following41
-
Likes38
Haskell Weekly - Issue 417 haskellweekly.news/issue/417.html Discussions: discu.eu/q/https://hask… #haskell #programming by @haskellweekly
Oleg's gists - A note about coercions oleg.fi/gists/posts/20… Discussions: discu.eu/q/https://oleg… #haskell #programming
Bluefin hackage.haskell.org/package/bluefi… Discussions: discu.eu/q/https://hack… #haskell #programming
[Serokell Blog] Work on GHC: Dependent Types, part 3 serokell.io/blog/ghc-depen… Discussions: discu.eu/q/https://sero… #haskell #programming
[Well-Typed] Improvements to the ghc-debug terminal interface well-typed.com/blog/2024/04/g… Discussions: discu.eu/q/https://www.… #haskell #programming
Haskell recap for week 16/2024 discu.eu/weekly/haskell… #haskell #programming Get RSS feeds and support this bot with the premium plan: discu.eu/premium
CS SYD - Getting your Haskell executable statically linked with Nix cs-syd.eu/posts/2024-04-… Discussions: discu.eu/q/https://cs-s… #haskell #programming
What makes a good compiler warning? oleg.fi/gists/posts/20… Discussions: discu.eu/q/https://oleg… #haskell #programming
Call for Participation: Haskell Ecosystem Workshop @ Zurihac haskell.foundation/events/2024-ha… Discussions: discu.eu/q/https://hask… #haskell #programming
Markdown To HTML Compiler⚙️ github.com/adam-mcdaniel/… Discussions: discu.eu/q/https://gith… #haskell #programming
Haskell Interlude 47: Avi Press haskell.foundation/podcast/47 Discussions: discu.eu/q/https://hask… #haskell #programming
symbol-parser: Type level string parser combinators hackage.haskell.org/package/symbol… Discussions: discu.eu/q/https://hack… #haskell #programming
IOG GHC Update #27 | IOG Engineering engineering.iog.io/2024-04-11-ghc… Discussions: discu.eu/q/https://engi… #haskell #programming
[Well-Typed] Choreographing a dance with the GHC specializer (Part 1) and Haskell Unfolder Ep 23 well-typed.com/blog/2024/04/c… Discussions: discu.eu/q/https://well… #haskell #programming
Haskell recap for week 15/2024 discu.eu/weekly/haskell… #haskell #programming Get RSS feeds and support this bot with the premium plan: discu.eu/premium
Call for early adopters of Sel, Botan and one-time-password discourse.haskell.org/t/call-for-ear… Discussions: discu.eu/q/https://disc… #compsci #cryptography #haskell #programming
Call for early adopters of Sel, Botan and one-time-password haskell-cryptography.org/blog/early-ado… Discussions: discu.eu/q/https://hask… #haskell #programming
Why `streaming` Is My Favourite Haskell Streaming Library | Blog jackkelly.name/blog/archives/… Discussions: discu.eu/q/http://jackk… #haskell #programming
How to Send an SMS in Haskell (2017) twilio.com/en-us/blog/set… Discussions: discu.eu/q/https://www.… #haskell #programming
Core Inspection oleg.fi/gists/posts/20… Discussions: discu.eu/q/https://oleg… #haskell #programming
陈谷歌 @chen_gu74791
4 Followers 76 FollowingAlo @Hal90910
0 Followers 2K FollowingSoso Ibn Ben Bakr Rus.. @PradoeSousa
342 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!serenidad_monotropica @Fernand06180883
9 Followers 271 Following Cryptid 🌈 he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös AnarchyMasda // Programmer @masda_X
362 Followers 2K Following Software engineer (coding mostly in JS 💛& TS 💙). Crafting software since 2004. For code, metal and fitness ⚡️🤘💪. Believer of the greater Creator, dad of 3.M. T. @mthobaitii
0 Followers 19 FollowingD @yoshi04cgn04
207 Followers 590 Following Passionate about #Technology #Consulting #Entrepreneurship #Business #Trading #Technews #Science #Engineering #Future #Linux #Crypto #Coaching #Activist #Gaming마라마라탕 @stststt52
11 Followers 80 FollowingZip.zip.zip @zip_zip_zip123
30 Followers 1K Followingフラワー @luckyowlman
332 Followers 798 Following Rust大好きでよく触ってますが、正直ちゃんとわかってないです。強いエンジニアになりたい。Haskellがんばり中l_t @lisp_time
0 Followers 73 FollowingPiyush Prem @PiyushPrem14
11 Followers 358 Following None of the views are own,all generated by bot mimicking human😗Emmanuel Rialland - @.. @Manny_HK
31 Followers 733 Followingchaorendmw @chaorendmw
33 Followers 430 Following Infra engineer (database,cloud platform,bigdata) golang/rust/JavaKhanyi Mfundo Dube�.. @KhanyiDube4
257 Followers 6K Following If it is not for the money, do it for the lolz.funcrypto ₿ 🦀 �.. @funcrypto1123
19 Followers 211 Following I still prefer #mastodon. Only here for the spamyagkasha @yagkasha
45 Followers 152 Following李加廷 @ljitng
3 Followers 208 Followingslow_dev @slow_dev
69 Followers 1K FollowingDavid Harmon @RealNidStyles
301 Followers 549 Following Former U.S. Army Infantryman. Opinions are my own. Abstinence means no. ✝️ I am not a public servant. I’m Dutch 0x4ffd05155f4ad98d9f300b4b9476bfa259ec498ajailop @itisjailop
4 Followers 47 FollowingZoll @Zoll_7011
18 Followers 4K FollowingMariano Bertoni @mariano_bertoni
181 Followers 4K FollowingRick VanWell @rickvanwell
27 Followers 67 FollowingjaUyoma @Than0sVoldigoad
24 Followers 1K Following Kenyan 🇰🇪 Weeb. Lover of Mathematics and Computer Science C++ EnthusiastZaheer Raihan 🇪�.. @zaaheerraihan
144 Followers 1K Following 𝐂𝐲𝐛𝐞𝐫 𝐒𝐞𝐜𝐮𝐫𝐢𝐭𝐲 || 𝐏𝐞𝐧𝐞𝐭𝐫𝐚𝐭𝐢𝐨𝐧 𝐭𝐞𝐬𝐭𝐞𝐫 || 𝐁𝐮𝐠 𝐇𝐮𝐧𝐭𝐞𝐫 || 𝐕𝐮𝐥𝐧𝐞𝐫𝐚𝐛𝐢𝐥𝐢𝐭𝐲 𝐀𝐬𝐬𝐞𝐬𝐬𝐦𝐞𝐧𝐭PatrickWales @patpaterish
12 Followers 137 Following Open source • Haskell • Editor Structural equation🐣🐣🐣Kamilus Tecna. @Tecna2015
255 Followers 2K FollowingJulia Turner @Tjulia3211
28 Followers 172 FollowingAndrii Demydenko @worm2fed
29 Followers 84 Following 🚀 Passionate Tech Enthusiast and Innovative Problem Solverjim li @tikbyio
51 Followers 445 Following Disabled people have a more difficult life. If the information posted on Twitter has inspired you, I hope to get a little donation from you in exchange for food남주현 @juhyun_nam_
4 Followers 61 FollowingLewis Brown @lewiswbrown
339 Followers 2K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍Lionhairdino L. @lionhairdino
5 Followers 7 Followingbrewingelixir @brewingelixir
144 Followers 300 FollowingNaveen Kumar Konam @KonamNaveen
20 Followers 266 Following Data Enthusiast | Python Developer | Learning RustDavid Fox @SeeReason
220 Followers 644 Following Haskell, automated reasoning, computational semantics, meta programming, fan of ImplicitParams. also @ddssff.beike @beikejun07
31 Followers 2K FollowingMcGyver @McGyver65024459
5 Followers 43 FollowingDevOps Weekly @DevopsDiscu
3K Followers 87 Following Articles, projects and tutorials about #DevOps, #Docker and #Kubernetes. Weekly newsletter: https://t.co/HtmUEO3FqjC & C++ Weekly @CPPDiscussions
1K Followers 47 Following Articles, tutorials and projects about #Cprogramming and #CPP. Weekly newsletter: https://t.co/6nv3pHeJ3tPHP Weekly @PHPDiscussions
454 Followers 32 Following Articles, projects and tutorials about #PHP. Weekly newsletter: https://t.co/4OBJNyAi2lZig Weekly @ZigDiscussions
2K Followers 25 Following Articles, projects and tutorials about #ZigLang. Weekly newsletter: https://t.co/M6j0dApeziErlang & Elixir Weekl.. @ErlangDiscu
375 Followers 37 Following Articles, projects and tutorials about #Erlang & #Elixir. Weekly newsletter: https://t.co/Ao8D5SU41DRuby Weekly @RubyDiscussions
164 Followers 29 Following Articles, projects and tutorials about #Ruby. Weekly newsletter: https://t.co/BmfqlMW0A4Webdev Weekly @WebdevDiscu
201 Followers 59 Following Articles, projects and tutorials about #JavaScript, #CSS, #Wasm, etc. Weekly newsletter: https://t.co/wzDd4lBEKCHacker News Discussio.. @HNDiscussions
225 Followers 127 Following Interesting and thought-provoking articles from Hacker News. Weekly newsletter: https://t.co/4lBzQrX1q0Alexandru Cojocaru @XojocXojoc
172 Followers 92 Following I'm a programmer and problem solver. Currently working on https://t.co/8xhD7nWCGjUnix Weekly @UnixDiscussions
353 Followers 80 Following Articles, projects and tutorials about #UNIX, #GNU/#Linux and the BSD family. Weekly newsletter: https://t.co/jgJqqXH6pJComputer Science Week.. @CompsciDiscu
261 Followers 57 Following Articles, projects and tutorials about #CompSci. Weekly newsletter: https://t.co/JOiEArf7fHRust Weekly 🦀 @RustDiscussions
3K Followers 85 Following Articles, projects and tutorials about #RustLang. Weekly newsletter: https://t.co/3SiDSYy6wcJava Weekly @JavaDiscussions
539 Followers 37 Following Articles, projects and tutorials about #Java and #Kotlin. Weekly newsletter: https://t.co/0hQnlWEMWuGraham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Kowainik @kowainik
2K Followers 2 Following Anyone can change the world. We do. 🌌 OSS organization. #fp #haskell #Learn4Haskell Driven by @vrom911 Buy us a coffee ☕️ https://t.co/5Gs8Sz8s6FTikhon Jelvis @tikhonjelvis
3K Followers 256 Following I like programming languages. A lot. Tools, types and functions.Taylor Fausak @taylorfausak
2K Followers 103 FollowingAndres Löh @kosmikus
3K Followers 501 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5Alexis 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, ⚢jaspervdj (@functiona.. @jaspervdj
3K Followers 403 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.Niki Vazou @nikivazou
3K Followers 477 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.Ida Bzo @beatleida
341 Followers 39 FollowingHaskell @HaskellOrg
13K Followers 61 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida, @nikivazou & @jaspervdj on behalf of the https://t.co/1sy8nTHi9G CommitteeJohn A De Goes @jdegoes
16K Followers 976 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.Production Haskell @prodhaskell
2K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.Matt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.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.Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AIJeremy Gibbons @jer_gib
2K Followers 276 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Richard Eisenberg @RaeHaskell
3K Followers 161 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/himDenise Beale @DeniseBeale
817 Followers 3K Following PhD, author of 'How the computer went to school', retired educator. Growing older but not necessarily wiser. Still fascinated by the world.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) 🏳️⚧️julesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of HaskellEdward 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.Andrew Boardman @myShoggoth
628 Followers 514 Following Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.Fedez @Fedez
3.0M Followers 815 Following@TravisMWhitaker Super cool! And super depressing response from the Haskell community as usual.
It's true. Please drop me a line at [email protected]
Anduril Industries is hiring Haskell Engineers jobs.lever.co/anduril/80c23e… Discussions: discu.eu/q/https://jobs… #haskell #programming
No code is faster than no code. — merb motto #complexity
The #Haskell Unfolder is starting in about 20 minutes.
The next #Haskell Unfolder episode is happening tomorrow, Wednesday, 2023-10-25, at 1830 UTC. @EdskoDeVries and @kosmikus will talk about "open recursion". Live on YouTube: youtube.com/watch?v=pfwP4h…
The next #Haskell Unfolder episode is happening tomorrow, Wednesday, 2023-10-25, at 1830 UTC. @EdskoDeVries and @kosmikus will talk about "open recursion". Live on YouTube: youtube.com/watch?v=pfwP4h…
We are delighted to announce that Well-Typed is receiving funding to work on Cabal as part of the #ContributeBackChallenges by @sovtechfund! For more details on how we plan to improve Haskell tooling please read our blog: well-typed.com/blog/2023/10/s…
Rust Compile Times and Code Graphs blog.danhhz.com/compile-times-… Discussions: discu.eu/q/https://blog… #programming #rustlang
RT @HaskellDiscu Binary packet parsing mmhaskell.com/blog/2022/10/3… Discussions: discu.eu/q/https://mmha… #haskell #programming #fp
Easy incremental Haskell CI builds with GHC 9.4 harry.garrood.me/blog/easy-incr… Discussions: discu.eu/q/https://harr… #haskell #programming
@HaskellDiscu I built it for @fedorahaskell x.com/fedorahaskell/…
Haskell Language Server 1.8 is built for Fedora ghc, ghc9.0 and now also ghc9.2 See copr.fedorainfracloud.org/coprs/petersen…
閱讀障礙製造
Who's That Monoid? doscienceto.it/whos-that-mono… Discussions: discu.eu/q/http://www.d… #haskell #programming
4 Errors I Made When Building A Financial Application sjorsvdongen.gumroad.com Discussions: discu.eu/q/https://sjor… #webdev
Issue for week 24/2022 is out 🎉 discu.eu/weekly/compsci… Subscribe by going to discu.eu/weekly/compsci/ #compsci
@_julesh_ That's called the God-el incompletness theorem.
Bumped llvm-codegen to LLVM14. This tiny diff is all it took: github.com/luc-tielen/llv… #haskell
I think I’m sitting on no less than incremental computation for Nash equilibria. This is one where I’m not going to reveal how the trick works, for now.
@bitdizzy_ So, this is set up exactly so it doesn't imply P=NP because I'm using some assumptions about what a "typical case" looks like Also my proof of concept is just for pure equilibria, I have some vague ideas about Brouwer fixpoints but really no idea how that will go