Viewing profile — LudwigNagasena

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 create…

> 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 …

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…

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 skill…

Moving camera completely distorts the video both on my Mac and iPhone.

Hard to imagine anything worse than LaTeX for web layout. Imagine resizing a page and waiting for the re-compilation of the whole page.

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 …

> Sure, it won't hold up against collusion between website and government, but nothing would. Right, so it's just privacy theatre.

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, discove…

I remember around 2018 Tesla was actually criticised for excessive automation because it purportedly was slower and more expensive than manual work.

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.

> 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 wh…

> 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 th…

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 …

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…

> 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 dai…

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 mout…

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 …

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 t…

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 wea…

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.

> 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 acc…

There is @typescript-eslint/no-explicit-any.

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 an…

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?…