Viewing profile — jderick

Bo Burnham

dev vs validation team

I think with guitar it is easy to enter flow state because it is easy to avoid playing the "wrong" notes. Probably similar to these other hobbies. Perhaps they just happen to have …

Can you put them all on one page and zoom in/out? Might be interesting to see some patterns in the sequence. Maybe allow filters for different factors or number ranges or different…

Was this in SV?

Could this be used to train an LLM? It seems the hidden states could be used to learn how to store history.

Distributed systems are hard. I like the idea of "semantic locality." I think it can be achieved to some degree via abstraction. The code that runs across many machines does a lot …

I wonder if this can generalize to mandelbulb?

Step one should be having an edtech ecosystem that doesn't allow students to use the web. There are just too many distractions online. I think noone has really invested the kind of…

It's a lot harder to make a single player game have depth and complexity than it is for a multi player game, since you don't have human opponents.

It doesn't make sense unless zooming out shows some higher level representation of the code.

It is interesting to see the type of analysis he does and the visualizations are impressive, but the conclusions don't really seem too surprising. To me, it seems the most efficien…

I'd be curious to see an example of what you are talking about wrt his analysis here.

What is GPR?

Even great regular coffee isn't ubiquitous yet.

For me, reading fiction is all about beauty. I liken it to listening to good music. It isn't really to learn anything "substantive." It is to experience a feeling or be transported…

For me, Joyce is the pinnacle of the English language. I can't say I understand too much of what is happening but noone writes more beautifully. I just love the sound of his words …

Maybe they can create one without all the traffic.

Apple is pretty tight lipped about revealing the details of our work. Formal is a bit of a niche area, but you can find some info online. Here is a course taught at UT with some sl…

We use formal at Apple to verify hardware. We are always looking for good people in this area.

Maybe instead of a summary we should ask what the most interesting parts of the article are?

I wonder if the gap has narrowed over time.

Or even better, remote work.

tldr: "So you're saying the best way of figuring out what's inside someone else's mind is to ask them?" "That's right."

Isn't EVE like this?