LudwigNagasena

4 ms·

1.
by LudwigNagasena 23d ago
It’s hard to meaningfully compare prices across countries due to differences in tax regimes.
2.
by LudwigNagasena 23d ago
Russia recently moved to its own SSL certificates due to sanctions. Now you cannot use a bank without allowing the government to MITM you.
3.
by LudwigNagasena 2mo ago
That example doesn't use any TUI.
4.
by LudwigNagasena 2mo ago
> Posts like his Calling someone a "nazi" is a permission slip for violence is simply untrue no matter who you are or where you live. It is simply true. Lots of people think it’s okay to punch nazis. There was a whole public de
5.
by LudwigNagasena 2mo ago
It’s Ruby on Rails in the world of distros. If you find other distros tasteless and unpolished, you may want to try Omarchy. At least that’s how I see it (I find most Linux distros and development frameworks tasteless and unpolished).
6.
by LudwigNagasena 2mo ago
I don't see much value in knowing that dependent types can be used to encode logical quantifiers or similar stuff in applied programming. Maybe there is actual value that it creates after you grok those concepts (beyond the general app
7.
by LudwigNagasena 2mo ago
> I feel like no serious work with this ambition What ambition? The book is an applied introduction for people who aren’t even familiar with what ∃ means. It’s 200 pages, which is at best comparable to a semester-long course.
8.
by LudwigNagasena 3mo ago
Looks like a novelty item made with the purpose of testing their hardware production capabilities before producing a real product. Also, translated pages transform newlines into \n.
9.
by LudwigNagasena 3mo ago
That's just cruft unless there is a benchmark demonstrating it's actually better than just asking an agent to write docs and/or using one of the thousands of document-writing skills like Anthropic's doc-coauthoring.
10.
by LudwigNagasena 3mo ago
Moving camera completely distorts the video both on my Mac and iPhone.
11.
by LudwigNagasena 3mo ago
Hard to imagine anything worse than LaTeX for web layout. Imagine resizing a page and waiting for the re-compilation of the whole page.
12.
by LudwigNagasena 4mo ago
The age verification that doesn't have to be a nightmare dystopia of 24/7 fine-grained tracking and recording is called parental controls and it already exists in most systems. It doesn't require any proof of ID, internet con
13.
by LudwigNagasena 4mo ago
> Sure, it won't hold up against collusion between website and government, but nothing would. Right, so it's just privacy theatre.
14.
by LudwigNagasena 4mo ago
Does really do a great job? It just says there are no “instances”, it doesn’t explain how the architecture circumvents all the troubles that it leads to such as auth, sync, discovery, etc.
15.
by LudwigNagasena 4mo ago
I remember around 2018 Tesla was actually criticised for excessive automation because it purportedly was slower and more expensive than manual work.
16.
by LudwigNagasena 4mo ago
I thought I have clearly explained that I completely disagree with the claim and its entire framing. Not sure what you mean by conclusion that I supposedly agree with.
17.
by LudwigNagasena 4mo ago
> No, the point is that for the purposes of this discussion it is irrelevant when the arguments were first made. How is that irrelevant if the whole statement is literally about when the arguments were first made and supposedly disproven
18.
by LudwigNagasena 4mo ago
> I think it should be pretty obvious that dissemination of information and lies today much different than 300 years ago. Of course, so what? If your implication is that none of the arguments made over 300 years are relevant today, I wou
19.
by LudwigNagasena 4mo ago
The discussions about intellectual property rights are quite recent, but the idea that "lies are also information and can travel even better using the same flow" was well-explored over 300 years of discussions about freedom of spe
20.
by LudwigNagasena 4mo ago
What exactly is this "information wants to be free" discourse? The arguments for and against freedom of speech as a foundational social principle span at least 300 continuous years.
21.
by LudwigNagasena 4mo ago
> But going back to my initial comment, this whole thread feels like proving my point. Ok, but look at this thread from the POV of someone like me, who reads lots of philosophy daily and who asks you to simply elaborate on your point, an
22.
by LudwigNagasena 4mo ago
If I take a text written on a tangential topic from a generation or two ago and try to imagine how it applies to the current state of AI that would be me putting words in your mouth and speculating on your interpretation. I don't want
23.
by LudwigNagasena 4mo ago
Now you again say that there is increasing evidence that the assumptions are wrong and that the foundation is flawed, but when you get to specifics you merely claim that something is unknown or unconfirmed.
24.
by LudwigNagasena 4mo ago
You say that "the community" derives facts or claims from unproved assumptions, yet at the same time you say that you "strongly tend to disagree" with those theories and that the theories are "flawed in the sense th
25.
by LudwigNagasena 4mo ago
Of course any research programme requires some assumptions. But I don’t see any reason to call it a fallacy. Saying that something may be “challenged” or is problematic is just weasel wording. Either there are some serious issues that makes
26.
by LudwigNagasena 4mo ago
What's exactly the fallacy? How do the works help avoid stepping into that "fallacy" if they don't try to solve the issue of consciousness.
27.
by LudwigNagasena 4mo ago
> These theories are flawed in the sense that they cannot account for subjective experience and agency, amongst other things I don't see how any of the works you referenced can account for that either? Since when is the problem of c
28.
by LudwigNagasena 4mo ago
There is @typescript-eslint/no-explicit-any.
29.
by LudwigNagasena 4mo ago
I’ve never had a real problem with developers opting out. It’s not that hard to enforce coding standards. The real problem with Python is the inexpressiveness of its type system and the mess of typed dicts, dataclasses and pydantic classes.
30.
by LudwigNagasena 5mo ago
I am not sure I understand the comparison. But let's say we found out that a rock is too heavy for a person to lift on Earth. Does it mean that it is too heavy to lift on the moon? No. And if we find out that something is or is not her

More ›