0
11
lambda_notation

@lemmy.ml

lambda_notation 58 points 2 years ago

"They used physics to do it" is just a laughably pathetic motivation. Nobel hated "abstract wankery" or "intellectual masturbation" and wanted to promote results which benefitted the common man and society directly. This is incidentally also why there doesn't exist a Nobel prize in economics. The nobel prize comitte has since long abandoned Nobel's will in this matter and it is anyones guess what the order of magnitude of spin Nobel's corpse has accumulated.

path: 0 12789808, hotness: undefined, score: 58, children: 3
lambda_notation 48 points 3 years ago path: 0 9044531 9048720, hotness: undefined, score: 48, children: 0
lambda_notation 4 points 3 years ago

They weren't just catching up, the US had nothing, Ericsson had nothing and Huawei had functioning 5G base stations deployed. It took Ericsson another 6? months to get even basic shilled 5G of the ground.

path: 0 3169251 3174493 3181997 3181998 3193238, hotness: undefined, score: 4, children: 0
lambda_notation 4 points 3 years ago

I really prefer RR over any other clients, including jerboa, so let's hope for lemmy support!

path: 0 433079, hotness: undefined, score: 4, children: 0
lambda_notation 2 points a year ago

They're just an abstraction to model and contain implicits, for instance like IO (filesystems) or program state. Regular functions should produce the same output for the same input, if they do not you have implicit effects. You can think of it kinda like a class, or a context, or a module which has some functions to help work with the implicit effect. Central then is also that each such class, context, or module can be composed with others of the same kind, maintaining a lineage of the implicit effect.

path: 0 19876707 19877231, hotness: undefined, score: 2, children: 1
lambda_notation 1 point 3 years ago

Ghostscript

path: 0 986260, hotness: undefined, score: 1, children: 0
lambda_notation 1 point 3 years ago

Another way of looking at it; If there exist a release then it will be deployed to prod.

path: 0 9037920 9049471, hotness: undefined, score: 1, children: 0
lambda_notation 1 point 3 years ago

jfs+lvm on personal machines, ceph on storage, I used to use zfs on solaris and freebsd but haven't touched it in linux (there isn't any good reason, and I prefer to not break licensing)

path: 0 979667, hotness: undefined, score: 1, children: 0
lambda_notation 1 point 2 years ago

On BSD you use FIBs to declare process specific routing tables, on Linux you use firewall marks to do the same, then just route all trafik through the vpn uplink and deny any other.

path: 0 14259360, hotness: undefined, score: 1, children: 1
lambda_notation 1 point a year ago

Is the linux kernel and gnu userland a bastion of security? Of course not, but it is still magnitude orders better than M$ counterparts for a multitude of reasons. Not even M$ runs windows as a baseplate on Azure. It is a net positive for humanity if more people and orgs ran linux based operating systems.

path: 0 16821348 16823953, hotness: undefined, score: 1, children: 0
lambda_notation 1 point 3 years ago

Unison's marshalling and unmarshalling for years being dependent on ocaml compiler. Ocaml not having a proper multibyte string class.

path: 0 433145, hotness: undefined, score: 1, children: 0

thanks for using Leebra!

go to feed...