griffzhowl

13 ms·

61.
by griffzhowl 10mo ago
The article refers to this article from May, which claims a 50% reduction in graduate tech hiring since pre-pandemic levels, 25% reduction since 2023 https://www.signalfire.com/blog/signalfire-state-of-talent-r...
62.
by griffzhowl 10mo ago
It's just different meanings. "Utilize" means to put something to a use which doesn't normally have that use.
63.
by griffzhowl 10mo ago
Yes, it's on the low end of estimates and corresponds most closely to the US military's Iraq war logs that were leaked by Wikileaks. https://en.wikipedia.org/wiki/Casualties_of_the_Iraq_War#Tab... Still, &quo
64.
by griffzhowl 10mo ago
Wasn't the SICP course a course in programming per se?
65.
by griffzhowl 10mo ago
Is the MOOC the same as the actual MIT course though? I went through one of the old Grimson Guttag Intro to CS courses on MIT OCW years ago, with zero programming background I found it a very gentle on-ramp with all the basics explained. I
66.
by griffzhowl 10mo ago
Yeah, those are huge... I haven't got round to them yet. I liked the one on electromagnetism as a gauge theory
67.
by griffzhowl 10mo ago
Yes, maybe, but for many maths or physics lectures you might have to imagine what's going on as you're listening to the squeaking of chalk on the blackboard:)
68.
by griffzhowl 10mo ago
I would say the main reason it's hard to follow abstract maths lectures by listening is not the difficulty of the concepts per se, but simply because it's so visual: it relies on notation and diagrams But mathematicians can talk t
69.
by griffzhowl 10mo ago
For more in-depth physics, combining mathematical detail with excellent visualizations, the best channels I've found are Richard Behiel, Physics Explained, Dr Jorge Diaz For mathematics, I really appreciate the simpl but effective form
70.
by griffzhowl 10mo ago
It's similar to the benefits of attending lectures (or watching them on yt): there are more informal asides and intuition-pumps, and maybe more detailed explanations of intermediate steps in calculations than you usually get in books.
71.
by griffzhowl 10mo ago
Two main reactions: The Meta paper, as well as other studies which have been interpreted as rudimentary "mind-reading" have measured activity in sensory cortex correlated with direct sensory inputs. There's a fairly close map
72.
by griffzhowl 10mo ago
You could have a look at the job postings on the Lean zulip chat. They're mainly on the academic side, though https://leanprover.zulipchat.com/#narrow/channel/284757-job-...
73.
by griffzhowl 10mo ago
There was a Hitchhiker's Guide to the Galaxy text adventure, with writing from Douglas Adams. It's entertaining, but insane what you have to figure out to get the babel fish... https://en.wikipedia.org/wiki/Th
74.
by griffzhowl 10mo ago
Yeah, the living in a basement comment was a strange rhetorical exaggeration, as if you have to be feeding and caring for your server 24/7, haha
75.
by griffzhowl 10mo ago
I'm not sure what you're disagreeing with tbh. If you look up the thread, my point is that the reason string theory is untestable is not simply that high energies are experimentally inaccessible. Rather, string theory doesn't
76.
by griffzhowl 10mo ago
I guess I'm not being clear. I don't care about the word "theory". The point is string theory makes no predictions. It's not just inaccessible energies which make it untestable, but the fact that, as a framework, st
77.
by griffzhowl 10mo ago
Yes, that's what I meant: it's not a physical theory in the sense of making a well-defined set of predictions about the actual world.
78.
by griffzhowl 10mo ago
Not from the quanta article. By "story" I just meant the general story of the neural basis for language. What I mentioned in the comment is from the article I linked there
79.
by griffzhowl 10mo ago
There's a more basic problem with string theory, which is that it's not a theory. It's a mathematical framework which is compatible with a very wide range of specific physical theories. About tests of quantum gravity, there h
80.
by griffzhowl 10mo ago
One disanalogy between human language use and LLMs is that language evolved to fit the human brain, which was already structured by millions of years of primate social life. This is more or less the reverse situation to a neural network tra
81.
by griffzhowl 10mo ago
One part of the story I found fascinating is the overlap in infants' brains of the areas involved in tool use and hierarchical syntax. These diverge and specialize in adults. The homologous brain region in primates is involved in motor
82.
Earliest evidence of making fire 400k years ago(nature.com)
7 points by griffzhowl 10mo ago|1 comments
83.
by griffzhowl 10mo ago
> 47 unprovoked attacks last year What about provoked attacks? And who's going out there provoking sharks? I also like the implication that the provoked attacks are understandable and don't count
84.
by griffzhowl 10mo ago
That's reminiscent of Livingstone's description of the time he was mauled by a lion: "The shock produced a stupor similar to that which seems to be felt by a mouse after the first shake of the cat. It caused a sort of dreamin
85.
by griffzhowl 11mo ago
> the first calculations about the greenhouse effect where in 1896! Even 1824 by Fourier https://en.wikipedia.org/wiki/Greenhouse_effect#History_of_d...
86.
by griffzhowl 11mo ago
That sounds like the same circularity, since you'll have to assume numbers exist before proving any statements about them. Physical objects aren't like that because you can discover that they exist by empirical investigation. In m
87.
by griffzhowl 11mo ago
You could say they exist as concepts, that are necessary to use for some reasoning processes, without having any kind of independent existence. It's similar for the case of programs or algorithms. We can say that a sorting algorithm ex
88.
by griffzhowl 11mo ago
Numbers are definitely essential concepts for some kinds of reasoning. If that's what you're saying then fine. The thing is assuming that 5 exists to conclude that 5 exists is obviously circular.
89.
by griffzhowl 11mo ago
The article says it's the heaviest rainfall recorded in Hat Yai over the last 300 years. So that's the actual meaning, and interpreting it in the probabilistic sense seems to have been the initiative of the headline writer.
90.
by griffzhowl 11mo ago
You've already assumed 5 exists in order to assert that it's prime. In any case existence of mathematical objects is a different meaning of existence to physical objects. We can say a mathematical object exists just by defining it

More ›