Justin Lê
@mstk
jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him
You might like
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
men will turn functional and base their entire engineering philosophy on one of these
I agree mostly with this, unsigned ints are really really good for documentation's sake but giving them a usable safe interface is tough. I still can't see one without being suspicious of every code path it touches
OK, I'm not saying unsigned ints need to be removed, but hear me out. I work on stuff that if you get wrong, you may end up losing millions of dollars of users' funds. I have PTSD from unsinged ints. Whenever one jumps on me, I immediately start asking myself - do we let any…
Sub-10-microsecond Haskell Sudoku solver implemented in hardware. unsafeperform.io/papers/2025-hs…
my interpretation of the lyric... you'd need the leap of double-negation-elimination to get from my second part to the second axiom in the post (or switch entirely to classical logic (plonk everything under NotNot))
this new Google Notebook LLM feature that turns blog posts or papers into e-classroom-like slides with full audio and multimedia is blowing my mind
interestingly enough it also solve done of my normal haskell stumpers i have been using. writing a blog post on it now. I should try my others too, but many of them I have already put out into the internet unfortunately
...it solved 8/10 of my challenges 😳 They're designed to be brutal, the vast majority of pro Haskellers wouldn’t be able to do that in any reasonable amount of time. I'm not overstating it. This is extremely impressive. I'll include a detailed breakdown in the thread. Before…
I'm 33 going on 34 and I work on this codebase every day. Feeling blessed 🙏
the difference between mathematicians and programmers, ask them how much exactly pi megabytes is
For the “precision” subcategory, the aim is to create exactly pi megabytes (pi*1024*1024) of error. Source had to be <256 bytes. One anonymous entry hit it spot-on with just ~230 bytes of code.
one of the rare examples of something where version 89 came out before version 23
null pointer was the culprit that took down google 😭
United States Trends
- 1. #KonamiWorldSeriesSweepstakes 1,338 posts
- 2. Mitch McConnell 19.9K posts
- 3. #2025MAMAVOTE 1.56M posts
- 4. Term 194K posts
- 5. Tyla 26.8K posts
- 6. No Kings 156K posts
- 7. Andrade 8,607 posts
- 8. Carter Hart 2,510 posts
- 9. Budapest 15.6K posts
- 10. #TrumpShutdownBadForUS 4,404 posts
- 11. Somalia 32.2K posts
- 12. Deport Harry Sisson 32.3K posts
- 13. Chanel 28.7K posts
- 14. Yung Miami 2,520 posts
- 15. Caresha 1,804 posts
- 16. Naomi 15.4K posts
- 17. Dodgers vs Mariners N/A
- 18. ErgoChair X 1,092 posts
- 19. Miguel Vick N/A
- 20. Anya 15.5K posts
You might like
-
João Forte Carvalho @Conste11ation
@bgamari -
Well-Typed
@welltyped -
Neil Mitchell (neildmitchell @🪡)
@ndm_haskell -
Joachim Breitner
@nomeata -
Nikita Volkov
@NikitaYVolkov -
Tikhon Jelvis
@tikhonjelvis -
Michael Snoyman
@snoyberg -
Matt Parsons
@mattoflambda -
Andres Löh
@kosmikus -
Dad×2_jack
@Iceland_jack -
gelisam
@haskell_cat -
Vladislav Zavialov
@int_index -
Oskar Wickström
@owickstrom -
Jeremy Gibbons
@jer_gib -
Tweag
@tweagio
Something went wrong.
Something went wrong.