fasterik

13 ms·

211.
by fasterik 7mo ago
>The litmus test will be when, if ever, someone wins a Fields using a proof-assistant in an essential way. You're assuming that the point of interactive theorem provers is to discover new mathematics. While that's an interest
212.
by fasterik 7mo ago
GP's point was broader than that, it was about technological progress and the possibility of terrorist groups or mentally ill individuals getting their hands on weapons that can easily kill millions of people. That's also what the
213.
by fasterik 7mo ago
Relevant philosophy paper: "The Vulnerable World Hypothesis" by Nick Bostrom [0]. In that paper, Bostrom floats the idea that it might be in humanity's best interest to have a strong global government with mass surveillance t
214.
by fasterik 7mo ago
It has been proven that recurrent neural networks are Turing complete [0]. So for every computable function, there is a neural network that computes it. That doesn't say anything about size or efficiency, but in principle this allows n
215.
by fasterik 7mo ago
Is there actually a use case for graphing calculators anymore? Desmos provides a great graphing program for free in a web browser. In any professional capacity you would be using MATLAB, Mathematica, or the scientific Python ecosystem. I mo
216.
by fasterik 7mo ago
https://en.wikipedia.org/wiki/DR_(broadcaster) >DR is a Danish public-service radio and television broadcasting company. Founded in 1925 as a public-service organization, it is Denmark's oldest and largest ele
217.
by fasterik 7mo ago
It's an outright lie because they haven't greenlit your personal project after two weeks? Did it occur to you that maybe they just got a lot of applications and are prioritizing other projects or still working through a backlog?
218.
by fasterik 7mo ago
Humans are complex. It's possible for someone to want to do good and at the same time want to promote/market their product and make a profit. I don't see a contradiction there.
219.
by fasterik 7mo ago
That's simply not true. The per capita emissions account for things that are produced outside of cities like food. The primary sources of emissions from individual human activities are food, energy production, and transportation. High
220.
by fasterik 7mo ago
This is a completely nostalgic, one-sided view of the urban vs. rural divide. It's also ignorant of the data on the impact of cities on nature. Cities have a lower carbon footprint per capita, lower land use per capita, people own fewe
221.
by fasterik 7mo ago
I tend to agree that teaching can clarify one's ideas, but I don't think the benefits are equal across the board. I think the argument for benefits to research are stronger when it comes to supervising graduate students and teachi
222.
by fasterik 7mo ago
Another datapoint: I'm a 20+ year off-and-on user of Linux who was never able to switch to desktop Linux for daily use because of the graphics issues. After recently deciding to abandon Windows for good and suffer whatever problems I w
223.
by fasterik 7mo ago
"Often good researchers are bad teachers, and good teachers are bad researchers" is a statement about humans, not a specific country, as far as I can tell. Sure, I happened to use the word "tenure" which is generally use
224.
by fasterik 7mo ago
Teaching and research should be decoupled. Professors are hired and granted tenure primarily based on their ability to produce original research. The skillsets are different; often good researchers are bad teachers, and good teachers are ba
225.
by fasterik 7mo ago
tinyrenderer looks impressive! The tutorials look good too. I might have to borrow some ideas from them. No idea when I'll get around to making the videos, but if you want to follow my channel it's at https://www.youtub
226.
by fasterik 7mo ago
I wanted to learn more about computer graphics, so I'm writing a 3D software renderer in C. So far I have a solid implementation of triangle rasterization, perspective projection, depth buffer, clipping, texture mapping, diffuse lighti
227.
by fasterik 7mo ago
80% of China's manufacturing output is consumed domestically. Of the goods exported from China, only about 15% go to the United States. While that still represents a lot of exports in absolute terms, it's simply false to say that
228.
by fasterik 7mo ago
It's not primarily a lifestyle issue, and the problem is no longer primarily developed countries. Per-capita carbon emissions in developed countries have decreased 30% in the past 20 years, and energy demand has remained relatively con
229.
by fasterik 7mo ago
What do you mean they have to comply? If something was already in a contract they agreed to, sure. But there is nothing legally forcing private companies to do business with the DoD, short of the government forcibly nationalizing them.
230.
by fasterik 8mo ago
You shouldn't conflate a pop science magazine with all of modern journalism. Try a high quality outlet like The Economist. "I try not to read any news articles" screams anti-intellectualism.
231.
by fasterik 9mo ago
I get by without modules or header files in my C++ projects by using the following guidelines: - Single translation unit (main.cpp) - Include all other cpp files in main - Include files in dependency order (no forward declarations) - No cir
232.
by fasterik 9mo ago
Reid Hoffman seems to be one of the few SV founders with a spine. The rest are content to do business with authoritarian regimes as long as profits keep flowing. Why is this article flagged? It's directly relevant to the readers of HN.
233.
by fasterik 9mo ago
Skepticism needs to be calibrated based on the weight of the evidence. There's a broad spectrum from being skeptical about the latest overhyped study in subfield X to being skeptical about quantum mechanics. If you want to challenge es
234.
by fasterik 9mo ago
This is a nuanced point that anti-science people often get wrong. The existence of fraudulent studies, dishonest researchers, the replication crisis, etc. does not invalidate science as an institution. It just means we need to be careful ab
235.
by fasterik 9mo ago
Why Mint over Ubuntu? I like the Ubuntu experience out of the box. It seems to handle high-DPI and per-display UI scaling well, due to Wayland. From what I've read, Mint still uses X11.
236.
by fasterik 9mo ago
It's not even about quality. I consider films like There Will Be Blood or TV shows like Deadwood to be comparable in quality to the greatest works of world literature. I've also gotten a lot of joy and entertainment out of reading
237.
by fasterik 9mo ago
The mistake is thinking of entertainment as a fungible resource. Film is its own art form. The novel is its own art form. They serve completely different purposes and each gives the audience a unique experience that can't be replicated
238.
by fasterik 9mo ago
As always: use standard libraries first, profile, then write your own if the data indicate that it's necessary. To your point, the standard library probably already uses the OS primitives under the hood, which themselves do a short use
239.
by fasterik 9mo ago
With Windows 10 EOL, I had to decide whether to upgrade my laptop to Windows 11 or Linux. I've been a Windows user for decades, but with all the user-hostile bullshit coming out of Microsoft and the degradation of performance on Window
240.
by fasterik 9mo ago
Not all casino games are played against the house. The best analogy would be a game like poker, where the house takes a small percent of every pot (the rake). Other than that, money changes hands between players. The game has an element of

More ›