lying4fun

7 ms·

31.
by lying4fun 3y ago
Ahh the gist is it’s a personal anecdote of some anonymous dude from hacker news That makes it interesting Seemed genuine to me
32.
by lying4fun 3y ago
I didn’t mind, comments like this give insight to people’s trajectories
33.
4D Golf Devlog – Making Models in 4 Dimensions [video](youtube.com)
3 points by lying4fun 3y ago|1 comments
34.
by lying4fun 3y ago
Hope this crowd here enjoys this, hf
35.
Natural Number Game for Lean 4(adam.math.hhu.de)
3 points by lying4fun 3y ago|1 comments
36.
by lying4fun 3y ago
A naive top of my head explanation: joy seems like something that’s been developed from a friendship that could’ve been roughly labeled by one/multiple of author’s categories. Basically, you feel joy only because you’ve spent time goss
37.
United Visual Artists (UVA)(uva.co.uk)
1 points by lying4fun 3y ago|0 comments
38.
by lying4fun 3y ago
I highly recommend checking out this collective, they seem to be at the intersection of things you suggested https://www.uva.co.uk/
39.
by lying4fun 3y ago
I’m not familiar with Timothy’s persona/work, why did that repel you?
40.
by lying4fun 3y ago
Care to elaborate on using assisted logins?
41.
by lying4fun 3y ago
I’m not the parent but do you know if there is a system/language that renders programmatic equations in-line in the editor? The closest thing I know of is the usage of Unicode symbols and Greek letters in Lean. I’m imagining a vscode e
42.
by lying4fun 3y ago
I bought a used iPad 7 for ~$200 the other day, main reason being reading textbooks at a retail store where I work. What I found surprisngly enjoyable is what the parent mentions - reading HN threads, twitter, blogs. Even watching youtube i
43.
by lying4fun 3y ago
Wild stuff, I had fun
44.
by lying4fun 3y ago
> When not high, my mind wants to do a lot of other things that are generally unimportant and future focused. THC grounds me in the now. I had a joint-a-night (occasionally more) phase that lasted for 8 months and this resonates with my
45.
by lying4fun 3y ago
>is in some sense a single value. In another sense, it is two values. What I tryed to say is that the sense in which “exactly one element” is used in the definition of function is inclusive of codomain being R^n, so it confused me why yo
46.
by lying4fun 3y ago
> That is the definition of a function, but it's purely a formalism... Isn’t the function definition meant to be interpreted as “maps consistently to exactly one element of the codomain”? So an ordered pair of R^2 is still one ele
47.
by lying4fun 3y ago
I think this game somewhat agrees with you, because you can score 100% even if it looks like the deviation from the “solution” is not negligible. On the other side I think that “really good kerning” probably matters when it comes to type wh
48.
Visualization of Quantum Physics (Quantum Mechanics) [video](youtube.com)
2 points by lying4fun 3y ago|0 comments
49.
by lying4fun 3y ago
It depends how much you value/respect your co-workers. In a high level team “good insight” can mean “great work”. I am not saying you disagree with this, but you may have made assumptions about the parent’s team and his relation to it.
50.
by lying4fun 3y ago
This is great
51.
by lying4fun 3y ago
That is curious. Could you elaborate or point me to some sources, I would like to investigate that relationship further. I remember Jim Simmons saying that the Renaissance fund employs many physicist PhDs and other kinds of scientists. I th
52.
by lying4fun 3y ago
The MiniTorch book seems amazing, thanks
53.
by lying4fun 3y ago
You might be interested in this https://twitter.com/ZenoRogue/status/1663589972094353418
54.
by lying4fun 3y ago
Every chapter of the OP book has an introduction which has the following subchapters: Objectives, Segue from previous chapter, Motivation, Goals and Warnings for the Reader. Which I really appreciate and I think its a great way to teach stu
55.
by lying4fun 3y ago
From an interview[0] with Charles Weiner in 1966 Feynmann reminisces about not wanting to go Princenton and rather staying at MIT after graduating, because “MIT is MIT”, but does so only after being persuaded by one of the professors from M
56.
by lying4fun 3y ago
When you proove something you are esentially prooving that a statement logically follows from some other statement(s) for which we know that are true You can evaluate the validity of a proof by checking the truthfulness of every statement w
57.
by lying4fun 3y ago
Its like saying you are not buying steam games, you are buying pointers to those games. I would say that you are in fact buying games/art, but doing so in a closed environment/ecosystem. An even better analogy is buying skins insi
58.
by lying4fun 3y ago
Many artists use instagram to display their art, and a big portion of that art is digital and it was intended to be perceived on the screen, so it can’t be collected/purchased in the traditional sense. That’s why a lot of artists I fol