I keep delaying learn @typstapp while keep suffering with LaTeX. ngmi.
The future is great! Erlang 27+ introduces the maybe expression to simplify sequential operations. It reduces nested case blocks, short-circuits on failure with ?=, and supports custom error handling via else. Cleaner, safer, and more expressive code.
Many Founding Fathers wrote under pseudonyms Pseudonyms afforded the protection needed to write things that were controversial, to engender debate over things they didn't themselves believe in, and to encourage focus on ideas over reputations Thread of their known pseudonyms🧵
Poetic form builds memory, precision, and cultural literacy. Its structured language trains cognitive and interpretive skills. Introducing it early is one of the most beneficial things we can do for children.
We recently released Melange 5 with a bunch of goodies! dynamic import, discriminated unions support, improvements to @\mel.send and more announcement 👇 melange.re/blog/posts/ann…
According to a recent paper, the vast majority of academics gain their elite status the old-fashioned way, they were born with rich parents.
Hi all, it’s time to officially announce my new book: Pragmatic Type-Level Design Yay! 😀😀😀😄😊😊😊 🗜️ It is about practical, approachable, useful type-level programming with concrete ideas applicable across various languages: C++, Rust, Scala, OCaml, Haskell, F#. 👩…
Haskell vs. Go? Just split the difference and use OCaml. There it’s settled.
How to Clean Up the Internet Step 1: Remove Anonymity Problem solved.
It’s mind-blowing that Santiago Ramón y Cajal, while unlocking the secrets of the human brain over 100 years ago, unknowingly laid the groundwork for one of today’s biggest tech breakthroughs.
The new right-wing Twitter trolls are dumber than the old left-wing ones, but at least they're not trying to get you cancelled. If you said something that offended the old left-wing trolls, they'd try to lure you into actual cancellable heresy. The new ones just call you names.
You want to learn programming? Go through this book "Data-Centric Intro to Computing" Its completely free
I'm a statically-typed enthusiast and completely hooked on OCaml's utop.
I'm very much a dynamic type-checking and REPL person rather than a static type-checking and misery person.
One rarely mentioned benefit of joining Functional Programming communities is that you can become an author of foundational work, library, or framework. So, pls, can you join OCaml and start creating projects nobody did so far? 🥺
I love using cool new modern language! Such as 1. OCaml (1996) 2. Haskell (1990) 3. Erlang (1986) 4. Lisp (1960)
Yes, this is 1000% true. Especially when you're the only breadwinner.
Great news. We received the final edited version of @FunOCaml talks. Videos will be on YouTube and ready to be watched (with a decent quality by the way) in a few days.
It hurts when platforms like Reddit, Google, or YouTube override my language settings, even though I've clearly chosen to keep them in English. To have my preferences respected, I’m forced to use a VPN, which is both inconvenient and frustrating.
United States 트렌드
- 1. Yamamoto 48.8K posts
- 2. #dwts 44.7K posts
- 3. halsey 9,324 posts
- 4. Young Republicans 78K posts
- 5. #FlyTogether 2,956 posts
- 6. #MOST_WANTED_IN_CHICAGO 1,334 posts
- 7. Jared Butler N/A
- 8. Kreider 1,346 posts
- 9. #TexasHockey 3,441 posts
- 10. Ohtani 14.2K posts
- 11. Cuffem 2,859 posts
- 12. Tami 4,541 posts
- 13. TOKYO NARITA N/A
- 14. Lucia 62.2K posts
- 15. #Dodgers 16.8K posts
- 16. Ayton 2,530 posts
- 17. Vivian 29.3K posts
- 18. Robert 105K posts
- 19. Will Richard 2,599 posts
- 20. Haji Wright 1,323 posts
Something went wrong.
Something went wrong.