I am utterly repulsed by this now-pervasive staccato impact writing. LinkedIn is a quagmire for AI-generated copy.
HN user
infamousclyde
This was a great read, and a bit of a break from the noise. Kept me engaged the whole time. You’re a good guy.
I’ve always used AoC as my jump-off point for new languages. I was thinking about using Gleam this year! I wish I had more profound reasons, but the pipeline syntax is intriguing and I just want to give it a whirl.
Jon Gjengset (of MIT Missing Semester, Rust for Rustsceans, etc) shared a stream doing complex changes of increasing complexity to a geospatial math library in Rust. He’s an excellent engineer, and was able to pick apart AI-suggested changes liberally. The caveat is that the video is a bit long, but segmented nicely.
I think he had a positive experience overall, but it was clear throughout the stream that he was not yielding control to a pure-agent workflow soon.
To the author: I really enjoyed your style of writing. This had more explicit and realistic examples compared to other HN tutorials on the subject, and that made it easy to inhale in one sitting. Thanks for your work!
Similarly, there’s a special military unit whose motto is “Facta Non Verba”— deeds, not words. Talk is cheap!
I mean… Men are faster than women in the general case. It’s not really up for debate— it’s grounded in biological differences. Testosterone is essentially a steroid that women are not working with. There is a clear divide in the competition at all levels of the sport to facilitate this and promote a fair level of competition.
The ultra marathoning statistics are fine, but they also have significantly smaller viewership and uptake in the general population. Consequently, it’s more of the Wild West, and as a result, I don’t think it accurately reflects the global running scene.
My wife is an Olympian in a track event and we have also discussed this at length. CrossFit’s trademark of “the fittest on earth” for the champion of their international competition (… the name escapes me…) always elicits an eye rolls from her. If you asked her, she would say Decathletes are the crème de la crème.
Thanks for your sanity. My wife is a (Canadian) Olympian and I almost feel betrayed by the level of condescension towards sports in this forum that I am normally aligned with. Like engineers denigrating the arts because it doesn’t generate value— it makes me think some folks are not experiencing what life has to offer.
Recently attending the World Championships for Athletics in Budapest, supporting my fiancée in the 5000m. I'm not super athletic myself, but one of the country's notable figures is Ernö Rubik, inventor of the Rubik Cube.
They had a social media thing going around where you could tag your country for a chance to get featured. From a 14 second PB in my youth, it was still pretty trivial to get somewhere in the 25-30 second range on the janky stock cubes they distributed to all the athletes. It was probably the most I did for Team Canada during that trip.
I like running (now). I never played sports growing up, and would not consider myself particularly athletic. I joined my country's military as an officer, and always found myself running at someone else's pace, which was also awful.
When I finished my undergraduate degree, I found I had a huge vacuum of time. So, I started running. I signed up for a marathon with some friends and the training was fun, because I was running (!) the show. I ended up running pretty well, and kept it up.
Nevertheless, I met a girl while running who really put me through the ringer on a "running first date"-- She turned out to be an Olympian in track. This past week, I actually got to watch her compete at the World Championships in Budapest in the 5000m, and was even luckier to propose to her about two days ago.
I still think it's kind of funny, as a guy who really hated exercise growing up. She's a great foil to my dorkiness. Anyways, feel free to ask us anything about running. We're just killing time right now.
This is purely anecdotal, but I had to complete Conflict of Interest administration for concurrent outside employment while serving as an officer in the military full-time. Basically-- follow internal policy governing this, to cover your backside.
"There Will Come Soft Rains", more or less.
Well done, must have taken some fortitude.
"That are still software based" is interesting. Are there hardware-based trading systems?
I guess my presumption was that algorithmic trading was a very tight feedback loop, with as many controlled variables (i.e., GC) as possible, so I think it just subverted some of my misplaced expectations.
Fascinating application of the language and a terrific write-up. I would presume a GC language would normally be a disqualifying factor in real-time trading, but I think I'm coughing up some premature optimization, especially with what looks like a pretty beefy rig. Congratulations though, this is spectacular.
This was really great, thank you so much for sharing.
Oh my god, same. I'm not exactly a cybersecurity whiz, but going through the details, it was like "Is this a PCAP? Is this a PCAP?". Good lord, this was a silver platter.
This is the premise of "Two Phones" by Kevin Gates. The lyrics are more or less just paraphrasing this comment.
As a guy who has run basic training for recruits in the military, I would say the most common is shin splints (by far), followed by tendonitis, plantar fasciitis, IT band syndrome, and in exceptionally rare cases, compartment syndrome (although I have seen it, and this requires surgery to correct).
Prevention is key for these-- particularly by familiarizing your body with the loads incrementally. While some may have the aerobic fitness to complete a 5k (even if they're new to running-- a cyclist or swimmer, perhaps) the musculo-skeletal adaptations involved with consistency haven't occurred yet, and injury is a lot more likely. Even elite runners, when they're "getting back into it" start with alternating run-walks to avoid the "too much, too fast" loading.
Most of these can be addressed by seeing a physiotherapist, and normally involve cutting mileage or pace significantly and/or strengthening weak supporting muscles.
Because professional athletes are anything but "balanced"
I'm sorry, how much money do you think professional runners make that it affords them some crazy diet that the general public can't tolerate? Not even professional runners for that matter-- college runners, or even high schoolers. My partner and all of her colleagues that compete at the international level in Canada have part-time jobs. My partner is in grad school full-time at the moment, too. They aren't "abusing their body" as much as possible, they just do a lot of base mileage, two key workouts a week, and recover and eat properly-- and they've done that for years. That's the secret.
I eat with, and cook for my girlfriend, and I am a brutally normal guy in the military. We just use standard ingredients and try to cook things from scratch. We have pizza and/or go out to eat about once every two weeks or so. This isn't purely anecdotal, it's completely reasonable to run a 120km/wk and maintain a normal life-- that's most elite runners on the field, and I make that assessment as a guy who has been in these circles through my partner.
I would disagree with your assessment of "unstoppable" versus "fastest". You can certainly have both with carbohydrates. Moreover, given the parent comment wanted to get faster, I would probably not reach for keto under your recommendation.
Unless you are a pro athlete (in which case you have your own dietician anyway)
Why not train like a professional athlete and just eat a balanced diet, like their dieticians recommend? My partner has represented my country in the Olympics in a long distance track event and none of her support staff have ever advocated for keto as a responsible diet for her training needs.
I mean, the science says fat is less energy-available than a simple source of carbohydrates. It seems like a pretty easy choice if you want to hit target speeds during your workouts and become faster over time.
This is kind of curious. Isn't that 2/3 energy slump usually associated with the marathon distance, as your body exhausts glycogen reserves? You shouldn't be bonking at 15k. Moreover, I would never recommend to stop eating carbohydrates as a distance runner. I think it's great you lost weight and hit a PB, but I would lean towards consistent training with key workouts and a balanced diet leading up to a race.
Yeah, I've read Born to Run too. I think it's pretty naive to deduce that the modern shoe industry is responsible for joint/tendon issues. Frankly, more pros would be wearing minimalist footwear if it was the cure-all as written. To be clear, if the minimalist footwear trend works for someone, that's great for them. But if you played the game of "I spy" for minimalist footwear at any professional meet with distance runners... Good luck finding a pair.
Splits refers to the amount of time passed over a measured distance. A miler would be interested in their 400m split (the time they run through 1/4 of their race), and a marathoner would be more concerned with their mile/km split.
Holistically, pacers are just experienced runners that provide even splits over their distance. In a marathon context, running in a group can be quite pleasant and motivating, but there is definitely nothing stopping anyone from just using a GPS watch.
I don't think it's so black and white. Sometimes, races without pacers can have exceptionally slow splits (which-- admittedly, leads to a very exciting and tactical conclusion on occasion). These "slow" bouts are quite common in heats in the Olympics, for example.
Pacers in the Diamond League, for example, maintain an exceptional pace that regularly leads to new World Records for participants, because the entire race is fast from the gun.
I don't disagree with your sentiment. Just adding some nuance.
My partner regularly picks up pacing duties. It's pretty common for professional runners, and they receive some modest compensation depending on the size of the meet. Pretty trivial for a 1500 or 3k specialist to pace a 10k, for example. She's knocked out an 8:46 3k and is quite literally a human metronome, so it's a good go for her. Making sure your splits are even requires a lot of practice, however, and accelerating or slowing down is an unpleasant experience for the rest of the race participants.
I mean, I think I understand what they're saying. A thirty minute tempo will develop your aerobic capacity more than a thirty minute easy run-- more or less analogous to progressive overload in weightlifting. That's not to say that you can't grow/improve as a runner without challenging sessions, but I imagine the rate of improvement would be significantly lower. Pro runners would be doing as many workouts as possible per week if recovery weren't an issue!
Here to recommend CoRecursive as well! I would also recommend the SerenityOS episode for first-time listeners. The quality of the podcast, in general, is spectacular.