Viewing profile — helltone

How do you think of uv vs pixi? Follow up: has anyone suggested the projects collaborate or eventually converge?

I thought glass was a solid?

I'm building in robotics. Setting up a new 3d camera today. I found that the 10m active USB C cable that I bought transfers power in both directions, but only transfers data in one…

Is there anything like a linter to force you to stay within some subset of c++? I like the language, but it is hard to avoid language constructs that are outdated or enforce a sing…

In the UK, probably nuclear.

The goal of automation is not necessarily reduce personnel, it could be increased reliability, reduced risk to life, reducing waste from scraps, faster lead time, etc

Do you have some references for the pick and place and other reconfiguration things you mentioned. I've been out of this space for a while but last I checked these were still incre…

Docs are always the first thing to rot. When engineers leave or switch projects, a ton of context disappears: why decisions were made, what the gotchas are, how to onboard the next…

No amount of fine-tuning can prevent models from doing anything. All it can do is reduce the likelihood of exploits happening, while also increasing the surprise factor when they i…

Right I think I see it. This is insanely cool. But then there are performance tradeoffs in reusing intermediates vs recomputing that I think you can't represent. Some of these may …

I have a background in program analysis, but I'm less familiar with the kind of kernels you are optimising. - Can you give some more insight on why 12 ops suffice for representing …

This heavily depends on share classes and preferences. Surely the new investor wants better terms. The issue isn't so much dilution as a preference but added risk of never even get…

This resonates with me a lot. Can I contact you? My email is in my profile.

Every time I see these headlines, the tech seems to be at least 10 years away from product. - demos done in a lab controlled environment without the crazy things that happen in a r…

This is very cool. I'm wondering if some of the templates and switch statements would be nicer if there was an intermediate representation and a compiler-like architecture. I'm als…

No? Or maybe I'm missing something. If the goal is to be able to bound the computation of f, you can: 1) compute f with interval arithmetic 2) compute f normally and f' with interv…

I think perhaps this could be done in other ways that don't require interval arithmetic for autodiff, only that the gradient is conservatively computed, in other words carrying the…

How does the chart generation work under the hood? It's quite magical. Also how did you build the spreadsheet interface it's very cool.

I'm building a tool to make ml on tabular data (forecasting, imputation, etc) easier and more accessible. The goal is to go from zero to a basic working model in minutes, even if t…

Backtracking idea is interesting, could maybe diffusion help? At some point it turns into sat solving.

Can I reach out to you directly to hear more? My email is on my profile.

How do you modify ASTs?

Program equivalence is undecidable, in general, but also in practice (in my experience) most interesting cases quickly escalate to require an unreasonable amount of compute. Person…

Off topic but how is MCTS usually implemented efficiently? It has a branching structure that doesn't seem parallelizable (GPU).