Posts

This profile is from a federated server and may be incomplete. Browse more on the original instance.

dabeaz, to random
@dabeaz@mastodon.social avatar

Clearly I should stop digging.

vy,
@vy@sciencemastodon.com avatar

@dabeaz do you know the book " Street fighting mathematics" ?

dabeaz,
@dabeaz@mastodon.social avatar

@vy No, but I just looked it up and it seems interesting.

dabeaz, to random
@dabeaz@mastodon.social avatar

If you're not writing bad code, you're not learning anything.

vy,
@vy@sciencemastodon.com avatar

@dabeaz it is good: referentialy transparent, Post-Quantum type convergent, and algebraic vibes positive - it doesn't "work" but so what?

dabeaz,
@dabeaz@mastodon.social avatar

@vy Well, at least it's formatted correctly.

dabeaz, to random
@dabeaz@mastodon.social avatar

The end of an era tomorrow. Every year, the kids' K-8 school has had every grade from 1st grade up run a 5K at the end of the year. I'm no runner, but so far as I can tell, I might be the only parent to have run/walked it every year for 10 years in a row. Youngest kid graduates out next week so that's it!

dabeaz,
@dabeaz@mastodon.social avatar

Clearly the best way to handle my last school 5K walk was to walk to the 5K walk. So, a nice send-off to the last 10 years by actually walking an 11K. ;-).

dabeaz, to random
@dabeaz@mastodon.social avatar

As far as I can tell, the primary use of RAII is to sound smart.

vy,
@vy@sciencemastodon.com avatar

@PeterLudemann @dabeaz it's done to simplify coding and not waste time on tedious bookkeeping - when possible not to.

dabeaz,
@dabeaz@mastodon.social avatar

@vy @PeterLudemann But aren't you worried about preserving semicommutative transitivity?

dabeaz, to random
@dabeaz@mastodon.social avatar

TFW you're looking at a bug report on your book, you're looking at the actual book seeing nothing wrong, and then the notification arrives. "Kindle edition." Aw. Hell.

dabeaz, to random
@dabeaz@mastodon.social avatar

I sometimes wonder if I should teach a project course (like raft or compilers) where you don't even know what programming language will be used until you show up. That would certainly be one way to make things even more exciting.

dabeaz,
@dabeaz@mastodon.social avatar

@leblancfg I can't say that I'll never offer an in-person course again, but if I do, it will probably be a one-off or at the very least, something that's offered very infrequently.

That said, I do miss the in-person interaction. Sigh. n/n

dabeaz,
@dabeaz@mastodon.social avatar

@deshipu It would probably be easier to hide the "mystery" language in the project that they're creating instead of the language that they're using for implementation. But the idea of a big "reveal" at the end could be fun.

dabeaz, to random
@dabeaz@mastodon.social avatar

Kid: "How do I play a blues solo?"

Me: "Play almost nothing."

dabeaz,
@dabeaz@mastodon.social avatar

@elhult @jmsdnns I don't know, it seems to have worked pretty well for async. (drum hit).

jmsdnns,
@jmsdnns@mastodon.social avatar

@dabeaz @elhult i once heard idle processors repeatedly ask for the GIL

dabeaz, to random
@dabeaz@mastodon.social avatar

Recovering from last week's compilers course, working on various improvements. I've been experimenting with the whole approach of writing a "nanopass" compiler (basically, having a lot of very small compiler phases).

I'm struck by how much this approach really leans into issues of the type-system, but with respect to the implementation of the compiler itself. Wasn't fully anticipating the scale of it, but it's great.

lesley,
@lesley@mastodon.gamedev.place avatar

@dabeaz That's surprising. I assumed it would be easier to write a nano-passed compiler in a language without a type system since it needs to lower the program representation incrementally, and literature in that area often uses a Lisp dialect. Though I have never written such a compiler myself, so my assumption could be completely wrong

dabeaz,
@dabeaz@mastodon.social avatar

@lesley It was interesting. We were coding in Python where there is all of this flexibility and you can do all this incremental evolution of things. But, at the same time you feel pulled to put more structure on it. A type system can do that. Although it's unclear if the type system as presented by "optional typing" is that type system.

dabeaz, to random
@dabeaz@mastodon.social avatar

Thought: "Superstition" would be a good name for a programming language.

dabeaz,
@dabeaz@mastodon.social avatar

This inspired by Stevie Wonder and the lyric "you believe in things you don't understand."

deshipu,
@deshipu@fosstodon.org avatar

@dabeaz It's hard to believe in things you do understand. It's how you don't want to know how the sausage is made.

dabeaz, to random
@dabeaz@mastodon.social avatar

Random thought: Something sort of like cicadas, but not cicadas. Instead, squirrels.

dabeaz,
@dabeaz@mastodon.social avatar

@bhearsum I'm just imagining every garbage can in the neighborhood being gnawed down to a little nub and stuff. That'd be crazy.

aijaz,
@aijaz@mastodon.social avatar

@dabeaz On the one hand: no squirrels for 17 years: 👍🏽

On the other hand: every squirrel waking up hungry and screaming at the same time: 😱

dabeaz, to random
@dabeaz@mastodon.social avatar

Trying to convince the kid to do summer community band with me. Aside from the big hurdle of "playing with a bunch of olds", I contend that community band is the way to get good.

We'll probably play 20+ songs. Real arrangements. Stuff they'd play in the top HS band. You'd probably only get 1-2 rehearsals per song--tons of sight reading. People are there to play and have fun. So, it's totally chill, not competitive. Get to be out in the community. And it's free. Unlike band camp.

dabeaz,
@dabeaz@mastodon.social avatar

So, I managed to get the kid to go to community band rehearsal last night. Afterwards, looking exhausted, he says "we rarely make it through a single song during rehearsal at school." Last night: 11 songs. Playing concert Monday.

Better buckle your seat-belt my friend because I looked at the calendar and we're playing 30 different songs in 5 concerts over the next two months.

Pro tip for kids who want a workout: Community band, not pricey band camp.

jmsdnns,
@jmsdnns@mastodon.social avatar

@dabeaz "Tell me and I forget. Teach me and I remember. Involve me and I learn." –Benjamin Franklin

dabeaz, to random
@dabeaz@mastodon.social avatar

Apropos that last boost, it's not too far removed from how ChatGPT formulates the code for the Raft distributed consensus algorithm.

dabeaz, to random
@dabeaz@mastodon.social avatar

Ramdom thought: Proper grammer used to be important to prove that you was educated, but maybe its best to avoid it to prove that your not AI.

fabian,
@fabian@floss.social avatar

@dabeaz Fair enough. My thought was only remotely related, admittedly.

dabeaz,
@dabeaz@mastodon.social avatar

@fabian I must admit that I entertain certain thoughts though. For example, if my kid included a minor grammatical mistake in his college admission essay, would someone seeing it interpret it as "he doesn't know how to write" or would it now be interpreted as "he probably wrote this essay himself"? I don't know.

dabeaz, to random
@dabeaz@mastodon.social avatar

Saw a deer following/chasing a coyote this morning. Babies must be nearby.

slampoud,
@slampoud@mastodon.cloud avatar

@dabeaz maybe it wants to cuddle?

dabeaz,
@dabeaz@mastodon.social avatar

@slampoud I dunno. That deer pretty actively chased that coyote out of the swampy area, across a busy road, and into a nearby housing subdivision.

dabeaz, to random
@dabeaz@mastodon.social avatar

Note to self: "I'm sorry" is not the most tactful response when other parents say they're working on a project related to AI-- correct though it may be.

deshipu,
@deshipu@fosstodon.org avatar

@dabeaz smile and wave, keep on walking, smile and wave...

gla,
@gla@mastodon.social avatar

@dabeaz It is if you say it in British

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • cisconetworking
  • DreamBathrooms
  • InstantRegret
  • ethstaker
  • magazineikmin
  • Youngstown
  • thenastyranch
  • mdbf
  • slotface
  • rosin
  • modclub
  • kavyap
  • GTA5RPClips
  • provamag3
  • osvaldo12
  • khanakhh
  • cubers
  • Durango
  • everett
  • ngwrru68w68
  • tester
  • normalnudes
  • tacticalgear
  • anitta
  • megavids
  • Leos
  • lostlight
  • All magazines