你可能會喜歡
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
United States 趨勢
- 1. Flacco 84.4K posts
- 2. Bengals 80.2K posts
- 3. Bengals 80.2K posts
- 4. Tomlin 21.7K posts
- 5. Ramsey 19K posts
- 6. Chase 107K posts
- 7. Chase 107K posts
- 8. #WhoDey 6,820 posts
- 9. #TNFonPrime 5,547 posts
- 10. #WhoDidTheBody 1,537 posts
- 11. #clubironmouse 2,354 posts
- 12. #criticalrolespoilers 7,147 posts
- 13. Teryl Austin 2,772 posts
- 14. yeonjun 110K posts
- 15. Cuomo 82.1K posts
- 16. Andrew Berry 3,225 posts
- 17. DK Metcalf 3,950 posts
- 18. Max Scherzer 14.3K posts
- 19. Burrow 9,777 posts
- 20. Ace Frehley 97.1K posts
你可能會喜歡
-
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.