-
Tweets7K
-
Followers423
-
Following697
-
Likes12K
borar retweeted
Many #fsharp goodies inside, again. Particularly happy about the allocation and kept-memory improvements. Deserved a separate sub post - github.com/dotnet/core/bl… . Especially held memory was a stream of great work by @auduchinok - thank him in these hard RAM-economy times :-))
dotNET blog: Announcing .NET 11 Release Candidate 2 ift.tt/rYZ2WJc
2
15
124
7K
20
Yes, I am blocked because of insisting that Effect is pure FP, monadic etc. despite it not being explained like that. And that insisting on explicitly hiding that is silly.
Whoever is interested in this should really take a look at PureScript.
borar retweeted
a short trailer for iris-lang.com's language server capabilities so far
@FlavioCorpa Of course, don't let "era of agents" be in the way of sharing knowledge and understanding. Books are not going anywhere.
borar retweeted
fun website updates for iris-lang.com
@southpolesteve They are not yelling because it does not work exactly like this. At least not out of the box. Unfortunately, the TypeScript "Effect world" in its well-intended marketing creates a somewhat superhero image of Effect. It is one, but there are limits :)
borar retweeted
I always advice any Java programmer to learn Scala. I am starting to believe it has been a bad advice because what I really want to is for them to learn Haskell. In fact I learned Haskell before Scala, which I guess was fundamental to be able to understand the value of Scala.
@cupseycode @DominikTornow An engineer, of course.
@DominikTornow Luckily, people also spent decades on that as well.
@LewisCTech @MianlaiZhoy3 Most monads are not like this, though. As one example intuition it's OK-ish.
@ekander_ @ultrafinitejest Oh yes, I am all for at least this sampling as well.
@ekander_ @ultrafinitejest Have you heard about PureScript?
borar retweeted
I'll make this simple. It is irrelevant whether AI is conscious (it isn't). It is irrelevant whether being mean to the AI means you're a bad person (it doesn't). It is irrelevant whether being mean to the AI is bad for the society (it's not). It is irrelevant whether someone thinks that someone else being mean to the AI is a bad thing. Don't fall into debating any of these fake "arguments". They are there only to confuse you from noticing the real problem which is that Anthropic (and OpenAI, and EA in general, etc) are scheming to institutionalize themselves as moral arbiters of truth and set limits on what constitutes acceptable speech. What, you thought this was just about Anthropic and bullying the AI? Just you wait. Reject this cancerous growth from our society.
Effective November 12th, 2026, abusive behavior towards Claude will be a violation of Anthropic's Usage Policy.
borar retweeted
We're delighted to finally announce the first official release of hs-bindgen, a tool that automatically generates Haskell bindings from C headers. Read the announcement at well-typed.com/blog/2026/10/h… or check it out at hackage.haskell.org/package/hs-bin… .
@purefunctor @Aron_Adler So a co-routine as a service?
borar retweeted
I am delighted to announce a fully revised online edition of Haskell: the Craft of Functional Programming, simonjohnthompson.github.io/haskellcraft/
borar retweeted
Can't get Java's garbage collector to give you Haskell's System.Mem.Weak finalizers and generalized weak pointer semantics? Just replace it with one that can.
I showed the technique several years ago in #fsharp. A very nice intermediate/advanced pattern for safe APIs. gist.github.com/Savelenko/9f21…
Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript. gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check. The typechecker verifies these proofs at
Angel D. Muñoz @angel_d_munoz
1K Followers 1K Following One of the 12 F# devs in the world https://t.co/VrDARa0uXQ
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.
Jordan Marr @jordan_n_marr
1K Followers 461 Following Here for F# and 😾 pics. Software dev at Symetri.
Vlæd Zá 🤡 @vzarytovskii
1K Followers 888 Following C++ compiler (prev. F#) @ MSFT. Opinions = mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots and racists. 1+3+1+2=7. 🟥 ⬛
Damian Płaza @raimeyuu
1K Followers 6K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modelling. Functional-first thinker.
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
Almir Mesic @almirmesic
820 Followers 2K Following F#/C# dev. Domain Driven Design. Senior Software Developer at REN. Author of F# Bite-sized - an online introductory course to F#.
Tomáš Grošup @tomasgrosup
456 Followers 240 Following F# team @ MSFT | Prague Matfyz alumni (Similarity analytics) |
Oleg 🇺🇦🐍 λ @TheOlegarchy
469 Followers 65 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
JaggerJo @JaggerJo1
306 Followers 238 Following F# hacker, contractor, OSS contributor, … I've moved to BlueSky https://t.co/ryo2WPEHsr
Chet Husk @ChetHusk
2K Followers 743 Following Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# on Linux. he/him. @[email protected]
Edgar González @edgarfsharp
440 Followers 334 Following F# OSS contributor. Helping the F# ecosystem through the @amplifyfsharp initiative.
Steve Goguen @sgoguen
637 Followers 1K Following F# flunky, Lean lackey, theorem thief, formalism fanboy
mathopomark @mathopomark1
6 Followers 27 Following
Mianlai Zhou @MianlaiZhoy3
55 Followers 1K Following A Catholic, into math, into programming, into philosophy, into languages.
TwoForSeven @TwoForSeven
44 Followers 459 Following
Matt Williams @ickle_matt
165 Followers 1K Following Software developer/architect, sailor, husband, and father to two strange children. Continuously learning better ways to help software teams deliver value.
Marian @katz_marian59
2K Followers 6K Following concerts, piercings, late nights & zero rmy plants are thriving and so am i
JK @chnessGame
120 Followers 906 Following
fj @fjzeit
3K Followers 2K Following deceptively simple artisan bogan. original lode coder. story teller. asm, C, C++, C# AoT. linux, windows, macos, esp32.
codealto @_codealto
8 Followers 604 Following
panos @panoukos41
57 Followers 198 Following in a world where everyone does the bare minimum, be better
sgider 🗿 @sgider1
40 Followers 2K Following
aravind gopal @MaG199601
39 Followers 342 Following
404prophet @lightscaner
189 Followers 2K Following Making software to bridge the gap between people and hardware in a human way. Whatever that means. OSINT/SIGINT & Geopolitics Lasers & 3D printing LLMs & HPC
Haniel Ulises @Haniel_Ulises
1K Followers 911 Following cs, pure maths, analytical philosophy & engineering i guess. ✡️
MRBLCK @blxcknxir
13 Followers 2K Following
Koru Language @korulang
427 Followers 3K Following Uncompromising systems language. Discord: https://t.co/2Dh7cU7mzD Multiple backends, Zig/JS/C#.
富良美雄 @FlavioCorpa
3K Followers 298 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3) 🐈 Building @konekokanji
xiaoxiao @maddieluna67186
20 Followers 844 Following
Fabricio Nakata @FabricioNakata
1K Followers 869 Following Urbanism, pluralism, computing futurism, languages
Rico Fritzsche @codewithrico
133 Followers 205 Following Independent Software Architect | Event Sourcing, Agentic Coding & Architecture Strategy | Author of “Autonomous Domain Capabilities”
Matthias @urmdev
34 Followers 2K Following
Devin Jameson @devinjameson
1K Followers 752 Following Creator of @foldkit. Helping you ship better frontends faster with @EffectTS_.
Manuel Simoni @msimoni
5K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
Muwaffaq Elbadawi @MuwaffaqBadawi
817 Followers 5K Following Building @MusicTransify 🎧 | C# .NET Engineer
LitFill @razzy_ar
460 Followers 2K Following FP is love, FP is life. Looking for opportunities. There is only one god.
David Barbour @awelonblue
562 Followers 479 Following PX is the new UX Currently developing the Glam language. https://t.co/cK3d5C5Bse
Alexa L @lexiicutest7
72 Followers 609 Following looking for the jim to my pam but like, gen z version
adnos @deflationistt
52 Followers 630 Following
seleyelten @seleyelten
0 Followers 36 Following
Helder Perez @helderbuilds
3K Followers 7K Following Software Engineer building an Outdoor Office. Remote work • Technology • Nature • Coffee • Adventure Work. Anywhere.
Michael B Jordan @MichaelBJorv
532 Followers 3K Following American actor, producer, and director. My Backup Account. 🆙 ❤️🇺🇸
learn07 @learn07
3 Followers 196 Following
Ronald Munodawafa @RonaldTinasheM
56 Followers 57 Following Computer science, literature and everything relating to the mind
alex @rooks_by
12 Followers 273 Following
farsi_rumi @farsi_rumi
0 Followers 2K Following
Aram Hăvărneanu @aramh
5K Followers 2K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Anime V.H.S. bot @AnimeV_H_S
36K Followers 29K Following OVAのVHSジャケットをつぶやく。時々劇場作品やテレビスペシャルのビデオ版や関連画像。中身@TheKenshi2
clara @declarative_
720 Followers 2K Following future bay area clarationalist | cs | neutralername on bsky | check link for matrix, dms open
Annabel rose @Annabelros72245
45 Followers 3K Following
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Jordan Marr @jordan_n_marr
1K Followers 461 Following Here for F# and 😾 pics. Software dev at Symetri.
Don Syme @dsymetweets
11K Followers 47 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
Zaid Ajaj @zaid_ajaj
2K Followers 404 Following F# enthusiast, interested in all kinds of metaprogramming. I love to write and share the things I learn from experience and from others
Sergey Tihon @sergey_tihon
4K Followers 517 Following
Phillip Carter @_cartermp
6K Followers 364 Following Copilot Platform @GitHub. Formerly Observability @Honeycombio and F# lang/.NET tools @Microsoft
Damian Płaza @raimeyuu
1K Followers 6K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modelling. Functional-first thinker.
F# Online @fsharponline
2K Followers 8 Following Supporting the worldwide #fsharp community via online channels https://t.co/9R25QDnqh8 https://t.co/aTRv2VYgs8
Tomáš Grošup @tomasgrosup
456 Followers 240 Following F# team @ MSFT | Prague Matfyz alumni (Similarity analytics) |
Oleg 🇺🇦🐍 λ @TheOlegarchy
469 Followers 65 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Chet Husk @ChetHusk
2K Followers 743 Following Functional Programmer. .NET SDK/MSBuild/Templating PM @microsoft. @IonideProject contributor. :heart: F# on Linux. he/him. @[email protected]
Greg Young @gregyoung
30K Followers 2K Following
Rúnar @runarorama
13K Followers 125 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Hillel @hillelogram
19K Followers 2 Following Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering. Newsletter: https://t.co/YrRPK2p8Pc Book: https://t.co/omGN29k6LJ
Edgar González @edgarfsharp
440 Followers 334 Following F# OSS contributor. Helping the F# ecosystem through the @amplifyfsharp initiative.
Ukraine House Japan @UkraineHouseJp
495 Followers 1 Following その屋根の下でウクライナと日本を結びつけ、文化外交と意義ある交流を促進します。私たちは、ウクライナの文化遺産を保存しながら、協力と調和を通じて共通の未来を築きます。
直立演人 @royterek
11K Followers 1K Following ユダヤ／ウクライナ／ロシア文化研究 | 『ウクライナ文化の挑戦――激動の時代を越えて』https://t.co/3XJuKsiEuE｜ダニエル・ボヤ―リン著『無国家解決』https://t.co/uYZieF0Ifc
ポリゴ🦋 @polygo
13K Followers 907 Following 原型師です。お仕事の依頼、連絡などはこちらでhttps://t.co/vfXS7DOY97 アイコン制作：CHANxCO(@chanxco)
Quantіan @quantian1
100K Followers 519 Following Voted “Most Likely To Appear on Wikipedia’s ‘List of Largest Trading Losses’” among graduating class
電撃ホビーウェ... @hobby_magazine
398K Followers 2K Following フィギュア、ガンプラ、ワンフェスの速報などを発信するＫＡＤＯＫＡＷＡのホビー情報サイト「電撃ホビーウェブ（電ホビ）」の公式アカウント。※個別の返信等はしておりません。※本アカウントはアフィリエイトプログラムによる収益を得ています。 お問い合わせ https://t.co/kUbNuHnp0j
Avi Press @avi_press
1K Followers 674 Following Founder @scarf_oss. Board @HaskellFound. Open source usage analytics.
Gabriela Moreira @bugarela
1K Followers 1K Following CEO for @quint_lang because I care about software too much | Born and living in Brazil 🇧🇷
Jack Vanlightly @vanlightly
5K Followers 251 Following Likes breaking ideas and systems, writing, picking systems apart @confluentinc Ex @Splunk, @VMware https://t.co/voJWmL5iBE Credit: ESO/B. Tafreshi
@[email protected] @lemmster
1K Followers 548 Following
Murat Demirbas (Distr... @muratdemirbas
12K Followers 263 Following MongoDB Research: Distributed Systems, Databases, Formal Methods ex-AWS, ex-Prof SUNY Buffalo. Blog at: https://t.co/IqZPhhtcCC Opinions my own
Ben Dickson @bendee983
7K Followers 691 Following Software Engineer | Tech analyst | Thinker | Student of life | Founder of @bdtechtalks
Arte Bélico @hansclaw
9K Followers 1K Following Arte Bélico: ilustración retro-militar, pinups y vehículos. Sin IA, solo pasión y precisión. Comisiones : https://t.co/Bl5QlEuTwr
Nathan Witkin @NateWitkin
2K Followers 2K Following Research Scientist at NYU Stern's Tech and Society Lab | Posts here reflect my own views, not those of the T&S Lab.
Mitchell Hashimoto @mitchellh
234K Followers 156 Following Co-founder of @Superlogical. Creator of Ghostty. 👻 Prev founded @HashiCorp, created Vagrant, Terraform, Vault, and others.
Vatniksoep in het Ned... @vatniksoep_nl
7K Followers 7K Following Vertaalde soepen van @P_kallioniemi en een enkele exclusieve soep op dit kanaal. Klik op de websitelink in het profiel voor alle Nederlandse soepen.
Tim Pote @potetm
1K Followers 406 Following Pragmatic, Idiot-Driven Solutions. It's a neighborly day in this beauty wood. Co-Founder of Squawkbox Alarms. ꙮ
Оборонка @Oboronka1
570 Followers 36 Following 🪖Проєкт "Оборонка" від видання "Межа" — пишемо про українську та світову оборонну індустрію та зброю. 🤝Співпраця: [email protected] - https://t.co/buM4ck218z
Мілітарний @mil_in_ua
201K Followers 431 Following Чесно про армію, війну та оборонку з 2009 року In English: @militarnyi https://t.co/cC4juVKnGF
サイトウヒール @LOVELOVEGARDEN
6K Followers 94 Following 頭の中にあるモノを造形したり、スケッチしたり 株式会社6sense代表取締役 Skullptor Instagram / saito_heel_takaaki
Luiza Jarovsky, PhD @LuizaJarovsky
33K Followers 85 Following Co-founder of the https://t.co/MeQaJmVqzM (1,650+ participants). Author of https://t.co/eByVy8oVhs (100,000+ subscribers). Mother of 3.
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
okマン @anisuki744
3K Followers 235 Following ガンプラなどの制作進歩～完成をポストする用のアカウントです。 加工より塗装メイン、メタリック塗装が好き、たまにウェザリングもします。 最近は朝と休日にプラモ活動してます。 YouTubeで制作動画を投稿してます。
modeller田村 @modelle98270781
5K Followers 1K Following 模型は造るのも見るのも大好き、造形できる方を尊敬しております。 筆塗りで女の子フィギュアをチマチマ塗ってるスマホすら 持たないアナログ親爺です。 無断フォローで失礼いたしますが、宜しければ 仲良くして頂けると嬉しいです！！！
PocketJS @pocket_js
6K Followers 162 Following Create on every screen you love 🌈 👾 https://t.co/ku9hiWR9on
ホビージャパン... @HobbyJapan_MAG
71K Followers 443 Following 月刊ホビージャパンの公式ツイッターです。月刊ホビージャパン編集部のスタッフが最新号の情報やイベントレポートなどをつぶやきます。 ホビージャパンウェブ（ https://t.co/Qd8EO4TYoC ）オープンしました。 ※個別の返信は行なっておりません。
tonerico ガレージ... @tonerico10
5K Followers 2K Following ガレージキットweb通販サイト・実店舗はございません/ Always have a little fun! /実り多い模型生活を送ろう/ほぼ宣伝用アカウントですがたまに私的な呟きもあります
David Abram 🐊 @devabram
1K Followers 142 Following Software development consultant › I fix orgs so they stop breaking prod · SCE fixes this (https://t.co/yfc3IGf4kS) · populizer of the term typefuckery
弐瓶勉 作品担�... @sidonia_editor
18K Followers 79 Following 『タワーダンジョン』『人形の国』『シドニアの騎士』『バイオメガ』『BLAME!』など弐瓶勉先生の作品情報アカウント 月刊少年シリウス連載『タワーダンジョン』最新七巻、発売中。 Official updates on Tsutomu Nihei's works, "TOWER DUNGEON" and more
Mel Andrews @bayesianboy
32K Followers 9K Following I’m not like the other Bayesians. I’m different. Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.
ChrisO_wiki @ChrisO_wiki
258K Followers 373 Following Independent military history author and researcher. Coffee tips are appreciated! https://t.co/t1EjNrIZ2c Now also at https://t.co/4qGQ2ffHJJ
Hirano Takashi／平�... @hiranotakasi
49K Followers 1K Following ウクルインフォルム(@ukrinform_jp)編集者/Editor in Ukrinform。『キーウで見たロシア・ウクライナ戦争 戦争のある日常を生きる』『ウクライナ・ファンブック』販売中。ウクライナのラーメン事情に詳しい（by朝日新聞）。ウクライナ応援団所属。 hiranotakaci📧https://t.co/dNNsoYxvDB
Тхір(🍅🦅) �... @tkhir_pivnyk
16K Followers 2K Following Такаші ХІРано. Фотохудожник, політолог, фудблогер, східняк, infj-a. Пишу новини в @ukrinform_jp. All posts personal. БС: @ https://t.co/q7Na2jMkhV
S.Rod@JamRockers @Rod1971S
2K Followers 1K Following 模型·ドラム·ワンコ(シーズー♂)🐶 模型サークルJamRockers所属 📍 模型製作 【オリジナルSF・ロボット全般・飛行機・車】 #勝手に近藤版 #架空戦車 #酒餅11 🟦Bluesky https://t.co/n4OhTwJsvJ
lespaul @lespaul08161
728 Followers 403 Following プラモデルをジャンル問わず作っています。 工作や改造はあまりしませんが、塗装にこだわってさまざまな表現に挑戦しています。主にファレホによる水性筆塗り 2024.6〜
Asian Volunteer Corps @AVC_Ukraine
6K Followers 8 Following Official Unit of the Armed Forces of Ukraine🇺🇦 乌克兰武装部队的官方单位🇺🇦 ウクライナ軍の公式部隊🇺🇦 Freedom Will Prevail/Свобода Переможе JOIN US:
東野篤子 Atsuko... @AtsukoHigashino
113K Followers 3K Following 発信内容は個人の見解であり、所属先を代表しません。EUの対外政策を中心に研究。いいねRTは同意を意味しません。
Koji Kuniya / 國谷�... @Kojinsky
2K Followers 673 Following ウクライナ研究会所属、Член Асоціація україністів Японії 、執筆: ユーラアシア研究 : 翻弄されていくウクライナの庶民、 ロシアNIS調査月報 : 戦時下のウクライナを巡る-ウクライナ国民の覚悟と強さ- 、ウクライナを知るための65章 : 闇の中を彷徨うウクライナTrends for United States
You might like
Jordan Marr
@jordan_n_marr
1K Followers
Maxime
@MangelMaxime
816 Followers
Eugene Auduchinok
@auduchinok
802 Followers
Florian Verdonck (noj...
@verdonckflorian
749 Followers
Amin Khansari
@akhansari
504 Followers
Yaron (Ron) Minsky
@yminsky
23K Followers
learn_fsharp 🌍🦔...
@learn_fsharp
772 Followers
Damian Płaza
@raimeyuu
1K Followers
Almir Mesic
@almirmesic
820 Followers
Mark Seemann
@ploeh
17K Followers
Vlæd Zá 🤡
@vzarytovskii
1K Followers
Tomáš Grošup
@tomasgrosup
456 Followers
Novian.Works
@OnurGumusDev
773 Followers