내가 좋아할 만한 콘텐츠
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 트렌드
- 1. Good Saturday 22K posts
- 2. #SaturdayVibes 3,155 posts
- 3. Emiru 10.8K posts
- 4. Ohtani 234K posts
- 5. #dominATE_celebrATE 63.9K posts
- 6. #saturdaymorning 1,549 posts
- 7. Massie 36.1K posts
- 8. World Series 65.1K posts
- 9. Babe Ruth 3,832 posts
- 10. Carson Beck 17.1K posts
- 11. #HeartofTaehyung 49K posts
- 12. No Kings Day 49.3K posts
- 13. Louisville 29.4K posts
- 14. FDV 5min 3,081 posts
- 15. #Dodgers 27K posts
- 16. TOP CALL 10.1K posts
- 17. AI Alert 8,720 posts
- 18. George Santos 94.2K posts
- 19. Nebraska 17.8K posts
- 20. Talus 15.7K 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.