Tainnor

29 ms·

391.
by Tainnor 2y ago
Why are all comments in this thread by engboris (the author of the repo) dead? They appear really relevant. pinging dang in case he reads it
392.
by Tainnor 2y ago
Yeah, after doing some research I realised that he isn't some crank and actually has done a lot of relevant work in logic. I still don't think that justifies writing in a deliberately obtuse style, but I guess he can do whatever h
393.
by Tainnor 2y ago
I tried looking into the Transcendental Syntax I paper. It starts with > We study logic in the light of the Kantian distinction between analytic (untyped, meaningless, locative) answers and synthetic (typed, meaningful, spiritual) questi
394.
by Tainnor 2y ago
I could say the same about your comments. Your snarkiness is not appropriate for this website. Don't start commenting if you're not open to having your views challenged.
395.
by Tainnor 2y ago
> To me, it's like not wanting to use a spellchecker when writing an article Huh, I'm absolutely in the pro-static-types camp, but I never use spellcheck which I personally find distracting and unhelpful. I wouldn't consid
396.
by Tainnor 2y ago
> In many cases, yes, it is worth a rewrite instead of trying to shoehorn something that exists I also haven't seen every codebase in existence, but I have seen enough "it's only going to take a year" rewrites that ab
397.
by Tainnor 2y ago
> Huge refactors are also not a necessity in every codebase, if the code was written well to begin with. If dynamically typed languages only worked well in absolutely pristine codebases that never saw any hacks or poorly thought out solu
398.
by Tainnor 2y ago
That PR reminds me why I'm glad that I left the Rails world, despite multiple HN threads recently touting its benefits. Ultimately, DHH just decides things on a whim and ignores everyone's objections.
399.
by Tainnor 2y ago
Some right-wingers will use the term "immigrant" for people that have been in the country for three generations.
400.
by Tainnor 2y ago
I see we still haven't stopped telling other people what they're supposed to enjoy or not.
401.
by Tainnor 2y ago
It's a best effort thing - as anything in software.
402.
by Tainnor 2y ago
This sounds an awful lot like you're generalising from your experiences to other people's. I'm also in my mid 30s and I still find travelling eye opening in a way that books are not (and I do read a lot, including when I trav
403.
by Tainnor 2y ago
Depression doesn't care about how mundane your problems are. Some people have horrible things happening to them and they don't get depressed - while others struggle with common setbacks that everyone experiences. IMHO, the author
404.
by Tainnor 2y ago
You're not being paid to document, you're being paid for writing maintainable code (in decent places at least) and it's your job as a professional to decide how much documentation that includes. In my opinion the idea that go
405.
by Tainnor 2y ago
The cheapest time to add documentation is when you have the information in your head because you just worked on it. Nobody is demanding an essay for every method, but just write down what went through your head when you implemented weird ha
406.
by Tainnor 2y ago
I somewhat agree with you, I don't understand the disdain many programmers have for documentation. Every company I've worked had parts of the codebase that were full of complicated business logic whose purpose was totally non-obvi
407.
by Tainnor 2y ago
The leader of the SA was gay and Hitler had him... removed when he became afraid the SA would become too powerful.
408.
by Tainnor 2y ago
DB is just an embarrassment. Yesterday, my direct train from Basel to Berlin was cancelled. I had to take a bus to the other station in Basel, take another train to Frankfurt, miss my connection there and take another one to Berlin - all th
409.
by Tainnor 2y ago
"Your truth" is very condescending though. It may be that the reason you're having trouble with introverts is your attitude towards them. Also how do you reconcile what you're writing here with what you wrote less than a
410.
by Tainnor 2y ago
> I've worked with lots of introverts (I am a mix of both introvert and extrovert) in tech and it usually goes along with passive aggressive behavior (because introverts usually don't like confrontation) and other behavior that
411.
by Tainnor 2y ago
This article mixes up a bunch of different things. Being a good communicator doesn't mean you have to be an "extrovert at work". There are many different styles of communication. I tend to be the guy who prefers async communi
412.
by Tainnor 2y ago
In my opinion, Spaced Repetition Systems (SRS) are the best way to retain vocabulary - provided you use a good deck (the vocabulary ordering should make sense and, IMO, example sentences are key). I use Anki but there are many alternatives.
413.
by Tainnor 2y ago
I agree. The constant push for constantly solving 100 problems with 50 poorly understood technologies instead of doing a couple of things and understanding them really well sometimes really makes me hate modern software development.
414.
by Tainnor 2y ago
Please don't do this on HN.
415.
by Tainnor 2y ago
Thanks for sharing your knowledge and please ignore some of the other comments. HN is a place for "intellectual curiosity", but for some reason it always attracts its fair share of anti-intellectualism. Debating what cognitive loa
416.
by Tainnor 2y ago
> If a language is simple and can be stepped through easily, one benefits from the removal of the added cognitive load of knowing a large number of language features. Things that you know and have internalised don't occupy your br
417.
by Tainnor 2y ago
Encapsulation can be done even in Haskell which avoids mutable state by using modules that don't export their internals, smart constructors etc. instead. You can e.g. encapsulate the logic for dealing with redis in a module and never e
418.
by Tainnor 2y ago
I'm sorry but this article is really bad. I agree that cognitive load matters. What this article completely fails to understand is that you can learn things, and when you've learned and internalised certain things, they stop occup
419.
by Tainnor 2y ago
nonblocking IO
420.
by Tainnor 2y ago
huh not even LZ4?

More ›