jle

5 ms·

1.
LLMs Will Cheese Your Types: Fighting Back in Haskell(blog.jle.im)
7 points by jle 2mo ago|0 comments
2.
"Five-Point Haskell" Part 1: Total Depravity(blog.jle.im)
5 points by jle 8mo ago|1 comments
3.
The Baby Paradox in Haskell(blog.jle.im)
4 points by jle 1y ago|0 comments
4.
Faking ADTs and GADTs in languages that shouldn't have them(blog.jle.im)
3 points by jle 2y ago|0 comments
5.
Sum Types and Subtypes and Unions(blog.jle.im)
2 points by jle 2y ago|1 comments
6.
by jle 2y ago
Clearing up some common misunderstandings and easy to miss concepts
7.
Functors to Monads: A Story of Shapes(blog.jle.im)
2 points by jle 2y ago|0 comments
8.
Haskell nuggets: functional k-means with dependent types(blog.jle.im)
4 points by jle 2y ago|0 comments
9.
Shuffling Things Up: Solving Advent of Code with Group Theory and Haskell(blog.jle.im)
3 points by jle 6y ago|0 comments
10.
by jle 7y ago
when you think about it, not toooo surprising. Haskell's undeniable killer app is parsing and compilation, so pandoc was pretty much a project destined for Haskell if I ever saw one :)
11.
by jle 7y ago
you don't need an ordered JSON for this. Just make sure that your equality tests ignore ordering, or that your and hash functions will hash two JSON objects with the same key but different order to the same hash.
12.
by jle 8y ago
GoL wasn't used here because of any value or analogy... it's used as an example of how a simple set of rules can generate complex behavior. GoL can display complex behavior, but it would be a stretch to to say that the rules gover
13.
by jle 8y ago
Amazing! :D Any information on the tech behind this? :)
14.
Solving Advent of Code Day 5 w Group Theory (free groups, group homomorphisms)(blog.jle.im)
4 points by jle 8y ago|0 comments
15.
by jle 8y ago
That's not necessarily the definition of division, there are many commonly used definitions in different contracts that are different.
16.
A Purely Functional Typed Approach to Trainable Models(blog.jle.im)
1 points by jle 8y ago|0 comments
17.
Hamiltonian Dynamics: Breaking Down a Haskell Project with Physics and HMatrix(blog.jle.im)
1 points by jle 9y ago|0 comments
18.
by jle 9y ago
Even if it's something we already knew, it's nice to see data confirming.
19.
by jle 11y ago
You can programmatically put statements together, and manipulate them like real values. But that doesn't mean that pure simulated execution has to be a part of the API :)
20.
by jle 12y ago
i feel like this alert should be in chinese for greatest effect
21.
by jle 12y ago
yea, but the struggle isn't really quite with monads, but with syntax. properly understanding the syntax for do notation with use in IO does not require an understanding of monads.
22.
by jle 12y ago
Thanks! I do mention that instances of the Monad typeclass have to follow certain laws to make sure that they are "meaningful and useful"...I handwaved the actual laws away in the ambiguous interpretations of 'meaningful and
23.
by jle 12y ago
Hi, author here; experimenting with some ways to explain two very useful concepts that I feel don't get enough mainstream popularity, despite being applicable to many languages :) Let me know if there are any obvious mistakes, awfully
24.
Inside My World – Ode to Functor and Monad(blog.jle.im)
12 points by jle 12y ago|4 comments