digitalcourage.social

HaskellOrgThe GHC developers are very pleased to announce the availability of the first alpha prerelease of GHC 9.14.1.Highlights:* Major improvements to the Specialiser * SSE/AVX support in the x86 native backend * Significant improvements in the GHCi debugger<a href="https://blog.haskell.org/ghc-9-14-1-alpha1/" rel="nofollow noopener" translate="no" target="_blank">https://blog.haskell.org/ghc-9-14-1-alpha1/</a><a href="https://fosstodon.org/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>

N-gated Hacker NewsAh, the riveting saga of Typemachine: Because writing about <a href="https://mastodon.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> isn't dull enough without a <a href="https://mastodon.social/tags/PhD" class="mention hashtag" rel="nofollow noopener" target="_blank">#PhD</a> student adding 13 more minutes of ⚡️excitement⚡️. Dive into the thrilling world of algebraic data types, where "Nothing" has never been more aptly named. 💤🚀 <a href="https://arthi-chaud.github.io/posts/type-machine/" rel="nofollow noopener" translate="no" target="_blank">https://arthi-chaud.github.io/posts/type-machine/</a> <a href="https://mastodon.social/tags/Typemachine" class="mention hashtag" rel="nofollow noopener" target="_blank">#Typemachine</a> <a href="https://mastodon.social/tags/excitement" class="mention hashtag" rel="nofollow noopener" target="_blank">#excitement</a> <a href="https://mastodon.social/tags/algebraicdatatypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#algebraicdatatypes</a> <a href="https://mastodon.social/tags/Nothing" class="mention hashtag" rel="nofollow noopener" target="_blank">#Nothing</a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener" target="_blank">#ngated</a>

LobstersSome Tricks for List Manipulation via <a href="https://fantastic.earth/@abnv" class="u-url mention" rel="nofollow noopener" target="_blank">@abnv</a> <a href="https://lobste.rs/s/i0ismi" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/i0ismi</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> <a href="https://doisinkidney.com/posts/2019-05-08-list-manipulation-tricks.html" rel="nofollow noopener" translate="no" target="_blank">https://doisinkidney.com/posts/2019-05-08-list-manipulation-tricks.html</a>

bfjviiI love these search results <a href="https://mathstodon.xyz/tags/bacon" class="mention hashtag" rel="nofollow noopener" target="_blank">#bacon</a> <a href="https://mathstodon.xyz/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>

arialdoRead it. It’s short enough to be completed in an afternoon.Went back trying to understand The Book of Monads. There are parts that are way too difficult for my poor knowledge of <a href="https://mastodon.online/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>.

Leftover womanStill trying to do ⬆️ 😭 <a href="https://social.vivaldi.net/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#nix</a> <a href="https://social.vivaldi.net/tags/lix" class="mention hashtag" rel="nofollow noopener" target="_blank">#lix</a> <a href="https://social.vivaldi.net/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>

LobstersTypechecker Zoo <a href="https://lobste.rs/s/qdy0yt" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/qdy0yt</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ml</a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#plt</a> <a href="https://sdiehl.github.io/typechecker-zoo/" rel="nofollow noopener" translate="no" target="_blank">https://sdiehl.github.io/typechecker-zoo/</a>

John Goerzen<a href="https://toot.cafe/@matt" class="u-url mention" rel="nofollow noopener" target="_blank">@matt</a> There is something really elegant about <a href="https://floss.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>, and its isolation of "pure" functions (which can't perform I/O) from impure functions, as well as general data immutability, make for nice designs that are easy to reason about, and excellent recursion handling also feeds into that.That said, memory usage in Haskell can be hard to reason about, and Rust gives some of those guarantees with its "mut" keyword.I do a lot of systems programming, so would mostly go for Rust these days.

tristanCThe source code of the WhyLambda challenge are now available here:) <a href="https://codeberg.org/TristanCacqueray/why-lambda" rel="nofollow noopener" translate="no" target="_blank">https://codeberg.org/TristanCacqueray/why-lambda</a>It's a little computer program I created at <a href="https://functional.cafe/tags/why2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#why2025</a> to explain lambda calculus and introduce <a href="https://functional.cafe/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> from the ground up. To my knowledge it's the first of its kind, and it remains unsolved, so please contact me if you crack it!

José A. AlonsoTruly functional solutions to the longest uptrend problem (Functional pearl). ~ Alexander Dinges, Ralf Hinze. <a href="https://dl.acm.org/doi/pdf/10.1145/3747520" rel="nofollow noopener" translate="no" target="_blank">https://dl.acm.org/doi/pdf/10.1145/3747520</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

José A. AlonsoTeaching introductory functional programming using Haskelite. ~ Pedro Vasconcelos. <a href="https://arxiv.org/abs/2508.03640" rel="nofollow noopener" translate="no" target="_blank">https://arxiv.org/abs/2508.03640</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a>

Woke Leftist TrashStreaming tonight. Might publish the tigerbeetle-hs package or just pick a library or language extension and see what we can learn. Last one before I take a summer break!The stream will return in September on TUESDAY evenings at the same time.<a href="https://twitch.tv/agentultra" rel="nofollow noopener" translate="no" target="_blank">https://twitch.tv/agentultra</a><a href="https://types.pl/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>

Björn Gohla<a href="https://mathstodon.xyz/@andrejbauer" class="u-url mention" rel="nofollow noopener" target="_blank">@andrejbauer</a> <a href="https://mathstodon.xyz/@jonmsterling" class="u-url mention" rel="nofollow noopener" target="_blank">@jonmsterling</a> I have on occasion lamented that <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> isn't used more in scientific computing.It's puzzling, because you would think that it's more important to a mathematician to understand their programs, than for them to run fast.

LobstersA Proper X86 Assembler in Haskell Using the Escardó-Oliva Functional via <a href="https://fantastic.earth/@abnv" class="u-url mention" rel="nofollow noopener" target="_blank">@abnv</a> <a href="https://lobste.rs/s/o5bqwn" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/o5bqwn</a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#compilers</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> <a href="http://blog.vmchale.com/article/escardo-oliva-functional" rel="nofollow noopener" translate="no" target="_blank">http://blog.vmchale.com/article/escardo-oliva-functional</a>

Miriam Glitsh<a href="https://babka.social/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> fans, I think it's fun that haskel (השׂכּל) means intelligence in hebrew.

Leftover womanSo what's the <a href="https://social.vivaldi.net/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#nix</a> way to make a C library available to Cabal? <a href="https://social.vivaldi.net/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>

LobstersA Bytecode VM for Arithmetic: The Parser by <a href="https://fantastic.earth/@abnv" class="u-url mention" rel="nofollow noopener" target="_blank">@abnv</a> <a href="https://lobste.rs/s/rjfxop" rel="nofollow noopener" translate="no" target="_blank">https://lobste.rs/s/rjfxop</a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#compilers</a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a> <a href="https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/" rel="nofollow noopener" translate="no" target="_blank">https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/</a>

Abhinav 🌏I'm starting a series of blog posts, in which I write a <a href="https://fantastic.earth/tags/bytecode" class="mention hashtag" rel="nofollow noopener" target="_blank">#bytecode</a> <a href="https://fantastic.earth/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#compiler</a> and a <a href="https://fantastic.earth/tags/virtualMachine" class="mention hashtag" rel="nofollow noopener" target="_blank">#virtualMachine</a> for arithmetic in <a href="https://fantastic.earth/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a>. We explore the following topics in the series:- Parsing arithmetic expressions to ASTs. - Compiling ASTs to bytecode. - Interpreting ASTs. - Efficiently executing bytecode in a VM. - Disassembling bytecode and decompiling opcodes for debugging and testing. - Unit testing and property-based testing for our compiler and VM. - Benchmarking our code to see how the different passes perform. - All the while keeping an eye on performance.The first post of the series that focuses on writing the <a href="https://fantastic.earth/tags/parser" class="mention hashtag" rel="nofollow noopener" target="_blank">#parser</a> is now out: <a href="https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/" rel="nofollow noopener" translate="no" target="_blank">https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/</a><a href="https://fantastic.earth/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://fantastic.earth/tags/Blogging" class="mention hashtag" rel="nofollow noopener" target="_blank">#Blogging</a> <a href="https://fantastic.earth/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#compilers</a> <a href="https://fantastic.earth/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#programmingLanguages</a>

Woke Leftist TrashI think I might’ve got the first cut of tigerbeetle-hs nearly done. <a href="https://types.pl/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#haskell</a>

José A. AlonsoReadings shared July 29, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/07/30-readings_shared_07-29-25</a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#CoqProver</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#FormalVerification</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#IMO</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/ProofAssistant" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProofAssistant</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rocq</a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a>

Recent searches

Search options

Administered by:

Server stats:

#haskell