Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
This profile is from a federated server and may be incomplete. Browse more on the original instance.
If you could split yourself into a copy of yourself, how many copies would you make to satisfy all your wishes?
You can regularly sync your memories with your copies (either one way or both ways)
Ghost in a car shell: Engineers make self-driving vehicles 'hallucinate' at will — MadRadar is worrying proof-of-concept that should get automotive companies on alert (www.techradar.com)
What would you do if Capitalism didn't curb your potential and force you to sell most of your time?
I often daydream about how society would be if we were not forced by society to pigeon hole ourselves into a specialized career for maximizing the profits of capitalists, and sell most of our time for it....
Laziness in Haskell — Part 2: Why not Strict Haskell? (youtu.be)
Answering the question raised at the end of Part 1, we take a look at how a hypothetical Strict Haskell would tie the compilers hands despite pervasive purity. We also examine how laziness permits optimizations that come with no intrinsic cost and compare its benefits to a strict language with opt-in laziness....
Hackathon Workshop - Intro to building on Cardano and Smart Contracts with Aiken [1:32:24] (youtu.be)
cross-posted from: programming.dev/post/1824169...
Why Haskell Is Next (19:19) (youtu.be)
We teach you Haskell
Is software getting worse? (blog.ploeh.dk)
deleted_by_author
Recreating Government Security Standards at Home (Hardened iPhone) [8:58] (youtu.be)
and here’s how that channel recommends hardening an android phone: youtu.be/mlW6I5Kuj6c
Is there anything actually useful or novel about "AI"?
Feel like we’ve got a lot of tech savvy people here seems like a good place to ask. Basically as a dumb guy that reads the news it seems like everyone that lost their mind (and savings) on crypto just pivoted to AI. In addition to that you’ve got all these people invested in AI companies running around with flashlights under...
How do you manage your dotfiles?
I’m wondering if there is a new tool out there that I’m missing out on.
Domain-Driven Design: Tackling Complexity in the Heart of Software by Eric Evans (programming.dev)
cross-posted from: programming.dev/post/719255...
Anybody have a solution for dotfiles outside /home
on gentoo for example I have accrued a few files under /etc/portage that to my knowledge just have to live there…...
category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work by John Wiegley (github.com)
This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.
Formal Methods
- url: /c/formal_methods...
Everybody is pointing at things that Lemmy is worse than Reddit. What in Lemmy is BETTER than Reddit?
Ignore ‘smaller userbase’ if you prefer it that way. We’re talking about it as a platform, in its UI, functionalities, etc....
Anyone know any good lemmy client ?
Anybody know a good lemmy client (app) i can use on my phone. I tried lemmur didn’t go well. I was hoping you guys might know a good app
Free Software Needs Free Tools :: Benjamin Mako Hill (mako.cc)