Sigma
@superhacker.bsky.social
#Haskell
I’m studying English.
[My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom)
[GitHub](https://github.com/RyosukeDTomita)
I’m studying English.
[My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom)
[GitHub](https://github.com/RyosukeDTomita)
Pinned
Sigma
@superhacker.bsky.social
· Jun 22
I created a CLI tool that displays the number of accepted (AC) scores on AtCoder over the past four weeks. It's written in Haskell, but it can be used with npx, so please give it a try!
```
npx acac-cli
```
#AtCoder #Haskell
github.com/RyosukeDTomi...
```
npx acac-cli
```
#AtCoder #Haskell
github.com/RyosukeDTomi...
www.lambdanote.com/products/lea...
I started to learn Lean.
I started to learn Lean.
ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発
井上亜星 著 228ページ A5判 ISBN：978-4-908686-21-4 プログラミングと数学をつなぐ／ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発...
www.lambdanote.com
October 2, 2026 at 9:00 AM
www.lambdanote.com/products/lea...
I started to learn Lean.
I started to learn Lean.
Reposted by Sigma
I wish Munihac were also held online.
It’s hard to get my company to cover the travel expenses because we don’t use Haskell at work.
I wish I could write Haskell at work:)
It’s hard to get my company to cover the travel expenses because we don’t use Haskell at work.
I wish I could write Haskell at work:)
September 24, 2026 at 12:34 AM
I wish Munihac were also held online.
It’s hard to get my company to cover the travel expenses because we don’t use Haskell at work.
I wish I could write Haskell at work:)
It’s hard to get my company to cover the travel expenses because we don’t use Haskell at work.
I wish I could write Haskell at work:)
A great person once said, “AI is an amplifier.”
To tell the truth, I think AI is a treadmill for everyone.
If you stop running, you’ll fall on AI slop. (Especially in cybersecurity.)
AI is the Time Thief from Momo.
It makes everyone rush.
To tell the truth, I think AI is a treadmill for everyone.
If you stop running, you’ll fall on AI slop. (Especially in cybersecurity.)
AI is the Time Thief from Momo.
It makes everyone rush.
September 23, 2026 at 2:57 AM
A great person once said, “AI is an amplifier.”
To tell the truth, I think AI is a treadmill for everyone.
If you stop running, you’ll fall on AI slop. (Especially in cybersecurity.)
AI is the Time Thief from Momo.
It makes everyone rush.
To tell the truth, I think AI is a treadmill for everyone.
If you stop running, you’ll fall on AI slop. (Especially in cybersecurity.)
AI is the Time Thief from Momo.
It makes everyone rush.
Not only should we slow down AI development, but we should also slow down the use of AI to replace workers and increase workloads.
As humanity, we should think about protecting jobs and keeping our economies running, rather than accelerating the flow of money to a handful of American tech companies.
As humanity, we should think about protecting jobs and keeping our economies running, rather than accelerating the flow of money to a handful of American tech companies.
September 18, 2026 at 8:45 AM
Not only should we slow down AI development, but we should also slow down the use of AI to replace workers and increase workloads.
As humanity, we should think about protecting jobs and keeping our economies running, rather than accelerating the flow of money to a handful of American tech companies.
As humanity, we should think about protecting jobs and keeping our economies running, rather than accelerating the flow of money to a handful of American tech companies.
Haskell new formatter [Tilia](markkarpov.com/post/announc...)
Tilia—a new formatter for Haskell
Announcing Tilia—a new formatter for Haskell source code.
markkarpov.com
September 18, 2026 at 12:05 AM
Haskell new formatter [Tilia](markkarpov.com/post/announc...)
I use Python instead of Haskell because I’m a good person who cares about future maintainers.
BTW, I wish Python had Either and a stronger type checker.
BTW, I wish Python had Either and a stronger type checker.
September 15, 2026 at 10:10 AM
I use Python instead of Haskell because I’m a good person who cares about future maintainers.
BTW, I wish Python had Either and a stronger type checker.
BTW, I wish Python had Either and a stronger type checker.
Recently, I haven’t been doing competitive programming in Haskell.
This month, I’ve been reading “Learn You a Haskell for Great Good!”.
sabela.datahaskell.com/c/1ea40000
This month, I’ve been reading “Learn You a Haskell for Great Good!”.
sabela.datahaskell.com/c/1ea40000
Learn You a Haskell for Great Good!
Curated reactive Haskell notebooks.
sabela.datahaskell.com
September 15, 2026 at 12:18 AM
Recently, I haven’t been doing competitive programming in Haskell.
This month, I’ve been reading “Learn You a Haskell for Great Good!”.
sabela.datahaskell.com/c/1ea40000
This month, I’ve been reading “Learn You a Haskell for Great Good!”.
sabela.datahaskell.com/c/1ea40000
Reposted by Sigma
「人を雇うよりAIのほうが安い」という場面も多いだろうが、問題は人を雇うと従業員の給与となって誰かの食費や学費に化けて国内消費に回るのに対して、AI使用料はどこかに消えるというのがな
September 11, 2026 at 1:09 AM
「人を雇うよりAIのほうが安い」という場面も多いだろうが、問題は人を雇うと従業員の給与となって誰かの食費や学費に化けて国内消費に回るのに対して、AI使用料はどこかに消えるというのがな
Reposted by Sigma
Speaking at MuniHac 2026 about how I finally got Haskell in anger 😊. My experiment is about using Haskell for modeling, and as a specification language for AI agents as well.
Munich, Sat Oct 10 · munihac.de/2026.html
Munich, Sat Oct 10 · munihac.de/2026.html
MuniHac 2026
munihac.de
August 31, 2026 at 12:59 PM
Speaking at MuniHac 2026 about how I finally got Haskell in anger 😊. My experiment is about using Haskell for modeling, and as a specification language for AI agents as well.
Munich, Sat Oct 10 · munihac.de/2026.html
Munich, Sat Oct 10 · munihac.de/2026.html
www.gas.or.jp/anzen/gas-st...
これ忘れてて昨日は水風呂でした。
これ忘れてて昨日は水風呂でした。
ガスが止まったら | 日本ガス協会
主にマイコンメーターの復旧手順などを詳しくご紹介します。
www.gas.or.jp
August 24, 2026 at 12:51 AM
www.gas.or.jp/anzen/gas-st...
これ忘れてて昨日は水風呂でした。
これ忘れてて昨日は水風呂でした。
Reposted by Sigma
I'm really excited with #haskell today.
- GHC 9.14.2 RC was released and includes fixs for repl :load command regression as well as a segfault in some rare concurrency issues. Issues that I found and reported.
- HLS recently merged my work on optimising the leading on large codebase with multiples
- GHC 9.14.2 RC was released and includes fixs for repl :load command regression as well as a segfault in some rare concurrency issues. Issues that I found and reported.
- HLS recently merged my work on optimising the leading on large codebase with multiples
August 17, 2026 at 6:22 PM
I'm really excited with #haskell today.
- GHC 9.14.2 RC was released and includes fixs for repl :load command regression as well as a segfault in some rare concurrency issues. Issues that I found and reported.
- HLS recently merged my work on optimising the leading on large codebase with multiples
- GHC 9.14.2 RC was released and includes fixs for repl :load command regression as well as a segfault in some rare concurrency issues. Issues that I found and reported.
- HLS recently merged my work on optimising the leading on large codebase with multiples
Reposted by Sigma
London #Haskell Meetup
Thursday 17th of September
Bring your Haskell, or one will be provided to you
Register here: luma.com/70s76zly
Thursday 17th of September
Bring your Haskell, or one will be provided to you
Register here: luma.com/70s76zly
London Haskell Meetup (Sep '26) · Luma
Calling all Londoners (and people who can get to London)!
On Thursday 17th of September, we will be running a pair of talks at the Permutive offices.
If you're…
luma.com
August 17, 2026 at 2:07 PM
London #Haskell Meetup
Thursday 17th of September
Bring your Haskell, or one will be provided to you
Register here: luma.com/70s76zly
Thursday 17th of September
Bring your Haskell, or one will be provided to you
Register here: luma.com/70s76zly
Reposted by Sigma
I’m also curious about PureScript.
August 17, 2026 at 12:29 AM
I’m also curious about PureScript.
github.com/frege/frege
> Frege is a Haskell for the JVM.
Wow, I’ve never heard of it. That’s really cool!
If we need to run on the JVM, Frege gives us another option.
> Frege is a Haskell for the JVM.
Wow, I’ve never heard of it. That’s really cool!
If we need to run on the JVM, Frege gives us another option.
GitHub - Frege/frege: Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform. - Frege/frege
github.com
August 17, 2026 at 12:28 AM
github.com/frege/frege
> Frege is a Haskell for the JVM.
Wow, I’ve never heard of it. That’s really cool!
If we need to run on the JVM, Frege gives us another option.
> Frege is a Haskell for the JVM.
Wow, I’ve never heard of it. That’s really cool!
If we need to run on the JVM, Frege gives us another option.
m.youtube.com/watch?v=MQeI...
Haskell Origins, evolution, and future.
Haskell Origins, evolution, and future.
Main Stage - Tent | JuliaCon Global 2026 | Day 1
YouTube video by The Julia Programming Language
m.youtube.com
August 15, 2026 at 5:39 AM
m.youtube.com/watch?v=MQeI...
Haskell Origins, evolution, and future.
Haskell Origins, evolution, and future.
Wow!
Nice!
Nice!
"A Revised #Haskell 2010 Language Report" by David Binder blog.haskell.org/revised-hask...
A Revised Haskell 2010 Language Report | The Haskell Programming Language's blog
blog.haskell.org
August 5, 2026 at 12:58 AM
Wow!
Nice!
Nice!
abhinavsarkar.net/linkblog/has...
200 Haskell Article
200 Haskell Article
abhinavsarkar.net
July 31, 2026 at 10:12 AM
abhinavsarkar.net/linkblog/has...
200 Haskell Article
200 Haskell Article
Reposted by Sigma
You know you can just write Haskell programs right?
Like, write a program, and it'll work.
Like, write a program, and it'll work.
July 30, 2026 at 8:49 AM
You know you can just write Haskell programs right?
Like, write a program, and it'll work.
Like, write a program, and it'll work.
Reposted by Sigma
On the blog: "Quick tips for fast iteration in #Haskell" by Tom Ellis & Laurent P. René de Cotret
blog.haskell.org/quick-tips-f...
blog.haskell.org/quick-tips-f...
Quick tips for fast iteration in Haskell | The Haskell Programming Language's blog
Quick tips about tools and techniques for fast iteration when developing Haskell
blog.haskell.org
July 28, 2026 at 7:44 PM
On the blog: "Quick tips for fast iteration in #Haskell" by Tom Ellis & Laurent P. René de Cotret
blog.haskell.org/quick-tips-f...
blog.haskell.org/quick-tips-f...
My OI(🧠) is rate-limited, so let’s go to lunch.
July 27, 2026 at 2:39 AM
My OI(🧠) is rate-limited, so let’s go to lunch.