Recent submissions

Comment · 1 year ago
Comment · 2 years ago
Outside of buying a system76 laptop, is there a way to fund/donate to the Cosmic DE project?
Comment · 2 years ago
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.
Comment · 2 years ago
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 differences you won't even notice you are not on chrome.
Comment · 3 years ago
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.
Comment · 3 years ago
> 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 focus, not a perfect project management system.

Comment · 3 years ago
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

Comment · 3 years ago
Based on my experience opening a clone of the nixpkgs repo the other day... I don't think so :)
Comment · 3 years ago
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 history based autocomplete so I don't need to setup some plugin for that.

Comment · 3 years ago
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 but that's it.

Comment · 3 years ago
I am not sure if this is accurate.

I think money "throughput" matters more than absolute money supply.

Comment · 3 years ago
I like the detail from the top comment of replying w a 429 after a many second delay. That would mitigate any retry storm.
Comment · 3 years ago
"What do you know about proofs engineer?"

"Uuuh nothing, only that they are an impending thing in software :sweat-smile:"

Comment · 3 years ago
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.

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

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton