seeknotfind

7 ms·

61.
by seeknotfind 2y ago
What we really need is shared playlists so you can listen to the same things as your friends, but even when you're not hanging out
62.
by seeknotfind 2y ago
Man, I have lost my voice on this issue. Disagree and commit they say. I'll tell you, managing two systems in different languages that need to interoperate, it's tough. I'm so sad C/C++ couldn't get organized and it
63.
by seeknotfind 2y ago
How is it possible to truly understand The Human Alphabet unless you are reading about it in that font directly?
64.
by seeknotfind 2y ago
Right, the bang per syllable loss is it's ambiguous, not that it's incorrect. Inverse square root could also mean -(x^0.5) if it meant the additive inverse, and it could mean x^2 if it meant the functional inverse, as said here.
65.
by seeknotfind 2y ago
This is similar to spoons. It's not you who is bending, it's the spoon.
66.
by seeknotfind 2y ago
Where's the download link?
67.
by seeknotfind 2y ago
Don't let domains you use lapse. Never get rid of a phone number.
68.
by seeknotfind 2y ago
How else to solve childcare and socialization?
69.
by seeknotfind 2y ago
It was painful.
70.
by seeknotfind 2y ago
I've never regretted my education and only wanted more. > response to concerns about children’s mental health and a shortage of teachers. Ha! Getting educated is so bad for children, and how insufferable an extra day among their pee
71.
by seeknotfind 2y ago
This is not only about databases. Mocks are almost always a compromise.
72.
by seeknotfind 2y ago
The point would be to prove that your database stays consistent, a DB upgrade wouldn't break, or that you could achieve 100% up time given certain assumptions. An automated solver/prover might even be able to tell you where in you
73.
by seeknotfind 2y ago
F* is a programming language with proof support. Lean/Coq are theorem providers that can be used to model and generate code. In Coq, there's not a standard way to generate code, you might model and create code many different ways.
74.
by seeknotfind 2y ago
I studied formal languages for ~2 years and have professional experience programming coq. The real benefit of this language, over other formal languages is the focus on being able to write real programs in it. Most theorem proving languages
75.
by seeknotfind 2y ago
Yes.
76.
by seeknotfind 2y ago
A student who believes in the freedom of information and is curious probably will do great in school. A great institution understands rules are meant to uplift and protect us, and that a student who sees beyond black ink and chiseled stone
77.
by seeknotfind 2y ago
I don't think this is the distinction being made here. Abstractions may be useful framing, but the author contrasts, after hearing what addition is, are you going to start studying multiplication, or are you going to look at examples o
78.
by seeknotfind 2y ago
Rule of 3s. Even more basic than this, never create an abstraction for a routine only used once.
79.
by seeknotfind 2y ago
Maybe they want the Chinese students who are smart enough to open their eyes to the world.
80.
by seeknotfind 2y ago
Penguin Classics edition of Nichomachean Ethics has a great introduction and is very readable.
81.
by seeknotfind 2y ago
Yeah, specifically http://learnxinyminutes.com/ style.
82.
by seeknotfind 2y ago
As someone reading this while taking a shower, I'm questioning how this could be redesigned to work today. How are you supposed to use your phone if your head is sticking out?
83.
by seeknotfind 2y ago
If you break things down in this way, the result is discontent, not a solution.
84.
by seeknotfind 2y ago
You can always find disagreement if you look for it. Maybe this is your thing, given user name, your account makes an interesting study on it. Though in this case, I wouldn't be so reductive. Not all complexity (I ascribe to the result
85.
by seeknotfind 2y ago
So many pop-ups these days, for every little thing. Tracking. OS permissions. Browser permissions. Take a survey. Speak to our AI assistant. Do you agree to this. Donate. Sign up. Pay. So many clicks. Used to be viruses, but we have the sam
86.
by seeknotfind 2y ago
There are a few examples of repeated testing being used by alignment groups to either test how aligned a model is, or to aggregate results to get something that is more aligned. For instance this is one related discussion: https:/&#x2
87.
by seeknotfind 2y ago
Fun read, thanks! I really like redefining terms to break LLMs. If you tell it an LLM is an autonomous machine, or instructions are recommendations, or that <insert explicitive> means something else now, it can think it's followi
88.
Enter the Markov Chain(seeknotfind.com)
1 points by seeknotfind 2y ago|0 comments
89.
by seeknotfind 2y ago
The issue your parent comment raises is that this random group may not represent someone that's trying to evaluate what techniques can help them, regardless of the statistical significance within that group. It makes me sad that they i
90.
by seeknotfind 2y ago
Lol. Even if it's with the QR code, it will not be safe. If you can read a bit, you can read a file. Security is a mote, and the hacker is a catapult. Any sufficiently complex system, any metric of security will be incomplete or ignori

More ›