zfnmxt

9 ms·

31.
by zfnmxt 2y ago
I personally used Sipser, but I think the book by Neil Jones [1] that takes a programming languages approach is really cool, and potentially more along the average HN reader's interests. [1] http://hjemmesider.diku.dk/~
32.
by zfnmxt 2y ago
> No, that would error in julia. Okay, but '[[1,2,3] [4,5,6]] .+ 4` does work! Looks like Julia distinguishes between a two-dimensional array and an array of arrays (which Futhark does not). To me, it feels like semantically '[
33.
by zfnmxt 2y ago
> Congrats on both the paper and the graduation! Thanks! Although I still have to actually graduate and the paper is in review, so maybe your congratulations are a bit premature! :) > A long time ago, I worked on optimizing broadcast
34.
by zfnmxt 2y ago
> Julia’s broadcast doesnt do anything dynamic. When is a broadcast expression transformed (and fused) into vectorized code? > If you know the input types of a broadcast expression, you know the output type. Do you always (statically)
35.
by zfnmxt 2y ago
I'd actually say what we did in Futhark is more similar to what Julia does (in the sense that the dot operator is syntactic sugar for Julia's `broadcast`) than what NumPy does---I wrote "NumPy-style" in the title just be
36.
NumPy-style broadcasting in Futhark(futhark-lang.org)
132 points by zfnmxt 2y ago|28 comments
37.
by zfnmxt 3y ago
> but they don't contradict any of this. Sure, and I agree with what you've said. But as you pointed out, you have to be very particular/exact with language with these things. I just wanted to emphasize that there are m
38.
by zfnmxt 3y ago
> I understand why verifying can happen in time P for each machine, but I'm still confused on how you're sure that you hit on the right machine in P time. My monkey stuff was a bit wrong; the enumeration stuff actually goes lik
39.
by zfnmxt 3y ago
Disclaimer: I didn't know about universal search until I read stephencanon's comment. I just thought it was fun to think about and I think the answer is what follows, but it could be wrong! Imagine your problem is to write Hamle
40.
by zfnmxt 3y ago
> - Rice's theorem, that it is impossible to determine computational properties of arbitrary programs, will still apply, making static analysis (including antivirus programs, security scans, etc.) heuristic rather than exact. I thin
41.
by zfnmxt 5y ago
And I never claimed that physical fitness doesn't include cardiovascular fitness.
42.
by zfnmxt 5y ago
When calling me "some brain dead nobody builder" it would be nice if your response actually faithfully represented mine. I did indeed write > VR exercise is a remarkably poor allocation of time (if your interest is physical fit
43.
by zfnmxt 5y ago
I'm having trouble understanding how your comment refutes mine; could you clarify? > Not the only one, but the notion that the only way to build muscle is to 'tear up' your muscles with huge lifts is both outdated and wron
44.
by zfnmxt 5y ago
Everything is a stressor. Doing nothing is a (negative) stressor. The question is is it a sufficient stress. And it is not. Squatting 120 kg x 5 every day is a stressor, and provided you do no other strength training, it will feel hard. But
45.
by zfnmxt 5y ago
> Increased strength is adversarial to improved cardio efficiency. This is absolutely untrue. If you take a runner who doesn't squat and get them to squat (and get stronger) they will become a better runner. By becoming stronger, ea
46.
by zfnmxt 5y ago
> What works for you doesn't work for other people I think this mindset is extremely destructive. You do not have some unique fitness journey and have to find some niche thing that works for you. Barring significant physical abnorma
47.
by zfnmxt 5y ago
> Only if you come in telling the Perl programmers that they can’t possibly have written useful code. Which is what i hear when zmmmmm says In hindsight, perhaps the analogy was poor. Perl and Rust can express exactly the same computatio
48.
by zfnmxt 5y ago
> what makes me strong How do you know what makes you strong? That is, how do you measure it?
49.
by zfnmxt 5y ago
I should've written more explicitly: bodyweight squats don't make people who harbor a decent level of fitness stronger. Like any novel stimulus, they will make you stronger for a short while and then it will stop once you've
50.
by zfnmxt 5y ago
The lower body musculature is too large to be effectively stressed by bodyweight exercise in people fostering any decent level of fitness, i.e., bodyweight squats don't make you stronger. Just because an exercise is hard or makes you s
51.
by zfnmxt 5y ago
The fallacy everyone is making here is believing that consistency trumps all else. But it doesn't if you're consistently subjecting yourself to a stress which does not result in any new adaptations--then there will be no change. A
52.
by zfnmxt 5y ago
> To mitigate that risk you then have to start doing additional warm up, foam rolls, recovery routines How do you know that any of this is effective? > Oh and lets not forget that most people can't even do squat properly, so add
53.
by zfnmxt 5y ago
> For that, you'd need to be convinced that exercise/strength training results in better health outcomes long term, and that better health outcomes are an important factor in emotional wellbeing. On top of this, being physicall
54.
by zfnmxt 5y ago
> There are adaptations that only happens during long easy sessions. What sort of adaptations? As far as I'm aware, adaptations are the result of significant stress. What are the stressors of a "long easy session"? At any
55.
by zfnmxt 5y ago
The title of the post is "Virtual Reality: My Digital Dojo for Mental & Physical Fitness". The post is about physical fitness and I think the author is conflating physical fitness with cardiovascular fitness. > in fact many
56.
by zfnmxt 5y ago
> but then you are putting down what other people manage to do. This is a bizarre argument to me. If I argue that Rust is better than Pearl am I "putting down" Pearl programmers? There is no personal attack here--I firmly belie
57.
by zfnmxt 5y ago
That's too bad. Out of curiosity, do you have meaningful progress on Stronglifts? Can you tell me what your starting lifts were and what you're at now?
58.
by zfnmxt 5y ago
> You don’t need to min/max and obsess over progression and optimization to get good exercise. You're right, but I'm not talking about exercise, I'm talking about training. You do need to "obsess" over progr
59.
by zfnmxt 5y ago
VR exercise is a remarkably poor allocation of time (if your interest is physical fitness, efficiently). It also leaves out the most important adaptation of all: strength. Effective training (not exercising) requires a progression model. Th
60.
by zfnmxt 5y ago
> I actually started bulking up in my upper arms for the first time in my life. No you didn't, unless you were completely and utterly detrained (i.e., previously bedridden or something) and even then, the stimulus would've only

More ›