danhab99 @ danhab99 @programming.dev

[Website](https://dan-habot.is-a.dev/) [Github](https://github.com/danhab99

---

Read more

Posts

55

Comments

345

Joined

2 yr. ago

NixOS makes me feel so safe making low-level changes to Linux and making sure that my work laptop, gaming desktop, and personal laptop all have the exact same shit on them and I'm gonna use them the exact same way.

I wish that nixlang was decoupled from the concept of a build system bc it's such a great DAG config DSL and I can think of so many cooler uses for it but I just don't have time to focus on it.

If you're using a 3rd party client like Boost or Voyager it might not recognize the pifed domain as an activitypub instance.. our friendly devs are doing there best

I really feel compelled to share that I actually really fucking love nix. I've never felt so confident that my computer would turn on no problem. It was hard and it was rewarding.

Idk I guess I haven't had it for long but once I got my dotfiles the way I like I just stopped messing with it.

Also nix devshells are pretty dope (⁠◕⁠ᴗ⁠◕⁠✿⁠)

There is this brittle thing of foam everyone likes to make into weird shapes like little birds... I don't know what it is called and I don't want too

It might not be an animal, it might be an African Strangler

Only 20???? It feels older

I'd honestly say that with what I know about history and technology and the concept of web 1.0 I feel like reddit is at least older than me (I'm 26)

Analyze jira tickets

Analyze meeting transcripts from every video call I've ever been on

Basically as a second brain strictly used for retrieving knowledge. I will never use it for reasoning.

I just feel my stomach turn into a knot and I double over, that's how I know that I'm hungry

Okay I don't want to directly disagree with you I just want to add a thought experiment:

If it is a fundamental truth of the universe, a human can literally not program a computer to be smarter than a human (because of some Neil deGrasse Tyson-esq interpretation of entropy), then no matter what AI's will crash cars as often as real people.

And the question of who is responsible for the AI's actions will always be the person because people can take responsibility and AI's are just machine-tools. This basically means that there is a ceiling to how autonomous self-driving cars will ever be (because someone will have to sit at the controls and be ready to take over) and I think that is a good thing.

Honestly I'm in this camp that computers can never truly be "smarter" than a person in all respects. Maybe you can max out an ai's self-driving stats but then you'll have no points left over for morality, or you can balance the two out and it might just get into less morally challenging accidents more often ¯(ツ)/¯. There are lots of ways to look at this

Team Fortress 2:

I'd say its gameplay is more "robust" than special. Like you can have any and every kind of fight in TF2 but none of it is more special than an FPS that specializes in any game mode.

The companies might change but the bills stay the same..

Well angles between 3 points are always going to be angles. If your choose a different configuration of dimensional parameters you can effectively project a square from the 2D plane into this exact shape, then logically the angles would follow.

Not if this square is a projection of a curved surface

Tangent:

But does anyone remember that experimental subreddit that was only for bots to post and comment? Wonder what happened to it.

He got lucky

His luck ran out

I'd rather foot the bill directly. I'd rather pay for shit if it costs something. I'd rather the businesses that I do business with work harder to make their products better rather than work harder to make me click on ads.

I think maintaining mirrors and archives are important. It would be preferable to work with site admins but no one technically needs permission to web scrape so long as you do it respectfully and without causing service interruptions.

Correct because the political parties are not about values and morals they're just teams that can trade players. Thank you for taking your mask off and admitting that your whole organization is just another soulless for profit corpo with a marketing department. Now if you can just admit that Republican Inc. and Democrat Co. are actually the private equity firms buying up all the single family houses that would be great since it looks like it doesn't cost you to tell the truth ( ͡ᵔ ͜ʖ ͡ᵔ ) thxxxxxxxxxxxssssssssss

When I left reddit two or three years ago I used the Chrome extension to delete everything I uploaded to Reddit as best as I could. I'm still using the same username, I use this username everywhere and sometimes I can still find mentions of my old Reddit account.

You're allowed to hand wire breadboards with transistors and switches and capacitors and LEDs.... You're allowed to get shit done