home.social

Search

1000 results for “dave_andersen”

  1. @dave_andersen

    His #wip book contains gems like:

    » Hilbert called it ε , but I think it’s better to call it choose. «

    » Mathglish differs from English in two ways: It eliminates some of the imprecision of English by giving a precise meaning to some imprecise English words, and it makes the written language more compact by using mathematical formulas to replace English phrases. «

    Revised Draft of New #TLA Book
    #LeslieLamport 1 March 2024

    lamport.azurewebsites.net/tla/

  2. @dave_andersen @steve I was just on my ancient Volkl 6* SuperSports last weekend, at least until everything froze over and it got really boring because it was all closed, at which point I decided to work on snowboard technique.

    Wow they really are old now.

    By the way, shout out to #MarbleMountain in Western Newfoundland. I think I waited in line for less than 5 minutes over two days.

  3. @dave_andersen @steve I was just on my ancient Volkl 6* SuperSports last weekend, at least until everything froze over and it got really boring because it was all closed, at which point I decided to work on snowboard technique.

    Wow they really are old now.

    By the way, shout out to #MarbleMountain in Western Newfoundland. I think I waited in line for less than 5 minutes over two days.

  4. @dave_andersen @steve I was just on my ancient Volkl 6* SuperSports last weekend, at least until everything froze over and it got really boring because it was all closed, at which point I decided to work on snowboard technique.

    Wow they really are old now.

    By the way, shout out to #MarbleMountain in Western Newfoundland. I think I waited in line for less than 5 minutes over two days.

  5. @dave_andersen @steve I was just on my ancient Volkl 6* SuperSports last weekend, at least until everything froze over and it got really boring because it was all closed, at which point I decided to work on snowboard technique.

    Wow they really are old now.

    By the way, shout out to #MarbleMountain in Western Newfoundland. I think I waited in line for less than 5 minutes over two days.

  6. @dave_andersen @steve I was just on my ancient Volkl 6* SuperSports last weekend, at least until everything froze over and it got really boring because it was all closed, at which point I decided to work on snowboard technique.

    Wow they really are old now.

    By the way, shout out to #MarbleMountain in Western Newfoundland. I think I waited in line for less than 5 minutes over two days.

  7. Last week, I ran a panel with @dave_andersen and Cody Cutler covering the history of the Flux Research Group at the #UofU and testbeds like #Emulab, #CloudLab, and #PowderWireless . The video is now up: youtube.com/live/LUFp6sjKbkE?f

    (This is a particular timestamp in a video that covers the whole day of talks about the 50-year history of the Kahlert School of Computing and by various alumni.)

  8. Last week, I ran a panel with @dave_andersen and Cody Cutler covering the history of the Flux Research Group at the #UofU and testbeds like #Emulab, #CloudLab, and #PowderWireless . The video is now up: youtube.com/live/LUFp6sjKbkE?f

    (This is a particular timestamp in a video that covers the whole day of talks about the 50-year history of the Kahlert School of Computing and by various alumni.)

  9. Last week, I ran a panel with @dave_andersen and Cody Cutler covering the history of the Flux Research Group at the #UofU and testbeds like #Emulab, #CloudLab, and #PowderWireless . The video is now up: youtube.com/live/LUFp6sjKbkE?f

    (This is a particular timestamp in a video that covers the whole day of talks about the 50-year history of the Kahlert School of Computing and by various alumni.)

  10. Last week, I ran a panel with @dave_andersen and Cody Cutler covering the history of the Flux Research Group at the #UofU and testbeds like #Emulab, #CloudLab, and #PowderWireless . The video is now up: youtube.com/live/LUFp6sjKbkE?f

    (This is a particular timestamp in a video that covers the whole day of talks about the 50-year history of the Kahlert School of Computing and by various alumni.)

  11. Last week, I ran a panel with @dave_andersen and Cody Cutler covering the history of the Flux Research Group at the #UofU and testbeds like #Emulab, #CloudLab, and #PowderWireless . The video is now up: youtube.com/live/LUFp6sjKbkE?f

    (This is a particular timestamp in a video that covers the whole day of talks about the 50-year history of the Kahlert School of Computing and by various alumni.)

  12. I am procrastinating the hell out of writing this NSF proposal for some reason.

    But by the power of productive procrastination and a little bit of fear (my usual co-teacher will be out), I have prepped most of my quizzes for next spring's class. 🤣

  13. Enjoyable read, and it resonates. I adore being able to start my mornings walking the kids to school.

    irishtimes.com/life-style/peop

  14. Next #homeassiatant win: I built a little esp32 dongle that can control the awning on my back porch, and it now extends automatically at noon during summer on sunny days to reduce A/C load if I forget to extend it manually (and retracts at sunset). Great ecosystem.

    (I'll clean up the hardware tomorrow now that it works)

  15. I've been looking at energy production in the PJM region lately. First graph: Solar generation by month / by year. We're still behind other regions in per-capita solar but we had a very nice jump as some projects came online in 2024 and early 2025.

    Second graph: Power generation by fuel source over time. The trends are pretty clear: Nuclear has held steady (and we have a decent amount of it); gas has displaced coal. Solar historically hasn't made much of a dent but is starting to show up more in 2024 and will rise in 2025. The caution for 2025 is that energy demand may also be higher due to datacenter growth, so our grid mix may not improve much despite the modest growth in solar, but there's a lot of room for more solar and wind in our mix if we can get it online.

    #solar #pennsylvania #pjm

  16. Is there a weird chemical-y smell in #pittsburgh this morning? (Or just squirrel hill?). This is a new one to me, but it makes my sinuses run. It doesn't smell like the usual coke plant or wildfire air goop.

    Maybe we're getting a breeze from the cracker plant?

    #AirQuality #odor #smell

  17. It arrived!

    Slightly ironic, though, because I really have the espresso dialed in well with the manual grinder. 😁🤔

    #df64 #espresso

  18. It arrived!

    Slightly ironic, though, because I really have the espresso dialed in well with the manual grinder. 😁🤔

    #df64 #espresso

  19. It arrived!

    Slightly ironic, though, because I really have the espresso dialed in well with the manual grinder. 😁🤔

  20. It arrived!

    Slightly ironic, though, because I really have the espresso dialed in well with the manual grinder. 😁🤔

    #df64 #espresso

  21. It arrived!

    Slightly ironic, though, because I really have the espresso dialed in well with the manual grinder. 😁🤔

    #df64 #espresso

  22. I don't have a problem. I can quit any time!

    They're so much better than what all of the schools use - at least, for interested/motivated kids.

    #parentingproblems 🤣

  23. That was a first. Rode my bike around the corner, saw a burning garbage truck, rode home and grabbed a fire extinguisher. First time I've ever discharged one. Someone had put a grill out on the street and evidently the propane tank still had some fuel left in it.

    (This is not a political metaphor; I only wish our political trash fires were so easily solved.)

    #pittsburgh #squirrelhill

  24. That was a first. Rode my bike around the corner, saw a burning garbage truck, rode home and grabbed a fire extinguisher. First time I've ever discharged one. Someone had put a grill out on the street and evidently the propane tank still had some fuel left in it.

    (This is not a political metaphor; I only wish our political trash fires were so easily solved.)

    #pittsburgh #squirrelhill

  25. That was a first. Rode my bike around the corner, saw a burning garbage truck, rode home and grabbed a fire extinguisher. First time I've ever discharged one. Someone had put a grill out on the street and evidently the propane tank still had some fuel left in it.

    (This is not a political metaphor; I only wish our political trash fires were so easily solved.)

  26. That was a first. Rode my bike around the corner, saw a burning garbage truck, rode home and grabbed a fire extinguisher. First time I've ever discharged one. Someone had put a grill out on the street and evidently the propane tank still had some fuel left in it.

    (This is not a political metaphor; I only wish our political trash fires were so easily solved.)

    #pittsburgh #squirrelhill

  27. That was a first. Rode my bike around the corner, saw a burning garbage truck, rode home and grabbed a fire extinguisher. First time I've ever discharged one. Someone had put a grill out on the street and evidently the propane tank still had some fuel left in it.

    (This is not a political metaphor; I only wish our political trash fires were so easily solved.)

    #pittsburgh #squirrelhill

  28. sigh. it has been 0️⃣ days since I wanted to rewrite #ntpd and #gpsd in #rust again.

    (ntpd on a raspberry pi is now crashing when i make it use the gps as a reference clock).

    Time to try out Chrony before I start screaming or writing code.

  29. I ended up programming this one with Adafruit's #circuitpython, because they have a very easy to use #ds18b20 driver and wifi driver. My preferred #Rust framework, #embassy, doesn't yet have a 1wire implementation and it looked a little gross to write it for a one-off temp sensor. I'll return to this some time later; for now, I have a thermometer located near my thermostat that I can poke and get a reading from whenever I want.

    Also: The pi pico is a power hog but dang is it handy.