chreke
@therealchreke
Freelancer. Web and distributed systems developer. Club Mate enthusiast. Posts only the finest programming memes.
There’s a lot of talk about algebraic effect systems lately, but—to be honest—I don’t really mind monadic effect systems either. Sure, the ergonomics are not as good, but as long as you have “do notation” and a decent effect system you can get acceptable DX.
Quint now has it's own blog! We'll be posting some more technical stuff like this, so stay tuned 😎
Solana’s new Alpenglow consensus now has a Quint spec. Instead of explaining the protocol, we’re giving you the tools to understand it yourself. The blog post gets you started with the interactive tooling, and challenges you to build scenarios where Byzantine nodes cause…
here's something i picked up along the way that i often think about:
Delighted that "The Calculated Typer" with @zacgarby and @pa_ba has been accepted for the Haskell Symposium in Singapore :-) people.cs.nott.ac.uk/pszgmh/typer.p…
Compiler performance is an underrated metric that completely changes the feel of a language. <2 seconds is the critical threshold that interrupts flow state. Encouraging small, generic functions everywhere (*cough* Rust, Swift) really slows the compiler down.
Be forgiving with your past self. What's done is done. Take the lessons with you and release the guilt. Be strict with your present self. Win the moment in front of you right now. Be flexible with your future self. There are many paths to success. You don't need life to be a…
Func Prog Podcast Episode 7 – @etorreborre Spotify: open.spotify.com/episode/00J5Uz… Apple Podcast: podcasts.apple.com/se/podcast/7-e… YouTube: youtube.com/watch?v=bAZQ_H… #functionalprogramming #funcprogpodcast @therealchreke
Are you into esoteric shit? Do you see The Patterns? + Are you hypothetically motivated enough to learn higher level mathematics to join a study group of others? Thinking about leading a study group to take a cohort of us from HS Algebra to Category Theory reply if curious
Are you into esoteric shit? Do you see The Patterns? + Are you hypothetically motivated enough to learn higher level mathematics to join a study group of others? Thinking about leading a study group to take a cohort of us from HS Algebra to Category Theory reply if curious
There are hundreds if not thousands of wandering category theorists in this world. Whether they are buried by imposter syndrome, existential dread, or debt. They may be at some company, in their mothers basement, or in the mountains. CT is calling you, please DM me
For a solid 2/5 movie, people seem to have had incredible experiences watching it, as per the comments
for my birthday a couple years ago i thought it would be funny to rent out a theater and watch the Mario movie with friends. but it just bummed us all out. one friend told me his girlfriend broke up with him the next day and cited the party as a reason.
she said she didn’t know much about nietzsche but got it for him bc he loves to read thinking it would be harmless and when she confronted him he said she had “the slave morality of the weak and resentful”