HN user

krosaen

2,014 karma

I work on autonomy and related tooling at Skydio

Previous: Toyota Research Institute, UM robotics, VP Product at food52.com, co-founder of realtimefarms.com, engineering at google/android, masters/undergrad at umich engineering

Posts67
Comments462
View on HN
github.com 6mo ago

Revup: Upload once to create multiple, relative GitHub PRs

krosaen
15pts2
blog.redplanetlabs.com 1y ago

Migrating terabytes of data instantly (can your ALTER TABLE do this?)

krosaen
5pts0
www.economist.com 2y ago

America's elite universities are bloated, complacent and illiberal

krosaen
34pts42
reason.com 2y ago

Why Frozen Pizza Is the Best Pizza

krosaen
3pts1
nikhilism.com 2y ago

A practical introduction to kill-safe, concurrent programming in Racket

krosaen
1pts0
www.economist.com 2y ago

Parkinson’s Law (1955)

krosaen
2pts1
www.holovaty.com 3y ago

Adventures in generating music via ChatGPT text prompts

krosaen
2pts0
astralcodexten.substack.com 3y ago

I Won My Three Year AI Progress Bet in Three Months

krosaen
1pts0
linear.ups.edu 4y ago

A Second Course in Linear Algebra

krosaen
3pts0
twitter.com 5y ago

Steve Yegge: “Apple is refusing my app ” (over Apple Sign in prominence)

krosaen
6pts1
www.cs.middlebury.edu 5y ago

CS 315 – Systems Programming – Fall 2020

krosaen
1pts0
szeliski.org 5y ago

Computer Vision: Algorithms and Applications, 2nd ed

krosaen
1pts0
plague.wtf 5y ago

Plague.wtf

krosaen
6pts0
manipulation.csail.mit.edu 5y ago

Robotic Manipulation (Online Textbook)

krosaen
58pts10
manipulation.csail.mit.edu 5y ago

Robotic Manipulation Fall 2020

krosaen
3pts1
civilityandtruth.com 5y ago

Mozilla makes money and spends it

krosaen
3pts0
blog.sonos.com 6y ago

Sonos: Some of our oldest products will no longer receive software updates

krosaen
8pts3
youtu.be 6y ago

Bayes theorem and making probability intuitive

krosaen
3pts0
jpieper.com 6y ago

Mjbots quad A0: October 2019 Roadmap (open source quadruped robot platform)

krosaen
3pts0
www.essential.com 8y ago

A note from Andy Rubin on customer data mishap

krosaen
2pts0
spectrum.ieee.org 8y ago

How Much Can Autonomous Cars Learn from Virtual Worlds?

krosaen
2pts0
www.economist.com 8y ago

The Economist: Larry Page should have written a ringing, detailed rebuttal

krosaen
2pts0
www.coursera.org 8y ago

Coursera Deep Learning Specialization (Andrew Ng)

krosaen
3pts0
www.fast.ai 9y ago

New Fast.ai Course: Computational Linear Algebra

krosaen
2pts0
www.righto.com 9y ago

Reverse engineering the 76477 “Space Invaders” sound effect chip from die photos

krosaen
207pts45
duo.com 9y ago

Flipping Bits and Opening Doors: Reverse Engineering an Office Badge System

krosaen
1pts0
karlrosaen.com 9y ago

How to Learn Machine Learning

krosaen
6pts0
karlrosaen.com 9y ago

Expectation Maximization with Coin Flips

krosaen
1pts0
karlrosaen.com 10y ago

Simulating Random Variables with Inverse Transform Sampling

krosaen
1pts0
karlrosaen.com 10y ago

The Sigmoid Function in Logistic Regression

krosaen
97pts57
The AirPods Effect 1 month ago

Interesting that your experience is so different. I didn't mean strangers in my neighborhood though, just acquaintances / neighbors who I talk to sometimes - and airpods nudge the decision towards smile / wave keep walking over stop and chat.

The AirPods Effect 1 month ago

Wearing on public transport: meh, the chances I chat with a total stranger is quite small.

Wearing on walks around my neighborhood: yes, totally see how this nudges away from spontaneous chats with neighbors / acquaintances as we pass each other and wave, but don't stop perhaps due to the friction of removing airpods and sense we may be interrupting each other.

Sometimes if I see a neighbor I know up ahead, I will preemptively remove my airpods to open the possibility of a chat. Most of the time just a hello, but sometimes a nice catch up. With the airpods, very unlikely to chat.

The CEO of Toyota Research Institute, Gill Pratt, had some good (albeit self-serving) points about the benefits of hybrids and PEVs to complement EVS a few years back that I bookmarked and keep coming back to:

https://web.archive.org/web/20210727090309/https://medium.co...

https://web.archive.org/web/20210825054702/https://medium.co...

Maximizing the benefit of every battery cell produced requires that we distribute them smartly.

This means putting them into a greater number of “right sized” electrified vehicles, including HEVs and PHEVs, instead of placing them all into a fewer number of long-range BEVs, like my model X. This is particularly important because presently it is difficult to recycle the kinds of batteries used in BEVs. If we are to achieve carbon neutrality, we must pay attention to all parts of the “3R” process — Reduce, Reuse, and Recycle.

For example, we hardly ever put gas into our RAV4 Prime PHEV, which has a battery ⅙ as large as our Model X BEV. For the same investment in batteries as our single Model X, five other RAV4 Prime customers could reduce their carbon footprint too.

Happy Map 3 months ago

But research is showing that social media and smartphones have made us addicted to screens from a young age. It’s taken a toll on how much time we spend together

Agree completely, but it has also lead to widely held pessimistic beliefs like

But how do we find meaning when the climate is warming, politics is broken, and technology serves profit over people? We can’t think about thriving; we're merely surviving.

I anticipate downvotes, but I seriously suggest reading https://en.wikipedia.org/wiki/Enlightenment_Now for some perspective about long term positive trends, and insights into why we over weigh short term negative news to the detriment of our mental health.

Assuming you go down the path of allowing online anything, seems like, after doing your best with parental controls, the most effective thing is time boxing screen usage. Only so much can happen in, say, 2-3 30 minute sessions throughout the day, and the chances of a kid deciding to blow their precious minutes responding to some random person seems much lower than if bored and checking messages idly. Being nearby during a healthy sample of sessions to have a pulse on what's going on helps too - usually pretty obvious what they are doing.

But I share the frustration of the author with how unreliable the controls are. Apple screen time controls routinely stop working - especially the one that only allows access to a finite list of websites. I need to check the browser history every week or so to confirm it is still working, and do some dance where I turn off controls, reboot, then turn back on every once in a while. The reason this particular control is important to me is that, even starting with something as pure as neil.fun, ads on that site have proven to be a few clicks away from semi-pornographic sites - it's terrible! And yet, turning off all internet access is such a coarse decision that limits access to things that are generally informational / fun / good (like neil.fun, or sports facts sites).

Anyone have experience with https://valetudo.cloud?

Seems like could be a good solution to using best rated (chinese) vacuum's while mitigating privacy concerns.

I am bummed that US robovacs aren't that competitive. Rooting for Matic, though currently don't seem to be as good as Dreame / roborocks [1] (can't go under furniture, apparently take longer to clean same area, tout "vision only" as a feature while charging more - you would think having fewer sensors / no lidar would bring costs down).

[1] https://vacuumwars.com/matic-robot-vacuum-review/

Size of Life 7 months ago

Saw this too on mobile - I think it's an ad - I requested a paid ad-free version elsewhere in the comments

Size of Life 7 months ago

Neal.fun is good clean fun - my kids love it too. Neal, if you are listening, would pay for an ad-free version (I already bought you some coffees too).

Collaboration sucks 8 months ago

No so much about why collaboration sucks as and argument for how important direct ownership / responsibility is. Good post.

Why is Zig so cool? 9 months ago

I like the idea of the `defer `keyword - you can have automatic cleanup at the end of the scope but you have to make it obvious you are doing so, no hidden execution of anything (unlike c++ destructors).

This looks pretty awesome, and excited it's not only a cloudflare product (Cap'n Web exists alongside cloudflare Workers). Reading this section [1], can you say more about:

as of this writing, the feature set is not exactly the same between the two. We aim to fix this over time, by adding missing features to both sides until they match.

do you think once the two reach parity, that that parity will remain, or more likely that Cap'n Web will trail cloudflare workers, and if so, by what length of time?

[1] https://github.com/cloudflare/capnweb/tree/main?tab=readme-o...

We've lost our sense making ability in our coverage of AV progress. Setting aside Elon's polarizing behavior (which is a big thing to set aside) all of these things seem true:

- Elon bullshits wildly and sometimes delivers

- FSD is far ahead of other available personally owned autonomy - no other system even attempts to drive on surface level streets. FSD works better than you would think - I've been in several flawless rides across town in conditions I didn't expect it to handle.

- FSD doesn't work well enough to rely on it yet, so what's the point for real consumers who don't want to sit there nervously hovering their hands over the wheel even if it is impressive and you might have to ride several hours before anything goes awry.

- We can't really know how close FSD is to being reliable enough because all we have is marketing claims from Tesla, fan boy clips on YouTube, and haters who can't seem to discern where FSD really is ahead, even as it falls far short of hype

What I wish we had was a common metric audited by a third party reliably published in terms of hours until disengagement or something like that across all systems in various conditions.

I find this post interesting independent of the question of whether leetcode problems are a good tool for interviews. It's: here are some kinds or problems constraint solvers are useful for. I can imagine a similar post about non-linear least squared solvers like ceres.

I pay for YouTube premium (which gives me YouTube music too) and am happy with the lack of ads, even though many creators still mix paid sponsors into their videos. It seems the creators are motivated to keep things minimal or they will lose engagement.

What I am not happy with is a lack of control over the homepage and recommendations. I would really like to be able to easily block channels from ever showing up, but you can only sort of do this if you click "don't recommend this channel anymore" from the homepage. But you can't do this if a video shows up recommended from another video. And overall, it just feels like they are spending so much effort trying to get me to watch the next video instead of enjoy the one I am trying to watch.

For my kids, I came up with an ad hoc policy where they can watch from the homepage / recs on weekends but during the week have to stick to a personal playlist they can only add videos to on the weekends. This removes the algorithmically driven addictive nature of YouTube and unsurprisingly they end up moderating their use of Youtube within their alotted screen time much better. It distinguishes between, "I want to watch this" and "I want to pull the slot machine lever." But I would be a lot happier if I could better curate access to content for my kids too. Youtube Kids sucks, it ends up filtering out a bunch of interesting stuff like carpentry and nature content that hasn't been marked "for kids" in favor of videos of kids shopping for toys and stuff.

Anyone know what scale does these days beyond labeling tools that would make them this interesting to Meta? Data labeling tools seem more of a traditional software application and not much to do with AI models themselves that would be somewhat easily replicated, but guessing my impression is out of date. Also now apparently their CEO is leaving [1], so the idea that they were super impressed with him doesn't seem to be the explanation.

[1] https://techcrunch.com/2025/06/13/scale-ai-confirms-signific...

After researching a few apps, I have found Piano Marvel to be pretty good for automating practice of both scales, arpeggios and ear training as well as having a bank of songs. I use the web version, and the interface is clunky, but it’s the closest I have found to a math academy like took for piano.

GM will take responsibility for accidents with super cruise if it was being used as intended [1] - and that includes eyes on road, hands free driving. Hands free means a very bad bug where it jerked off the road with no warning seems like it falls in that bucket. I wouldn’t consider my inability to grab the wheel instantly in that scenario stupid. With comma, in that scenario, it would still just be, hey, you are running open source software you installed at your own risk, right?

Comma could come installed with open pilot and some limited liability, but it puts it all on you having you install it yourself. That is making less and less sense to me as they mature. I would think they could take on some liability, and still have the ability to defend themselves in cases where an accident was due to reckless use (e.g circumventing eyes on road tracking) or improper installation.

[1] https://blog.moseleycollins.com/will-gm-take-responsibility-...

I find this product appealing, but aren't you taking on full liability when using it? Not having the company I buy a product like this from have any liability seems like bad incentives and makes me nervous, currently wouldn't drive with my family in the car especially. For instance, what if there was a bug that caused the system to make an abrupt right turn off the road? Seems highly unlikely, but again, if they are confident it is safe, can they not have some legal skin in the game to prove it?