Tainnor

17 ms·

181.
by Tainnor 2y ago
> Otherwise, I think simple, procedural programming is generally a better default paradigm. I think this is almost the opposite conclusion from the one TFA (and in particular the longer form article linked elsewhere here), which is more
182.
by Tainnor 2y ago
It's a shame that this is not the link that was submitted because that (long) article was a really interesting read that gave me some food for thought and also articulated a bunch of things rather clearly that I've been thinking i
183.
by Tainnor 2y ago
Obviously the answer to "this doesn't solve my problems" is "don't use it then". If your problem domain literally is nothing but API calls and DB updates, then you may not benefit from this. OTOH, in my experie
184.
by Tainnor 2y ago
You can get value out of local mutability in languages like Scala or Kotlin. Variables can be declared mutable in the scope of a function, and their value can then later be assigned to a non-mutable variable, for example. Collections also c
185.
by Tainnor 2y ago
There must be something wrong in the way FP is taught if the takeaway that people have is that it prevents or is somehow opposed to mutation. On the one hand you have bunch of FP languages that don't care in the least bit about "p
186.
by Tainnor 2y ago
It's not just about whether you yourself use Google Translate, it's that - much more than anywhere else I've ever travelled - Japanese people will regularly use Google Translate to communicate with you, usually by typing or s
187.
by Tainnor 2y ago
I think I'm not yet desperate to the point that I would agree to that.
188.
by Tainnor 2y ago
IME, this was true four years ago. Few rounds, assessments were mostly take homes or in-person "implement a feature" style, interview questions didn't seem to be built to trip you up. Now, every job I apply for has 4-5 rounds
189.
by Tainnor 2y ago
YMMV, but null safety alone for me is a reason never to use Java when I could use Kotlin instead.
190.
by Tainnor 2y ago
This resonates with me. There are so many tools and techniques that many developers refuse to adopt because they're not hyped and take maybe a week to learn (e.g. take something like TLA+ which could be used to reason about distributed
191.
by Tainnor 2y ago
> Name literally any other technology that works this way. Probabilistic prime number tests. I'm being slightly facetious. Such tests differ from LLMs in the crucial respect that we can quantify their probability of failure. And per
192.
by Tainnor 2y ago
It has something to do with an episode of German history that took place between 1933 and 1945.
193.
by Tainnor 2y ago
This is not appropriate language to use on HN and I'm not your "bro".
194.
by Tainnor 2y ago
If you're gonna use historical analogies, it pays off to be accurate. Marie Antoinette very likely never said "let them eat cake" and she wasn't particularly more detached than aristocrats at the time were generally (whi
195.
by Tainnor 2y ago
> But that's not always the model we pick, often we just assume that arithmetic is O(1) and sweep length considerations under the rug. So, I only have rudimentary undergraduate knowledge about complexity theory, but my materials (e.
196.
by Tainnor 2y ago
> For example, we assume that arbitrary arithmetic takes constant time. Arithmetic on fixed-width number types is constant. It's very much not constant on arbitrary precision integers, something that underpins much of cryptography
197.
by Tainnor 2y ago
> The NIH & FDA largely swept this under the rug and refused to investigate or fund adequate investigation. Did all the other governments in the world that approved the covid vaccines collude with the NIH and FDA or is there maybe an
198.
by Tainnor 2y ago
If managers are trying to push LLMs in order to squeeze more productivity out of developers and potentially replace them, why aren't developers just returning the favour? Surely, the work output of most managers, which contains many mo
199.
by Tainnor 2y ago
I have things like Haskell, Lean and Prolog on my CV - definitely not things that everyone else has had experience with. Recruiters/HMs generally aren't interested in these kinds of things. Oh but you have worked with Kafka before
200.
by Tainnor 2y ago
This was written in 2016. The job market in 2016 was basically "you can throw a stone and find somebody looking for a developer". These days, the market is so different that I'm not sure if the same advice is still relevant.
201.
by Tainnor 2y ago
> System Design interviews System Design interviews can be crammed too. I'd find it much better if people would ask you "tell me about some complicated systems you helped build and what high-level challenged you encountered&quo
202.
by Tainnor 2y ago
> there is an underserved audience that wants an engaging way to learn a language and are disillusioned with Duolingo already I'm just very unsure whether it's possible to design an effective language learning program that is &
203.
by Tainnor 2y ago
The allies most definitely committed war crimes - the Red Army was pretty brutal in Eastern Europe, for example, for literally no reason. As for the Americans, there is certainly ongoing debate as to whether the nuclear weapons dropped on H
204.
by Tainnor 2y ago
Thank you for that ice water recipe, really wouldn't have known how to do that: https://www.recipeninja.ai/recipe/r_8Pq0RPfvVGf2Xw/ice-water...
205.
by Tainnor 2y ago
> all the propaganda and misinformation to be had these days about the events of WWII, the Holocaust, Hiroshima/Nagasaki and so many other things I'm curious as to what sort of propaganda or misinformation you're referring
206.
by Tainnor 2y ago
HN is not exactly known for its sense of humour.
207.
by Tainnor 2y ago
In general, in abstract mathematics no analogy or "intuitive concept" of something will ever replace the rigorous definition. That doesn't mean that imperfect analogies can't be useful, though. You just have to use them
208.
by Tainnor 2y ago
> The funny thing is, I experience the same "how do you even??" feeling reading statically typed code. There's so much... noise on the screen, how can you even follow what's going on with the code? I guess people are
209.
by Tainnor 2y ago
A well-typed program provides a soundness proof that can be straightforwardly verified by just compiling the program. Even in a humongous codebase in a slow-to-compile language, this is cheaper than e.g. running an LLM on your codebase ever
210.
by Tainnor 2y ago
Probably best to flag such nonsense.

More ›