JiK
Oct 11, 2024 13:19
@mkt People love citing xkcd, but Randall is just a dude drawing some lines, why give him all the credit.
 
JiK
Sep 3, 2024 15:38
Having moved from academia to a big software company: In academia, what mattered is the next paper and only the next paper. You wrote code for that and when that was accepted, you moved on. In a software company, you need to prepare for someone looking at your code 1 year, 2 years, or 10 years from now.
 
JiK
Dec 20, 2023 03:36
@Acccumulation Indeed, I would think it's obvious that people who are weak are less willing to fight, because they know they'd probably lose. And also that people who are generally more willing to fight are also generally more willing to train fighting. Both of these mean that if a random person ends up in a confrontation, people who are better fighters are more willing to fight.
 
JiK
Oct 29, 2023 23:37
@JimmyJames And now I have absolutely no idea how your example of curing cancer or a leaf falling is at all related to saying "we're still in the phase of not fully understanding how an LLM can perform some of the types of processing that it does"
JiK
Oct 28, 2023 17:23
@JimmyJames But experts understand 100-dimensional spaces all the time so I don't see how the fact that a layman can't intuitively grasp geometry of more than 3 dimensions has anything to do with experts understanding LLMs.
JiK
Oct 27, 2023 13:46
@JimmyJames I don't understand why you brought up distances in 2D or 3D spaces and how it's related to understanding LLMs at all. Could you elaborate?
 
JiK
Nov 19, 2021 17:07
@JoelCoehoorn You can run your own VPN if you're afraid of other VPN providers. And if you can't trust your own ISP, then public WiFi isn't really your main problem.
 
JiK
May 1, 2021 20:58
Yes, you can do a presentation without a chalkboard. In some ways you can make a better presentation unless you are very skilled with chalkboard drawing. Most chalkboard presentations are incredibly boring. They have been described, somewhat accurately, as private notes that a speaker writes on the chalkboard. I know a couple of people who can do a good job, but it is, in my view a poor technology in general.
 
JiK
Feb 13, 2021 00:40
@Ruslan Thanks, somehow I missed that when quickly trying to search Wikipedia. So, essentially it's a brightness-normalized map from the cone cell response to a 2D space.
JiK
Feb 13, 2021 00:40
What are the axes in the gamut diagram?
 
JiK
Feb 5, 2021 13:56
You use the words demand and complain. These words may be interpreted in a way you did not intend. Could you clarify what you mean?
 
JiK
Dec 28, 2020 17:21
@ItrysohardbutIcryharder "If you are not willing to discus something, don't start one." Since you are new here, let me clarify: Comments on StackExchange answer are not intended for discussion, they're for asking for more information suggesting improvements to an answer. If I was willing to discuss something, I would not comment on StackExchange answers.
JiK
Dec 28, 2020 17:21
I asked for clarification for the first paragraph, which seemed to make a very strong claim. If you have a clarification in mind, please edit your answer accordingly. It is not a bad trait to ask for clarification in a comment to an answer in StackExchange.
JiK
Dec 28, 2020 17:21
@ItrysohardbutIcryharder It's clear that you're not responding to anything that I have said. Please stop pinging me.
JiK
Dec 28, 2020 17:21
@ItrysohardbutIcryharder Wow. Wow. What. I did not propose that 1 hour a day is not better than 20 minutes. I did not propose to limit her to 20 minutes a day. I did not propose that it's wrong to suggest she practices 1 hour a day. The only thing I did was question your claim that 20 minutes of practice a day is useless if you want to be good and enjoy playing an instrument. That's the only thing I said. Just wow. Please take a breath and read again.
JiK
Dec 28, 2020 17:21
"You do realize 1 hour is basically what every "normal" human does, right? 20 minutes of practice is, with all due respect, useless. 1 hour is the time required to practice to enjoy something and become good at it, more hours invested is often done, because people want to achieve more than joy from what they're doing. 1 hour is the MINIMUM of practice time." [citation needed] Seriously. What do you even mean? Many people enjoy playing an instrument after having practiced much, much, much, much, much, much less than 20 min / day since they were 7.
 
JiK
May 31, 2020 09:02
@mlk And formal rules also exist. AFAIK, many postdoc grants in Finland are open only to people who have been either employed in or visiting researchers in another country for some amount of time during or after their PhD.
 
JiK
May 15, 2020 10:36
Although actually if we interpret $\overline{SAT}$ to contain all possible strings that are not SAT formulas (so larger than just UNSAT), the validity check isn't even needed.
JiK
May 15, 2020 10:29
If the input minus the last bit is a valid Boolean formula, doing a case-by-case analysis on whether the last bit is 0 or 1, and whether the input minus the last bit is a satisfiable or unsatisfiable formula, we can show that the algorithm works correctly in these cases, too.
JiK
May 15, 2020 10:27
If the input minus the last bit is not a valid Boolean formula, the input is not an element of $L$, and therefore the algorithm works correctly by outputting "$0$", which is an element of $L$.
JiK
May 15, 2020 10:26
It starts by removing the last bit $b$ of the input. Then it checks whether the remaining word is a valid formula. If it is not, the algorithm removes all bits and adds $0$ and terminates. If it is a valid formula, the algorithm the negation of $b$ to the word, and finishes.
JiK
May 13, 2020 22:02
By $x0$ and $x1$ I meant adding a symbol '0' or '1' to the end of $x$.
JiK
May 13, 2020 17:25
I claim that there is such an algorithm that works by removing and adding bits from the word, without even having any clue whatsoever whether the word it has in the middle of its progress is in $L$ or not, let alone the input or the output word.
JiK
May 13, 2020 17:23
s/formula from satisfiable into unsatisfiable/a word from $L$ into $\overline{L}$ (and vice versa)/
JiK
May 13, 2020 17:21
Consider a language $L = \{x0 : x\in \mathrm{SAT}\}\cup \{x1 : x \in \overline{\mathrm{SAT}} \}$. Membership in $L$ is obviously NP-hard. Consider an algorithm that given a member of $L$ outputs a member of $\overline{L}$ and given a member of $\overline{L}$ outputs a member of $L$. Would such an algorithm also be required to first know whether the input is a member of $L$ before it can transform the formula from satisfiable into unsatisfiable?
JiK
May 13, 2020 17:06
The algorithm is allowed to sometimes add constraints without making it unsatisfiable and remove constraints without making it satisfiable.
JiK
May 13, 2020 17:05
" So you have to decide satisfiability in order to know what to do next." You haven't explained why.
JiK
May 13, 2020 16:56
Why would the rules need to encode a polynomial-time decision procedure for Boolean satisfiability?
JiK
May 13, 2020 16:56
But you could also add a constraint that doesn't make the formula unsatisfiable. The algorithm doesn't need to know beforehand whether a constraint it adds makes the formula unsatisfiable. It could just remove some constraints according to some rule and then add some constraints according to some rule.
JiK
May 13, 2020 16:56
I'm not following. If the input is $(x \vee y) \wedge (y \vee z) \wedge (z \vee x)$, which is satisfiable, a correct algorithm could output $(x \vee x) \wedge (\neg x \vee \neg x)$, which is unsatisfiable. Is this what you call "removing or adding constraints"?
JiK
May 13, 2020 16:56
For example, if the problem is restricted to 2-CNF formulas, there is an obvious answer that gives a formula with just a 0 or 2 clauses, no matter the input formula size.
JiK
May 13, 2020 16:56
There are other ways to transform formulas into other formulas than just removing or adding constraints.
 
JiK
Feb 10, 2020 23:22
@DaveLRenfro Surely you mean "pessimistic"!
 
JiK
Jan 17, 2020 16:10
In the microscopical level, we should also note that the energy from the moving axle is transformed to the surface of the tyre by microscopic deformations in the tyre. This deformation then tries to undo itself by pushing the road backwards. So, is this potential energy in the tyre that gets converted into kinetic energy by the static friction?
 
JiK
Dec 22, 2019 22:41
@Tim I'm a complete amateur, and from my experience of other complete amateurs who are mainly learning to improvise from chords (to accompany in church or parties etc.), people end up having a style that they repeat in every single piece. How do you teach different ways to play? Wouldn't dots written on a paper by dead composers be a great way to explore new ways to play the same chords?
 
JiK
Dec 4, 2019 10:07
@Luaan (b) I don't know what bottles you use, but I can't open a coke bottle without explosion only 20 seconds after shaking it. (Edit: Unless of course you meant a literal explosion and not just coke jumping out of the bottle all around the place.)
JiK
Dec 4, 2019 10:07
@Luaan (a) Are you saying that the speed of other decay going on due to oxygen is independent on the surface area between the beverage and the air in the bottle?
JiK
Dec 4, 2019 10:07
Usually you want products you intend to consume to reach equilibrium as slowly as possible, so the second point is very relevant. Especially after opening a soda bottle, the time which it takes to lose its kick may vary from 1 to 3 days which could be significant.
 
JiK
Nov 25, 2019 17:40
@BobD The noun, yes, but how about the verb?
JiK
Nov 25, 2019 17:40
@BobD Do you have any source that "heat" as a verb is used to mean exclusively heat transfer?
JiK
Nov 25, 2019 17:40
@BobD What's the difference between "heat" and "raise temperature"?
 
JiK
Oct 1, 2019 23:19
If you skate on a treadmill, you don't have to move your feet backwards like that, because your skate is never going backwards at the speed of the treadmill.
JiK
Oct 1, 2019 23:19
For this conversation about running: Think of running in a treadmill that goes at speed $v$. To be able to keep your upper body in the same place, you must be able to move your feet backwards at $v$ compared to your body.
JiK
Oct 1, 2019 23:19
" Kinetic friction is not completely linear" – I think you mean "is not completely constant"?
 
JiK
Aug 27, 2019 05:49
@gerrit Often financially irresponsible decisions are not financial decisions. If they were, it would be easier to see they're irresponsible.
 
JiK
Jun 20, 2019 18:13
@user2768 To counter the claim that employment periods are listed in some other way than the actual official employment.
JiK
Jun 20, 2019 18:13
"employment periods are listed in this way" If I have a contract until October but spend my remaining vacation days at the end of the employment and don't actually come to work in October, I will list October as the ending date of my employment in my CV, because it is the ending date of my employment.
 
JiK
May 27, 2019 16:59
@Flater In Finland at least kids definitely can legally officially own things, even money. And I've never heard of a country where it's otherwise; I'm quite surprised that it is in your country, whatever that is.
JiK
May 27, 2019 16:59
@Flater I assume you're talking about US here? Or is that just some states?
 
JiK
Apr 25, 2019 16:03
@SolarMike Sorry, I interpreted your comment as a joke and tried to continue it. (I mean the first part of your comment that wasn't an obvious joke.)