Tainnor

17 ms·

241.
by Tainnor 2y ago
> 'finding if a string is a substring of another string' Unless you mean using a "substring" function or regexes... coming up with the naïve O(n^2) algorithm is indeed easy, but finding a fast algorithm like KMP is, I
242.
by Tainnor 2y ago
Thanks for the assessment, your point 2 is probably something I'll try to keep in mind.
243.
by Tainnor 2y ago
I already have a project in Lean where I'm developing some complex analysis proofs, but I doubt it'll land me a job (the few job that do seem to exist in that area mostly require a PhD).
244.
by Tainnor 2y ago
What I meant by that was complaining about boring work is privileged compared to those people who can't find any jobs at all (at least not ones that pay well). Still, I feel like I should at least try.
245.
by Tainnor 2y ago
> I only have a BSc in CS, and I’ve worked with algo-trading, compilers, defi, zero-knowledge crypto, firmware for EVs and drones. And I only relocated once. Where did you find those jobs?
246.
by Tainnor 2y ago
That might be a good idea, yeah. My worry is that I haven't really ever used Haskell commercially (I used it a bunch for things like Advent of Code, etc.), so I would have to learn a lot on the job - which I'm willing to do, but c
247.
Ask HN: How to find intellectually challenging work?
14 points by Tainnor 2y ago|31 comments
248.
by Tainnor 2y ago
afaik you can only vouch for dead submissions, not flagged ones
249.
by Tainnor 2y ago
Even many the parties that are otherwise "broadly aligned with US Republicans" fundamentally disagree with Trump on Ukraine, such as FN, FdI, PiS, ... Of course, there are AfD and Fidesz, but they occupy the minority position even
250.
by Tainnor 2y ago
I agree that social media is one of the big issues, but I think the early versions of it - when you were just talking to your friends - were fine. The problem started with the "engagement algorithms". Surprisingly, radical and con
251.
by Tainnor 2y ago
The thing is that in these threads I see mostly (a) justified but predictable indignation, and (b) obvious propaganda accounts / trolls with bad takes that more reasonable people probably unhelpfully try to engage with (the propaganda
252.
by Tainnor 2y ago
Oh for sure, I agree, OP's take was nonsensical.
253.
by Tainnor 2y ago
Well yes. But he also claimed that Poland had attacked first.
254.
by Tainnor 2y ago
From the guidelines: > Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something
255.
by Tainnor 2y ago
> In a way, that’s how humans have lived for most of their existence except the last 100 years or so. Sure. They would also die whenever there was a famine, some disease ran rampant, Mongols or crusaders pillaged everything, some recent
256.
by Tainnor 2y ago
> Swiss have most direct democracy in the world, and they vote sanely even on emotional topics thinking of greater good eh, somewhat. There are still plenty of emotionally charged decisions being made by Swiss voters, like banning all mi
257.
by Tainnor 2y ago
> It feels very necessary for my own mental health that these discussions have a space, can you see that side too? And I feel Furthermore a responsibility to the people whose mental health and everything else is being affected directly b
258.
by Tainnor 2y ago
> and if you listen to the man talk for a long enough time, as I have, he has shown signs of being many, many things, but being literally insane is not one of them I guess the disconnect comes from the fact that for many people including
259.
by Tainnor 2y ago
Sure and so did a bunch of innocent people as well as other revolutionaries, while other aristocrats survived. The killings were at times quite indiscriminate. My point was that Marie Antoinette wasn't particularly more detached than t
260.
by Tainnor 2y ago
I can see both viewpoints, though. I agree that the current situation is not normal and that there's a danger in normalising it - plus I have some private thoughts about how the tech scene is partially complicit in what's curren
261.
by Tainnor 2y ago
While what you said may be true simply by the virtue of graduate level textbooks being so dense, I think GP wanted to imply that "just reading a moderate amount of mathematics" isn't sufficient to get anywhere. I would say th
262.
by Tainnor 2y ago
It's not about being in the top of the field. Even just getting to the point of being able to halfway competently talk about mathematics takes a grueling amount of work. > Plenty of independent learning / pop textbooks are writ
263.
by Tainnor 2y ago
You still can, https://news.ycombinator.com/active will also show flagged threads.
264.
by Tainnor 2y ago
All those people you mention have studied mathematics for a long time, Grant Sanderson has probably studied it the "least" but that still means a BSc in his case which is not something you accomplish in a weekend. All the textbook
265.
by Tainnor 2y ago
Yeah but that was also because she was a foreigner and people made up scandals around her.
266.
by Tainnor 2y ago
I'm confused at what you're trying to say or how it relates to GP, but the very first statement is wrong, Merz isn't "chancellor-elect", that's not even a term anybody uses in Germany. He's merely the lead
267.
by Tainnor 2y ago
> And besides, I'm guessing you could replace ℝ with T (for Turing) and most of the proofs would go just fine. This is wrong. LUB doesn't hold for the computable reals, and this means that a lot of classical proofs straight up
268.
by Tainnor 2y ago
flamebait
269.
by Tainnor 2y ago
You don't need a majority of people to start a revolution or a civil war, there are plenty of historical examples for that.
270.
by Tainnor 2y ago
It's not about individual numbers. Most applied maths fields (including physics) use the real numbers and the properties of real numbers as a complete field are implicitly assumed all the time (e.g. for differential equations). It&#x27

More ›