HNHacker News
TopNewBestAskShowJobs

jsomedon

41 karma · joined November 10, 2017

submissionscomments
jsomedon··on Fancy Parking
Isn't this how everybody parks usually?
jsomedon··on F# RISC-V Instruction Set formal specification
> the RISC-V instruction set (ISA), decoder, executor, and state machine

So does this repo define these things as F# function and as a user I can import this repo as library and call those functions and my function call would directly run instructions on RISC-V processors, with no "middlewares" like operating system and such?

jsomedon··on Bun v0.7.0
AFAIK there are competing javascript runtimes including Bun, Deno, Rome, Node and other runtimes that I don't know about. So which one to use?
jsomedon··on Redmine – open-source project management
I think he means it's rare to see a project not blindly following new design trends and still doing well.
jsomedon··on Compilers for the Future
Very cool! I didn't know bing can do that. Gotta try.
jsomedon··on Compilers for the Future
Are those images ai generated? Some of them are pretty high quality.
jsomedon··on Enigma Virtual Box – Application Virtualization System for Windows
Is there any relation between this and Oracle's Virtual Box? Or is this more like a "light weight virtualization", like docker?
jsomedon··on Mozilla VPN
After firefox introduced that megabar UI with no option to turn that off, I started considering switching back to chrome. It's very questionable if they still care about their users, and if that's the case, firefox has ZERO advantage over chrome.
jsomedon··on Ask HN: Favorite teachers on YouTube?
Good to see fitness stuff getting mentioned. His channel is pretty good. This guy is a PhD in relevant field and he has been working with professional athletes for years. Combination of his experience and theoretical background simply makes his channel invaluable. And I wonder if he has trouble washing out pen marks he draws on his body whenever he explains how muscle fibers look on his arm and how that's related with different forms and movement he designed -- well I mean most mark pens I used in my college stink like bad alcohol mixed with muddy paint so, good luck with washing that out :-p

And I also wanna recommend fitnessfaq(https://www.youtube.com/user/FitnessFAQs)

Its' more of a bodyweight training focused fitness channel. Bodyweight training is arguably more difficult to progress (or unnatural? or inconsistent I would say? I mean you can't simply increment weight without changing your form like you can do when you progress with barbell/dumbell, you may have to adjust your form a little bit, can't think about right word for this) and yet more effective in training conditioning, mobility, skill (mainly because almost all bodyweight exercises involve more muscle groups/joints/body parts simultaneously, while, many weight training exercises using barbell/dumbbell as resistant instead of bodyweight, usually involve much fewer muscles joints and body parts) But not the case if we are talking about barbell trainings like squat and deadlift, these are as good as bodyweight training in terms of whole body involvement in my opinion. Actually I am doing bodyweight training for majority part of my body but squat and deadlift for my leg(dumbbell not barbell, well because I am too lazy to go to gym, I prefer exercising home, I would recommend using barbell though)

But with all those pros and cons of bodyweight training and non bodyweight trainng, both are good for your body, good to get you in shape and to look nice and to lose weight and to get stronger and all sort of things you can expect from arnold swarchenegger.

← PreviousPage 2 of 2