Tainnor

14 ms·

151.
by Tainnor 1y ago
I did a bit more than "are you sure", though. I said "I don't think X is right because ..." (after reading the type signature of some function and thinking through what would happen). That seemed to lead it into the
152.
by Tainnor 1y ago
This is impossible to solve in the general case due to Gödel's first incompleteness theorem.
153.
by Tainnor 1y ago
> They're also generally much easier to create than constructive proofs This is generally seen as a good thing by most "lazy academics". I guess your priorities are just different. Constructivism is also not at all opposed
154.
by Tainnor 1y ago
Depends on what you mean by "defensive". Anticipating error and non-happy-path cases and handling them is definitely good. Also fault tolerance, i.e. allowing parts of the application to fail without bringing down everything. But
155.
by Tainnor 1y ago
I definitely get more use out of Gemini Pro than other models I've tried, but it's still very prone to bullshitting. I asked it a complicated question about the Scala ZIO framework that involved subtyping, type inference, etc. - s
156.
by Tainnor 1y ago
> Is the AfD acting extra-constitutionally? Late answer, but: they did actually abuse their power in an unconstitutional way after last year's elections to the state parliament of Thuringia. The eldest member of the parliament was f
157.
by Tainnor 1y ago
Tried it recently and it seems rather hit or miss. Claude 3.7 was able to generate the right business logic but the UI didn't look right at all and I couldn't fix it with further iterations. I'm no frontend dev at all and did
158.
by Tainnor 1y ago
I agree with criticism of Noam Chomsky as a linguist. I was raised in the typological tradition which has its very own kind of beef with Chomsky due to other reasons (his singular focus on English for constructing his theories amongst other
159.
by Tainnor 1y ago
I don't think it's accurate to say that this is a guide "most" Japanese learners follow. There are some good (and some arguable) ideas there, but it's just one guide out of several, and most learners probably don&#x
160.
by Tainnor 1y ago
Scala 3 has: enum Vehicle: case Truck(loadCapacity: Int) case Car(numberOfSets: Int, brandName: String)
161.
by Tainnor 1y ago
> probably even Swift It's possible to write web backends in Swift, but it's probably not a good idea. When I last did so, I ran into ridiculous issues all the time, such as lazy variables not being thread-safe, secondary threa
162.
by Tainnor 1y ago
> If finding proper Anki decks for languages wasn't such a massive pain in the ass https://ankiweb.net/shared/decks The difficulty, obviously, is in finding out which decks are good and which aren't. But t
163.
by Tainnor 1y ago
I'm afraid I don't understand your reply.
164.
by Tainnor 1y ago
There is a lot of mathematics that can be used to analyse language. Phonetics is basically acoustics, phonology has things like optimality theory, for morphology you can use finite state machines, syntax uses formal grammars, statistics obv
165.
by Tainnor 1y ago
> It is also unclear why multiplication and division have different difficulties, when dividing by n is equal to multiplying by 1/n. Well sure, but once you multiply by 1/n you leave N (or Z) and enter Q, and I suspect that&#x2
166.
by Tainnor 2y ago
That's not a "slight" nitpick. While we can be grateful to Napoleon to bring modern law and scientific advances to the rest of Europe, he certainly didn't conquer it in the interest of democracy.
167.
by Tainnor 2y ago
I'm sorry for all the cynical responses you're getting here. I feel for you, OP.
168.
by Tainnor 2y ago
This is interesting and I wasn't aware of this algorithm, thanks. I still maintain that it's practically infeasible to exhaust the entire state space of any modern machine.
169.
by Tainnor 2y ago
This approach suffers from two major problems: * It makes computability and complexity dependent on individual machines (now a program may halt on machine A, but not on machine B). For various reasons, we don't want that. * The entire
170.
by Tainnor 2y ago
You're free to believe whatever you want, but again, this is one of the few things that we actually empirically know to be working.
171.
by Tainnor 2y ago
> One of her wonderful worldviews was to rejects altruism as a moral imperative, arguing that individuals should live for their own rational self-interest. Social security, based on the idea of supporting others, contradicts this princip
172.
by Tainnor 2y ago
Code review is actually one of the few practices for which research does exist[0] which points in the direction of it being generally good at reducing defects. Additionally, in the example you share, where only one person knows the context
173.
by Tainnor 2y ago
> Unreliable tools have a good deal of utility. This is generally true when you can quantify the unreliability. E.g. random prime number tests with a specific error rate can be combined so that the error rates multiply and become negligi
174.
by Tainnor 2y ago
I don't know Scala. I asked cursor to create a tutorial for me to learn Scala. It created two files for me, Basic.scala and Advanced.scala. The second one didn't compile and no matter how often I tried to paste the error logs into
175.
by Tainnor 2y ago
Sorry to hear that. I feel that tech hiring has become full of weird gatekeepers that probably wouldn't even be able to pass their own weird challenges.
176.
by Tainnor 2y ago
You started out by saying 99% of web code is IO, then casually dropped down to 70-80%, as if that was the same thing. 20-30% of a huge codebase is still a significant amount. I've never said IO is irrelevant to web applications. But th
177.
by Tainnor 2y ago
* Take a complicated tree structure representing a document management system and transform it into some different tree structure, e.g. by filtering out elements or fields due to missing permissions, or by rewriting it in the way that the e
178.
by Tainnor 2y ago
> In fact I'm willing to bet, if you lay out your experience you'll see it's almost entirely as I said. I don't know how to respond to something like that. You can trust me that I know and understand my own experience
179.
by Tainnor 2y ago
Nobody is forcing you to use Haskell.
180.
by Tainnor 2y ago
> This is like 99% of web development today. You've claimed this several times now and I fundamentally disagree. In my 11 years of experience working across some 7 companies, web development has always been more than just 99% side

More ›