Dad×2_jack
@Iceland_jack
Followers
3K
Following
19K
Media
8K
Statuses
32K
Nobody yells at Haskell, thank you Rust. https://t.co/liVgAmlrF4
September, 26: Cloudflare rewritten in “memory safe” Rust. The change is touted as “faster and more secure” because of Rust. https://t.co/Mpy43z5S8A November, 18 (53 days later): Cloudflare has a massive outage, which took down large portions of the Internet, because of a
0
0
6
What an odd question, you can run emacs full screen on Mac?
Is there any tiling manager on Mac that actually, like, works?
0
1
5
class Monoidal { Cat, Unit, Mult } a where unit :: Cat Unit a mult :: Cat (Mult a a) a
reddit.com
Explore this post and more from the haskell community
A monad is a monoid in the category of endofunctors. And let me not explain further.
1
0
2
@tritlo "conscious part of our minds. While novice performance can be achieved using conscious thought alone, master-level expertise draws on the enormous hidden resources of these old and specialized areas."
0
1
1
@tritlo "the large, highly evolved sensory and motor portions of the brain seem to be the hidden powerhouse behind human thought. By virtue of the great efficiency of these billion-year-old structures, they may embody one million times the effective computational power of the"
1
1
1
Starting sequence indexing from 0 is either leaking implementation details or cargo culting and anyone who took semantics seriously would advocate starting at 1.
3
1
7
Ranking Applicative functors from worst to best. Links in thread. F [Text.Regex.Applicative].RE (just use a monad, life is already hard without regexes) E [Control.Applicative].Lift (adds a "no effect" to an effect, barely ever useful) D [Control.Applicative].Backwards
5
7
61
UIPとconsistentにするCubical Agdaのオプション (--cubical=no-glue)が入るらしい👀 https://t.co/Hmhg71Qkdq
github.com
This pull request aims to implement a --cubical-without-glue pragma option that allows one to use Cubical features, but disallowing the primitive Glue type. This is in anticipation of my ongoing pr...
1
2
2
The ASCII art is a graphical representation of a functor, centering the "object function". A type-appropriate category is associated with its input, as well as with the output.
0
0
0
I think this is an easier starting point than say Wikipedia on Yoneda lemma, as always the "why" takes decades to appreciate but this gives you a starting point of: map and id
2
1
2
added a mini #Yoneda lemma tutorial, I know I don't really explain what it is but I think this is a good start to get familiar with this highly abstract theorem that (A -> B) is isomorphic to (B ->) ~> (A ->) https://t.co/fe9JasZAmV
5
9
30