The flipside to that quote is that computer programs are useful tools for mathematicians. See the mersenne prime search, OEIS and its search engine, The L-function database, as well as the various python scripts and agda, rocq, lean proofs written to solve specific problems within papers. However, not everything is perfect: throwing more compute at the problem is a bad solution in general; the stereotypical python script hacked together to serve only a purpose has one-letter variable names and redundant expressions, making it hard to review. Throw in the vibe coding over it all, and that’s pretty much the extent of what I mean.

I apologize if anything is confusing, I’m not great at communication. I also have yet to apply to a mathematics uni, so maybe this is all manageable in practice.

The developer of an LLM image description service for the fediverse has (temporarily?) turned it off due to concerns from a blind person.

Link to the thread in question

Good for them

Yes, they are trying to automate releases.

sidenote: I don’t like how taking an approach of mediocre software engineering to mathematics is becoming more popular. Update your dependency (whose code you never read) to v0.4.5 for bug fixes! Why was it incorrect in the first place? Anyway, this blog post sets some good rules for reviewing computer proofs. The second-to-last comment tries to argue npm-ification is good actually. I can’t tell if satire

Vibe coding would go just great in a theorem prover

clanker’s dozen

Does this mean calibre’s use case is a digital equivalent of a shelf of books you never read?

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

A very big problem with this study is that participants that don’t delegate are not asked to do anything regarding cheating, while the ones that do are presented with various choices that influence them. “choosing a setting on a dial that ranged from ‘maximize accuracy’ to ‘maximize profit’”. In this way, it doesn’t “control” for anything.

One of the authors is from the Center for Adaptive Rationality, obviously making a reference to the lesswrong CFAR.

I know I’m commenting on an old post but i just saw an AI modified version of this image. Didn’t even realize at first, but text was cut off, punctuation was bad and the biggest tell was the slot machine picture. Why would someone do that?

I remember being disappointed how much latency there was when streaming with ffmpeg to my phone with some codecs. This sounds great!