theherk

joined 3 years ago
[–] theherk@lemmy.world 41 points 2 days ago (2 children)

I’m not sure that would have been better. Putting the whole tour at risk like this will prompt massive backlash from people that paid to see a show. Often tickets protect promoters from cancellations but in this case it may be unclear since it is the fault of the pressure from the top.

In either case, both this and that sure beat just playing the shows and letting Macklemore stand alone.

[–] theherk@lemmy.world 3 points 2 days ago

That was fun. Gives a bit more meaning to OOT’s Cuccos.

[–] theherk@lemmy.world 20 points 2 days ago (9 children)

Probably meant Zambia.

[–] theherk@lemmy.world 2 points 2 days ago

We don't, but even if we did it would be for the other interviewers I suppose.

[–] theherk@lemmy.world 8 points 3 days ago

Unfortunately no. Did a few months back but not at the moment. Times are tough out there. It was a very good candidate pool which is candidly not a good sign.

[–] theherk@lemmy.world 47 points 3 days ago (7 children)

Been hiring for many years. I’ve never made a decision based upon of even cared a tiny bit about the results of a programming assignment. I prefer to simply talk through how they think about problems. I’d rather hire a person that knows nothing of algorithms or time complexity that can reason and learn than somebody that can write a pangram verification or heap sort in minutes but generally sucks at communication or reasoning.

[–] theherk@lemmy.world -4 points 4 days ago

It can’t. But I was replying to

A solution or proof that nobody understands has no value.

That implies a different meaning, at least in that person’s context, between proof and human understanding, with which I agree.

An unverified proof is not a proof; it is just conjecture. But there can be a rigorous, fully verified proof that we don’t fully have that intuition to understand. Those can be created by humans even, leaving AI completely out of the picture.

All I’m saying is a rigorous proof, even if not fully understood can be useful to finding and understanding other maths.

[–] theherk@lemmy.world 0 points 4 days ago

Oh, if your metric is that understanding and rigorous verification are the same then I agree, but then there is no proof at all without human understanding, so what are we talking about?

[–] theherk@lemmy.world 6 points 1 week ago (1 children)

There have long been organizations which restrict extra operating systems or even vim, dumb as that is. Hasn’t changed. Some companies are strict about ai tools now too. Some have tight security about LLM gateways; others don’t. Some send date to big corpos; some don’t.

[–] theherk@lemmy.world 1 points 1 week ago

And I agree completely. But I think many assign the blame primarily to a weak opposition, which while true gives a tacit pass to the real evil driving the ship aground.

 

This is superb. Really well done satire.

I hope this isn’t considered political. I figure it is good for this audience.

 

cross-posted from: https://lemmy.world/post/43801404

Following in the footsteps of Hashicorp, Hudson, etc. Zed has chosen to cash in the good will of its now substantial user base and start going to full corporate enshittification. Among other things like minimum age nonsense, they have also added binding mandatory opt-OUT arbitration.

I find such agreements very troubling, because it gives up public funded dispute resolution for private which nearly unanimously benefits larger entities, it lowers transparency to near zero, and eliminates the abilities to act as a class and to appeal. But I worry most will just accept it, as is the norm.

You can however opt out by emailing arbitration-opt-out@zed.dev with full legal name, the email address associated with your account, and a statement that you want to opt out.

I'll just consider my days of advocating for Zed as an interesting new editor over and go back to Neovim bliss.

 

cross-posted from: https://lemmy.world/post/43801404

Following in the footsteps of Hashicorp, Hudson, etc. Zed has chosen to cash in the good will of its now substantial user base and start going to full corporate enshittification. Among other things like minimum age nonsense, they have also added binding mandatory opt-OUT arbitration.

I find such agreements very troubling, because it gives up public funded dispute resolution for private which nearly unanimously benefits larger entities, it lowers transparency to near zero, and eliminates the abilities to act as a class and to appeal. But I worry most will just accept it, as is the norm.

You can however opt out by emailing arbitration-opt-out@zed.dev with full legal name, the email address associated with your account, and a statement that you want to opt out.

I'll just consider my days of advocating for Zed as an interesting new editor over and go back to Neovim bliss.

 

Following in the footsteps of Hashicorp, Hudson, etc. Zed has chosen to cash in the good will of its now substantial user base and start going to full corporate enshittification. Among other things like minimum age nonsense, they have also added binding mandatory opt-OUT arbitration.

I find such agreements very troubling, because it gives up public funded dispute resolution for private which nearly unanimously benefits larger entities, it lowers transparency to near zero, and eliminates the abilities to act as a class and to appeal. But I worry most will just accept it, as is the norm.

You can however opt out by emailing arbitration-opt-out@zed.dev with full legal name, the email address associated with your account, and a statement that you want to opt out.

I'll just consider my days of advocating for Zed as an interesting new editor over and go back to Neovim bliss.

 

Thanksgiving is my favorite holiday, because it celebrates the harvest and can be treated as a day for gratitude. My family also calls it T. Hanks Giving and celebrates by eating pie and watching Tom Hanks movies.

I’m thankful for many things, this year my puppy. He has been great for my family and my mental health personally. For what are you thankful?

 

🙈

 

Interesting new logic analysis channel on the scene and it seems very well done.

 

I find the hard puzzles take a long time too.

Said of Mozilla’s recent change to terms and privacy.

 

I like smooth scroll. I love Neovim. So I use Neovide. But I really wanted a nice way to manage instances per git repository / project, including server / remote socket management and allowing files to be opened into the correct instance. It detects running instances and opens into or switches to them accordingly.

This is also integrated into Finder and open via a swift wrapper. So one can, for example, use raycast to quick switch projects.

Check it out if that sounds interesting. There is also a longer video guide on the Usage wiki.

 

This has gotten some attention, especially about a week ago, but I really hope more people will continue to try it and, if interested, support it. It is Firefox, but heavily modified to please a different audience that prefers a slightly different UI than Firefox. It has some of the appeal of Arc, Vivaldi, and the Sidebery extension.

In my view, it is very promising, and all competition in this space is good. Here it is on Github, also.

view more: next ›