@mstk

jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him

 Orange, CA
blog.jle.im
Joined March 2007
  • Tweets5.4K
  • Following1K
  • Followers1.7K
156Media
To help myself make sense of all the numbers coming at us with #COVID19, I made an interactive customizable data visualizer/animator/analyzer, aggregating regional counts under customizable chains of transformations. Hope you can find it useful too! coronavirus.jle.im
3
6
1
35
Registration for AmeriHac 2027, our North American Haskell hackathon, is now open: haskell.foundation/events/20…
5
11
505
Whether your code is written by a human, clanker, monkey, potato, spatula or white noise generator The answer is still "Use pure functions statically checked with algebraic data types."
1
14
92
2,017
Hi folks! I'm looking for my next tech role and would really appreciate help spreading the word. I have 10+ YoE and am open to Senior/Staff/Principal, Tech Lead, and Engineering Manager roles. An intro or RT would mean a lot. ❤️ #OpenToWork [ Rust, C#, Python, JS, AI, Infosec ]
6
34
4
35
3,665
Justin Lê retweeted
Well-Typed@welltypedOct 8
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/… or check it out at hackage.haskell.org/package/… .
1
20
2
71
3,301
Justin Lê retweeted
Eitan Chatav@EChatavOct 3
New version of my indexed-transformers Haskell library. Link in comment.
1
1
6
285
New hot IDE for Haskell just dropped by @kmett! github.com/ekmett/hide

GitHub - ekmett/hide: The Turbo Haskell IDE

The Turbo Haskell IDE. Contribute to ekmett/hide development by creating an account on GitHub.

github.com
3
32
1
128
7,720
Justin Lê retweeted
Matti Palli
@tritloOct 2
A new @HaskelInterlude episode is out, this time with @kmett! We talked about design principles for Haskell libraries, category theory, cache-oblivious algorithms and his recent work involving Haskell, C++, and FPGAs. Tune in! haskell.foundation/podcast/8…
3
17
1
62
2,556
ghc-debug is the most underrated tool.
Well-Typed@welltypedOct 2
ghc-debug enables precise heap analysis of #Haskell programs for memory use debugging. We've been making it more usable on large programs: well-typed.com/blog/2026/10/…
1
2
26
1,176
Justin Lê retweeted
Edward Kmett
@kmettSep 24
THC just successfully imported Control.Lens and ran code directly from it... before it was capable of running "Hello World". My priorities may be a _little_ skewed. github.com/ekmett/thc/ #Haskell

GitHub - ekmett/thc: The Turbo Haskell Compiler

The Turbo Haskell Compiler. Contribute to ekmett/thc development by creating an account on GitHub.

github.com
10
22
4
144
9,977
If you ask a random person for a random number from 1-100, you'll get a biased sample from a known distribution with entropy ~6.29 bits. a true random uniform sample is ~6.64 bits so, if you asked 1000 random people, you actually can generate 946 truly uniform samples from 1-100
2
1
10
447
thinking about this it is less profound than I thought because you are already importing entropy to select your 1000 random people....
2
54
New post in my series: Five Point #Haskell Part 2: Unconditional Election Correctness does not depend on foreseen faithfulness! blog.jle.im/entry/five-point…

"Five-Point Haskell": Unconditional Election (via Parametricity)

Welcome back to Five-Point Haskell! This is my attempt to codify principles of writing robust, maintainable, correct, clear, and effective code in Haskell and to dispel common bad practices (or,...

blog.jle.im
3
16
1,052
Justin Lê retweeted
Tikhon Jelvis@tikhonjelvisAug 3
Happy birthday Pandoc! Pandoc is amazing, and so is its story. I've used Pandoc over 15 years myself, including working on a 700-page CS textbook, my entire website and countless individual documents. I still love it. pandoc.org/twenty-years-of-p…

Pandoc - twenty-years-of-pandoc

A universal document converter

pandoc.org
3
10
43
1,815
Wrote a blog post about my adventures writing #Haskell with agentic coding assistants and LLM. Focusing on one aspect: different constraint-evading behaviors I have noticed, and how to spot them
5
4
1
20
955
LLMs will cheese your types: Fighting Back in Haskell blog.jle.im/entry/llms-and-h…

LLMs Will Cheese Your Types: Fighting Back in Haskell

Sooo yes it’s true, I’ve been integrating LLMs and agentic coding tools in my Haskell coding since the beginning of this year for a lot of my projects, both personal and professional. I do all of my...

blog.jle.im
2
5
205
big and true
Avraham Eisenberg
@avi_eisenJul 20
Yeah Fable is cool but just today I proved many previously unknown results that would be major math news if not for the Fable thing overshadowing it For example: 1. The Jacobian conjecture implies the Reimann hypothesis 2. The Jacobian conjecture implies P=NP 3. The Jacobian conjecture implies that, for all integers N, repeatedly applying the map 3N+1 when N is odd and N/2 when even eventually results in 4-2-1 loop 4. The Jacobian conjecture implies that pi^pi^pi^pi^pi is an integer
2
346
Justin Lê retweeted
levent
@__alpoge__Jul 20
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
1,701
5,388
3,151
43,838
40,094,431
all this effort just to misspell spider-man
sara hinkley@boneysoupsJul 18
absolutely losing it at this
193
Justin Lê retweeted
Daniel Litt
@littmathJul 14
“[long explanation]. Thus my previous response was incorrect.”
17
5
3
767
35,779
New Blog Post: Extreme Haskell with Typed Expression EDSLs #haskell
1
2
23
1,083
Bonus reflection on Haskell and agentic LLM coding at the end blog.jle.im/entry/extreme-ha…
5
194
Load more