I just entered university for math and even though this is all very demotivating, it’s just what I’m good at.

https://math.andrej.com/2013/08/19/how-to-review-formalized-mathematics/

The AI people’s cry of "no don’t look at the code! it’s in lean so it’s correct! does give me a bit of hope (hi bitofhope if you’re here) that it’s bullshit that will fall over

Smart Pipe Inc. is a Registered Sex Offender

There cannot be such a thing since pdf does not structure its data. There is an extension to the standard that would let a program do it for you but nobody uses it (PDF/UA-1). (also pandoc is vibe coded now)

OMG I just installed it! Great to see.

I believe it’s the “don’t stuff beans up your nose” effect, writing this prompt is causing it to mention goblins

Bravo. The farthest i could get is 2/3 assuming the following model: x₁ is a random number between 0 and 1, x₂ between x₁ and 1, and so on. If the service breaks at x₁, gets fixed at x₂, breaks again at x₃, etc. availability is 2/3.

Luna is a very common transfem name

I also had a computer not boot. Tried installing windows 11 but the iso does not include network card drivers and requires a second drive that has them. I just happened to have another but it malfunctioned. Was assured IT would fix it but it still doesn’t boot. :(

This github bot arguing with itself for over 5000 comments over an issue label

https://github.com/google-gemini/gemini-cli/issues/16723

I tried using Fluidsynth only to find that drums don’t work. I looked around on github and found that they are toying with copilot to fix a related issue and that vibe code has already been merged 🙃

Linus: All those years of screaming at developers for subpar code quality and yet doesn’t use that energy for literal slop

lord, this is so cursed, especially the gambling (though you could say all vibe coding is gambling, ha)

Lol at the sealion in that thread

I’m running Hyprland on my Framework 13 (not doing omarchy cause I’m a NixOS fan,

of course

Thanks, i don’t speak english natively

the legal system is presently committed to treating similar numbers radically differently. No one can tell, simply by looking at a number that is 100 million digits long, whether that number is subject to patent, copyright, or trade secret protection, or indeed whether it is “owned” by anyone at all

If you look at data in the way that best obscures what it actually means, of course it can’t be told apart from other data. Binary is simply a way to encode information that most often has an analogue equivalent. You can of course question the copyright of all works, but looking at them in a hex editor is almost a distraction.

Certainly, all around the world, legal systems have assumed that bits are a medium. But perhaps bits have no color. Perhaps homomorphic encryption implies that color is unmeasurable.

This is getting pretty close to technolibertarianism. Corbin, I like your posts but i can’t get behind this

I’ve never heard of a function being called entire out of complex analysis. But still, it is zero at i.

One of my favourite musicians, Patricia Taxxon is quite vocal on being against intellectual property, but also that AI people should just be able to scrape everything and put it in their machine. It makes me sad.

Nice, the shift phone is pretty well supported on postmarketos and their choice of firmware looks consumer friendly

Just here to note that @dgerard had a clippy pfp before it was cool

Samsung developer sends AI slop to linux mailing list