FromJavaToHaskell @to_haskell
Software developer. I am learning Haskell programming language. Joined November 2018-
Tweets1K
-
Followers204
-
Following1K
-
Likes4K
deft x86 assembler in Haskell. Wow! gitlab.com/BlackCapCoder/…
Haskell'25 is calling for talks! Submission is simple -- you just need a talk title and an abstract of no more than 300 words. conf.researchr.org/home/icfp-spla… Deadline Sept 15th!
Woke up today to a guy at Oracle talking about deriving a witness to monoid of Box of T Java is the new Haskell Functional programmers, our victory is complete
A data structure is laid out in space (i.e. memory). The most general data structure is a graph. Nodes point to other nodes (i.e. to their address—their spatial coordinate). There can be cycles. A data structure can evolve over time (i.e. computation mutates it). New nodes can…
stupid haskell idea: OOP
🎉 Lean 4.22.0 is here! This marks the culmination of our Year 2 roadmap. Two major highlights: 🧠 grind tactic: New SMT-style automated reasoning with theory-specific solvers and Gröbner basis support 🏗️ New compiler: Closes long-standing issues and sets the foundation for…
This is madness. What are we doing!
code should be easily deleted and rewritten not my code, of course, but yours
Par, an expressive, concurrent, total* language with linear types and full duality. Based on Linear Logic and Session Types, Par has both functional and imperative features integrating seamlessly
My LambdaConf 2025 talk was posted. It's mostly showing tools that we have around visualizing programs and their behavior. youtube.com/watch?v=IdpD5Q…
Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…
Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps! Donate: donorbox.org/infrastructure… Read more: discourse.haskell.org/t/infrastructu…
Inspired by a recent post by @effectfully, here is a review of functional programming concepts and their usefulness in everyday enterprise software development:
I'm really impressed with the quality of the Haskell streams from @kosmikus and @welltyped. What a great resource. youtube.com/watch?v=9hrDm7…
Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.
The video for my talk "Anatomy of a Scala Game Server" at #LambdaDays 2025 is up! youtube.com/watch?v=2UPbFU…
Check out the latest #Haskell toolchain development report from Well-Typed: well-typed.com/blog/2025/06/g…
My #Clash talk from @LambdaDays 2025: A whirlwind tour of building a Flappy Bird game on an #FPGA using #Haskell. youtu.be/ZWjLC-iINaM
@mtrantalainen The protection is not compile time. It's all runtime. So, if you're running OpenSSL compiled with Fil-C and an attacker finds a way to get OpenSSL to use after free, go out of bounds, get type confused, or do any number of other Bad Things (TM), then you'll get a Fil-C panic…
The Grumpy SRE (rob) @grumpy_sre
32 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
mnemosyne @mnemosynemitch
0 Followers 69 Following
Peaorirv @Peaorirv394
20 Followers 1K Following
Maximilian Thomas Ham... @MaximilianHamm6
596 Followers 6K Following I love researching and creating (intangible) things, mostly in mathematical optimization, foundations of mathematics and computing, AI, physics, theoretical CS
Eric Fredine @fredine
1K Followers 3K Following Principal engineer writing code for fun and profit. Lapsed photographer. Husband. Father. Aspiring fly fisher.
Harold Wu @yfw3u
579 Followers 709 Following Radiologist / Functional Programming, R, Julia, Racket Fans of Sakura Taisen（サクラ大戦）
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Ekaeo @Ekaeoq
4K Followers 320 Following Watchmaker with a strong CS background All of my pictures are OC See my blog for projects: https://t.co/FtNPoC0oq2
Jan Decat @maskedattention
44 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
Tyson Emard @TysonEmard60980
41 Followers 1K Following
许仙为爱敢日蛇... @wuxian202020
192 Followers 72 Following
Queen Elizabeth @QueenEliza29698
111 Followers 7K Following 𝗚𝗢𝗗 𝗙𝗜𝗥𝗦𝗧 📝𝗕𝗘 𝗦𝗨𝗥𝗘 𝗧𝗢 𝗖𝗛𝗨𝗖𝗞𝗢𝗨𝗧 𝗠𝗬 𝗣𝗔𝗚𝗘 📊💯%𝗣𝗔𝗬𝗢𝗨𝗧 𝗚𝗨𝗥𝗔𝗡𝗧𝗘𝗘𝗗 📈𝗛𝗘𝗟𝗣𝗜𝗡𝗚 𝗣𝗘𝗢𝗣𝗟𝗘 𝗧𝗢 𝗘𝗔𝗥𝗡 𝗜𝗡 𝗙
Michał @burzomir
7 Followers 332 Following
Adam Hearn @adamhearn_
667 Followers 819 Following software engineer, functional programmer, husband, Christian. Making effect systems the default
Ted Feng @artisdom
92 Followers 2K Following
Jaarga @jaarga
172 Followers 1K Following Entrepreneur passionate about science - Author of https://t.co/CbGK830qiI
Mariano Bertoni @mariano_bertoni
190 Followers 4K Following
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Karthik Ravikanti @plumenator
401 Followers 5K Following Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected]
Terry Chen (陳泰瑞... @terrychen123
11 Followers 86 Following
Carolina Carreira @ccarolcarreira
183 Followers 233 Following PhD Student @CMU in Societal Computing advised by @nc2y, @jff and @asfmendes
Varmilo @Varmilo_Zhh
12K Followers 157 Following Varmilo Keyboard Artist! Official Website: https://t.co/9SCWfP6pJC Cooperation Email: [email protected] Support: [email protected]
Harendra Kumar @hk_hooda
270 Followers 209 Following Building high performance, modular and safe systems with Haskell
Deep Dave @D33pDave
134 Followers 683 Following Co-founder at https://t.co/DAnHdVPSAy | Engineer/Product Leader | Startup Advisor
Renzo @renzocarbonara
2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Filippo De Luca @FilippoDeLuca
714 Followers 2K Following Software Engineer, FP advocate, Scala enthusiast, Apache Kafka specialist, Rust learner
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Martin @martinwarden44
228 Followers 3K Following
sam pocino is online @sampocino
382 Followers 465 Following Weird math/CS person, any/all | private @spocino_clique
Milad @MiladBourhani
173 Followers 2K Following Software Craftsman, father, lazy guitarist, gamer. I like Haskell a lot. Opinions are my own.
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
李牧 @laihj
654 Followers 798 Following 失业程序员。与@tata507，#赖铁锅 和两只猫（路飞&艾斯）一起生活在广州。日常活动是陪坨坨，粘女儿，买菜做饭，看书跑步，喂猫写代码，睡觉 LF4TA979
Jesse Cai @jessecai33
2K Followers 4K Following So we beat on, boats against the current, borne back ceaselessly into the past.
Sagar Thakkar @thakkarsagar12
103 Followers 867 Following I am a solution architect who loves to learn new technologies and wanted to share the learning with different audiences free of cost.
Carlos Reyes @CarlosReyesAI
200 Followers 781 Following PhD Student, Artificial Intelligence and Engineering
Grace @grace23timchula
241 Followers 3K Following
🪬Miles🪬 @Mandaloe2
2K Followers 3K Following Full Stack Developer, MedTech, XR Engineer, Gamedev, SWE | 32 | BULL ERA | RENNAISSANCE MAN | e/acc | Autistic | 💗 @bashour_nazira | 🇱🇧
The Grumpy SRE (rob) @grumpy_sre
32 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
李老师不是你老... @whyyoutouzhele
2.1M Followers 986 Following 投稿私信 或：https://t.co/SwoJzv97eA 邮箱投稿： [email protected] 你看那通天的巨塔，每时每刻都有人往下跳。我小时候不懂，以为那是雪花。 加入我们的社区 https://t.co/OWEgUHVaqG
JJ Ying @JJYing
12K Followers 509 Following UI 设计师、半退役 @ https://t.co/qpgHw50Wma 播客制作人，没事儿的时候喜欢草率地码码 CSS，最近 vibe code 了 🐟 摸摸鱼计时器 https://t.co/NZ3sH4Igxy
大帅老猿 @ezshine
49K Followers 507 Following 不有趣毋宁死的退休程序员，边开房车边写代码走遍了中国 33 个省份，目前在清迈陪娃读书，日常分享编程，游戏，AI，SEO，营销和生活。 🔍全网同名，个人微信@itdashuai
DK @darknytPB
423 Followers 248 Following ΚC ΙC ΧC ΕΙC ΔΟξΑΝ ΘΥ ΠΡC. God in Christ is the foundation for truth, knowledge, and experience.
Shen Yun @ShenYun
28K Followers 1K Following The world’s premier classical Chinese dance company, Shen Yun brings to life a lost culture through profoundly beautiful art. This is our official account.
nk @subcountability
492 Followers 544 Following Physics PhD anno 2015. Computer Vision @ big evil company since. Sophie Ellis-Bextor was never my girlfriend. Kullback-Leibler does not equal Leibler-Kullback.
karminski-牙医 @karminski3
24K Followers 1K Following A coder, road bike rider, server fortune teller, electronic waste collector, co-founder of KCORES, ex-director at IllaSoft, KingsoftOffice, Juejin.
铁锤人 @lxfater
46K Followers 1K Following 独立创业者，帮助普通人更好地构建自己的产品，并且将其销售出去。 我的录屏软件 https://t.co/S9MMiRj5Xj
Manuel Chakravarty�... @TacticalGrace
6K Followers 764 Following Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Maximilian Thomas Ham... @MaximilianHamm6
596 Followers 6K Following I love researching and creating (intangible) things, mostly in mathematical optimization, foundations of mathematics and computing, AI, physics, theoretical CS
yexia553 @pzx553
245 Followers 188 Following 程序员，现在主要做 AI 相关的应用开发 https://t.co/WTpyL0Y2QI 适合程序员的英语学习工具，可以快速收藏单词/句子/段落，利用LLM生成翻译和音频，方便经常复习
拾一.ens18 @__oQuery
8K Followers 940 Following 码字码文，单身狗做一辈子 | AI Coder | INFP-T | Front-end | NestJS | React | NeoVim | NextJS | ex @xiaohongshu | All views are my own
花果山大圣 @shengxj1
54K Followers 1K Following 不爱上班的程序员, 靠谱的前端讲师， 卖课为生，前端 Web3 程序员英语 私教, 独立开发 努力做最好的程序员讲师 油管主页：https://t.co/kEcslLs1vs 加入电报群: https://t.co/fQEVZn8uNH 合作微信：itdasheng168
scr.c @silsrc
8K Followers 489 Following 开源爱好，万能工程师（存疑），现代魔法老中登，Linux Kernel Developer，假装是计算机科学家，黑深残。
Cat Chen, @catchen@ma... @CatChen
19K Followers 312 Following Career coach, programmer, author, speaker. Former engineer & manager @ Chime, Robinhood, Facebook, Wandou Labs, Yahoo, Baidu. Career coaching available.
Anthony Alaribe {··... @tonialaribe
6K Followers 3K Following Watch me build developer tools in public. Building @monoscope_tech {•••}. I build stuff in Haskell, Rust (🦀) and Go. Maths ♥️ Engineering. HTMX fanboy
Chris Allen @theodorvaryag
1K Followers 1K Following ☦️🇻🇦 Программист, униат, князь тысячи врагов; black metal byzcath; Αναπαύσου εν ειρήνη Φραγκίσκο; ἀστρικὸς τρόμος https://t.co/JHtUNTIQQl 肮脏勾当，便宜搞定
reddit_haskell @reddit_haskell
5K Followers 1 Following Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
chefski @__chefski__
1K Followers 1K Following XCTest, Testing Technologies, Xcode @ 🍎 || Opinions my own & RTs != endorsements || coffee ☕️ hardcore/screamo🤘🏻recording 🎙|| author of muter || he/him
Eric Fredine @fredine
1K Followers 3K Following Principal engineer writing code for fun and profit. Lapsed photographer. Husband. Father. Aspiring fly fisher.
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Riyo @ymdfield
254 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
Gwen (Chen) Shapira @gwenshap
28K Followers 10K Following Co-founder of @niledatabase. Making SaaS global, elastic and chill. Find me at: https://t.co/uyuHg400cp
Travis Whitaker (hs/a... @TravisMWhitaker
5K Followers 827 Following I am weaponizing Haskell and Nix.
Fabian Christoph 🇪... @FabianChristo12
67 Followers 464 Following Ostfriese, studied cs@rptu, JRPG fan, jogger, strength. I like interactive theorem proving 🐔 and programming algebra ⮀
Tsingson @tsingson
148 Followers 790 Following 19 yrs IPTV/OTT platform solution engineer // old man with jeep
Jan Decat @maskedattention
44 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
katon @hellokaton
9K Followers 673 Following ✦ AI创作者/全栈开发/开源传教士 ✦ 输出多样性内容，欢迎互动 🤗 ✦ 大模型API小店：https://t.co/YUnwGfUFdv
Twelve | 🦀 @twelvetican
57 Followers 567 Following Software should be correct and fast. Banner art: https://t.co/Nq9rzLDvtY
Ekaeo @Ekaeoq
4K Followers 320 Following Watchmaker with a strong CS background All of my pictures are OC See my blog for projects: https://t.co/FtNPoC0oq2
Piyush Itankar @_streetdogg
5K Followers 51 Following Embedded Engineering @Google | Building https://t.co/iId47V1ytD in spare time, enabling engineers reason well. From AI to Transistor. views are my own.
金融汪 @yuyy614893671
60K Followers 384 Following 油管频道：金融汪 ，网址：https://t.co/mE0zmyZHPv 金融市场老兵. Former Investment manager. 观察和理解这个世界每天在发生着什么，是我的兴趣也是工作。X上的内容只是分享，不是投资建议。
winter @winter_cn
2K Followers 311 Following
Nyx @NyxXeres
338 Followers 143 FollowingTrends for United States
You might like
