Viewing profile — davidgrenier

I think he's talking about company enshittification because of marke pressure, and not direct fraud though I haven't read the book.

Yeah I guess two companies who would otherwise be considered going for bankruptcy have models too expensive to run. As they don't see themselves making money any time soon, they ha…

I wonder how gracefully redgrep handles this. This tool hasn't been talked about since the year of its release. If I recall correctly, it doesn't handle some obstruse regexes the w…

There's only one "other side" in this, it's the American people.

v4l2-ctl on linux allows me to change such settings on a global level, maybe that might work if a version can be found on his OS.

I think the author is generous in granting that Caro-Cult programming works.

I haven't looked at Hardy's but the presentation in Spivak is also Dedekind cuts. Perhaps Hardy uses a different approach and OP misnamed it? Rudin's chapter 1 annex also use Dedek…

Where we define the real numbers as the least upper bounds of special sets. There is a bijection between these sets and the set of real numbers which we commonly think of and that …

Your very last example kinda supports the thesis up there, considering how it's been going.

Correct me if I'm wrong but (log n)^O(n) sounds like atrocious complexity?

LP or ILP? There is a significant difference since for non-discrete problem Linear Programming is shockingly efficient and in no way can be considered a brute force technique. edit…

I was speculating two oscillators with periods p and q could be composed (as long as there was no way for them to interact) to create an oscillator of period p*q/gcd(p,q) but wonde…

I think his argument was restricted to a human-produced mathematical result being ported to a Lean program where one would be just as likely to commit a mistake. However I disagree…

Good teacher, his Number Theory book felt really good though I have no comparable in Number Theory. I must say Number Theory and Combinatorics are the most difficult topics I got a…

Bouty makes excellent chair. Looking at their website I'm thinking Arista/Kadera/Fira. The model of chair I have doesn't seem front page but it is the Sity 9002. The piston gave af…

It isn't though: https://github.com/mrLSD/riscv-fs/blob/fa039b123ded9fa0c05d0...

I think this qualifies? https://en.wikipedia.org/wiki/MMIX#Simulators_and_assembler

My understanding of this is that it is an emulator that is meant to be very clear to read.

Someone mentionned in the Mastodon thread that they have an Android phone with nothing-from-google on it. I speculate his installation is even more responsive than whatever default…

Note that lightweight threads (even in CSP style concurrency model) can be even lighter and faster. F#'s Hopac library seems to meet such expectations with this simple program: #r …

But isn't what makes numpy efficient written in C?

Will double check both systems I have access to, thanks.

I ask because every family member's system I sat next to has been, by my standards, unusably slow. At least 3 minutes boot time, then 1 minute spinning and another for icons to sho…

This looks brutal, for a lot of people John Reppy's book Concurrent Programming in ML (as in SML not Machine Learning) is going to be much more accessible. Pick the CSP-style libra…

Pro-tip, F# has an extremely efficient CSP-style concurrency library called Hopac.