Mathnerd314

5 ms·

31.
by Mathnerd314 8mo ago
Logic minimization is kind of boring? I had to solve a problem once and the answer was still to use the espresso software from the 1980s. It is a pretty specialized problem and honestly I don't see how you would improve on it, besides
32.
by Mathnerd314 9mo ago
I'm wondering if a firewall is a solution here. Don't mess around with the stupid device settings. Just block the Xbox store, and then presumably Minecraft uses different server IPs, so you can let those through.
33.
by Mathnerd314 9mo ago
Research from the University of Amsterdam’s IViR “Global Online Piracy Study” (survey of nearly 35,000 respondents across 13 countries) found that for each content type and country, 95% or more of pirates also consume content legally, and t
34.
by Mathnerd314 9mo ago
Takedown letter: https://github.com/github/dmca/blob/master/2025/12/2025-12-1...
35.
by Mathnerd314 9mo ago
For me, the entire inbox is this DBTC folder. I have notifications set up on my smartwatch and I triage each email in real-time as it comes in. If it's urgent, I act on it. If it is important or I want to follow up, then I add it to my
36.
by Mathnerd314 9mo ago
Well, so what the actual ruling was was that use of the books was okay, but only if they were legally obtained. And so the authors could proceed with a lawsuit for illegally downloading the books. But then presumably compensation for torren
37.
by Mathnerd314 9mo ago
So, the takeaway I get from this paper is that if you have a language model and you set it up so it has an input and it generates an output that is towards some goal (e.g., "make this sentence sound smarter"), then it should conve
38.
by Mathnerd314 9mo ago
It seems an absurd amount of people misuse the term dopamine, I found this video https://youtu.be/x6_Ukic1tRM?t=1297 (in Polish, but there are subtitles and dubs). If you want to continue to spread "manipulative disinf
39.
by Mathnerd314 9mo ago
Maybe one way to think about the efficiency of markets is that an efficient market is honest. So then the analysis here is essentially saying that the markets are getting more inefficient and corrupt, or at least not getting better. And thi
40.
by Mathnerd314 9mo ago
how does this interact with Google's push to sign all apps?
41.
by Mathnerd314 9mo ago
There's a clear line, and it is when it starts to involve other people. Example: reverse engineering the firmware on your thermostat so you can use it after Google shuts down - technical problem. Not releasing it because you're wo
42.
by Mathnerd314 9mo ago
But in contrast, web communities run on moderation, i.e. a sort of intolerance of bad content. The lesson is that technical issues and social issues really don't mix. You can't conclude anything from one versus the other. Case in
43.
by Mathnerd314 10mo ago
This library has already been scanned and used for training AI. It is too late for a license change to have any effect. New projects, maybe.
44.
by Mathnerd314 10mo ago
Yeah, so what that paper shows is that 6-7 cognitive tasks show low involvement with the language areas. What it doesn't show is that all cognitive tasks are independent of the language areas. As the paper itself admits, some forms of
45.
by Mathnerd314 10mo ago
You can't generalize like that. Aphasia is a symptom - of course by definition it is merely the inability to use language. But people with stroke will typically show a lot of impairment, not only aphasia - they will have difficulties r
46.
by Mathnerd314 10mo ago
Typically people develop aphasia after a stroke. This provides a natural before/after comparison. When for example Mark Brodie had a stroke, he wasn't able to speak - and he also wasn't able to read or write computer programs
47.
by Mathnerd314 10mo ago
Tell it to the papers: https://www.cs.drexel.edu/~csg63/publications/onward24/onwar... https://arxiv.org/pdf/1808.03916 As vague analogies go, much more ridiculous and vague things have
48.
by Mathnerd314 10mo ago
To summarize the Wikipedia article on linguistic relativity, the "strong" hypothesis that language determines thought has been debunked. But there are many things that a language influences. To use a computer analogy, all mainst
49.
by Mathnerd314 11mo ago
There was a whole experiment with this "Tab Candy" thing a few years ago. And it failed and Mozilla disabled it and it got silently removed, well, almost, because a fair amount of people complained. I wouldn't be surprised if
50.
by Mathnerd314 11mo ago
Sounds like a very restrictive tracker... but I guess the more restrictive, the more likely it has good stuff. Seems kind of strange though because most trackers I have seen just completely ban any sort of proxy or VPN.
51.
by Mathnerd314 1y ago
The Nixpkgs repo is a Git repository. I forked the repository and I merge in updates using the normal git workflow. I've tried flakes and stuff, but none of them are as convenient as directly modifying files.
52.
by Mathnerd314 1y ago
It seems to be a combination of a lot of corporations using NixOS and a lot of community members using it as their personal distro. Nix is pretty flexible as a package manager but there are tensions that do crop up and you get arguments ove
53.
by Mathnerd314 1y ago
there is a book/course by that name, it's decent I would say https://www.amazon.com/Learning-How-Learn-Spending-Studying/... https://www.coursera.org/learn/learning-how-to-learn
54.
by Mathnerd314 1y ago
Linux has become the dominant operating system for a wide range of devices, even though other options like FreeRTOS or the BSD family seem more specialized. The widespread adoption of Linux suggests that a single, versatile operating system
55.
by Mathnerd314 1y ago
I thought that was the whole idea of spectrum auctions.
56.
by Mathnerd314 1y ago
All I can find on the Smithsonian is that they did press interviews, where various staff expressed opposition, and that they also sent some report to Congress. The press interviews are, quite naturally, public statements, and it could be ar
57.
by Mathnerd314 1y ago
So all articles will be open and free to read. The ACM Open subscription mainly includes publishing at a lower overall cost than the per-article rates, but also includes "AI-assisted search, bulk downloads, and citation management&quo
58.
by Mathnerd314 1y ago
Casey says he “didn’t really cover Alan Kay” https://youtu.be/wo84LFzx5nI?t=8651 To me that says that Kay wasn’t a major focus of his research. That seems to be reflected in the talk itself: I counted 6 Bjorne sources, 4 A
59.
by Mathnerd314 1y ago
So, this is pretty difficult to test in a real-world environment, but I did a little LLM experiment. Two prompts, (A) "Implement a consensus algorithm for 3 nodes with 1 failure allowed." vs. (B) "Write a provably optimal dis
60.
by Mathnerd314 1y ago
The dates are the dates of the sources, he says in the talk he wasn't going to try to infer the dates these ideas were invented. Also he barely talked about Alan Kay.

More ›