Viewing profile — 21eleven

I suspect this is what a node in an AI swarm looks like looks like https://www.reddit.com/u/Low-Ocelot-992/s/95ORJu8j9U

Outside of buying a system76 laptop, is there a way to fund/donate to the Cosmic DE project?

I switched to Firefox as the default mobile browser on my android phone and the experience is excellent. I have not missed Chrome one bit.

Shout out to Firefox Mobile. I have it as the default browser on my android phone and the experience is great. I don't miss chrome at all. Once you get used to the minor UI differe…

I have the same experience, except I buy 4mg gum tablets and I chew 1/4 - 1/3 of a tab at time. 2mg and 4mg tabs are priced similarly.

> And yet, the lure of the perfect system is ever present What evidence do you have that anyone has discovered this? My impression is that highly productive people have will and fo…

He's giving a talk, it's for the lulz If you are giving a talk on a theorem proving programing language you're gonna want to make it fun

Based on my experience opening a clone of the nixpkgs repo the other day... I don't think so :)

This is true. However I was calling out, wrt fish, the only two additional "plugin" type things I add in order to have a comfortable shell environment. Fish conveniently provides h…

What I like about fish is that it provides a lot of nice-to-have ergonomic features from the get go without having to install plugins. I add starship.rs to it and fzf integration b…

I am not sure if this is accurate. I think money "throughput" matters more than absolute money supply.

I like the detail from the top comment of replying w a 429 after a many second delay. That would mitigate any retry storm.

"What do you know about proofs engineer?" "Uuuh nothing, only that they are an impending thing in software :sweat-smile:"

There are many food and taste related things that, if you stick with it for two or three days, end up tasting palatable. Though I agree, aspartame, sucrose and stevia taste gross.

I have done the JKLI to arrows thing too (well HJKL for me), huge quality of life improvement.

We have been doing finance for centuries and governance for millennial. The internet has been around for a few decades. If Crypto is going to have meaningful impact on either of th…

Once upon a time if you wanted to study you went to the library. All the smart people were hanging out around libraries and Universities started to appear. Universities had classes…

> The hardest challenge in my view is solving the intermediate representation issue. Right, you'd basically be writing an interpreter for English

I worked at an American company (smallish ad tech) that was fully remote and the CTO was a citizen of a LATAM country while CEO and most engineers (but not all) were USA based. Wor…

Discovery could be done via "retweet"/repost functionality. Perhaps there could be some feed of most reposted over the last day. Just spit ballin

I think the Barnes and Noble turn around story is interesting and deserves our attention. What annoys me is placing this against the backdrop of the pullback in share price seen by…

It's ironic that crypto exchanges need to use accounting firms for audits when the whole point of a blockchain is to account for things.

I disagree. We live in the most materially abundant country in the most materially abundant time. It is not a material problem. It is cultural. Society is feeling like a less good …

I have my home directory as a git repo: works great, simple, no symlinking

You are an inspiration, I too want to be become a "gentleman scientist". Also thanks for the mention of hasktorch, did not know of this interesting project.