GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by David Beazley (dabeaz@mastodon.social)

  1. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Thursday, 17-Sep-2026 06:59:13 JST David Beazley David Beazley

    I don't know if science fiction ruined tech-bros, but tech-bros have definitely ruined science fiction.

    In conversation about 3 days ago from mastodon.social permalink
  2. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Monday, 14-Sep-2026 21:57:58 JST David Beazley David Beazley

    Wait, what is this madness? Me offering a strange new programming course? Yes. https://dabeaz.com/sicpminus.html

    A new format and some new challenges. Bwahahahahaha!

    In conversation about 6 days ago from mastodon.social permalink

    Attachments


  3. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Monday, 14-Sep-2026 21:57:57 JST David Beazley David Beazley
    in reply to

    A little bit of context on this course. As part of my MAT program, I had to take a class on English as a Second Language (ESL) teaching. In that course, there was a fundamental question of what does it actually mean to be literate in English? In short, it means you can read, write, speak, and listen. Moreover, a common stance for teaching an ESL course is not to tell students how to do these things, but to give students a LOT of opportunities to *practice* all of these things.

    In conversation about 6 days ago from mastodon.social permalink
  4. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Monday, 14-Sep-2026 21:57:56 JST David Beazley David Beazley
    in reply to

    So, I'm thinking about what literacy might mean in the context of programming. What does it actually mean to be a literate programmer? Well, I think a big part of it means you can read, write, speak, and listen to others talk about code. So, that's what I'm doing in this course. In short, providing an environment to do *ALL* of those things.

    In conversation about 6 days ago from mastodon.social permalink
  5. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Wednesday, 03-Jun-2026 07:47:54 JST David Beazley David Beazley

    I used ed(1) as my copilot when implementing an entire programming language from scratch and it only consumed about 4 seconds of total CPU time.

    In conversation about 4 months ago from mastodon.social permalink
  6. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Saturday, 28-Mar-2026 14:57:41 JST David Beazley David Beazley

    It's come to my attention that John Bradley, author of the "xv" tool has died. I never knew John, but I used "xv" a LOT in the early days of my career as a graduate student working in computational physics.

    In many ways "xv" might have been more pivotal to my early career than even Python.

    In this thread, I'm going to offer my tribute to "xv" and say a bit about its role in my 1990s "vibe"-coding project that definitely did NOT involve any AI.

    This will probably meander a bit. 1/n?

    In conversation about 6 months ago from mastodon.social permalink

    Attachments


  7. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:57 JST David Beazley David Beazley
    in reply to

    Also, mixing up ed regular expressions with Rust syntax is proving to be an interesting head trip.

    In conversation about 9 months ago from mastodon.social permalink
  8. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:57 JST David Beazley David Beazley
    in reply to

    Well, I'm about 90 minutes into this project so far. It's, uh, freaky. But, I'm making progress. Translating C to Rust is a whole different game than translating Java. I don't really feel like doing all of this low-level byte oriented free/malloc business. No, I'll just use Vec<> and other nice Rust stuff.

    In conversation about 9 months ago from mastodon.social permalink
  9. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:57 JST David Beazley David Beazley
    in reply to

    After some playing around, I definitely think this needs to happen. Maybe I'll work through the 2nd half of Crafting Interpreters with Rust/ed. Maybe I should record this frivolity as some kind of 20 hour YouTube video.

    In conversation about 9 months ago from mastodon.social permalink
  10. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:56 JST David Beazley David Beazley
    in reply to

    Not sure how long this is going to take, but I'm guess it's definitely going to be a multi-day project (maybe even a week). Pondering: Should I upload the video in progress or wait until the whole thing is done?

    In conversation about 9 months ago from mastodon.social permalink
  11. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:56 JST David Beazley David Beazley
    in reply to

    About 3 hours in now. Made it to the start of scanning (section 16.1.2 in Crafting Interpreters). Wrote a Rust macro. Floundered about with some ed regex for a bit. However, making steady progress.

    In conversation about 9 months ago from mastodon.social permalink
  12. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:56 JST David Beazley David Beazley
    in reply to

    And, in the middle of working on this crazy Rust/ed coding thing, I get an AI-generated email from "Claude" thanking me for my Python work? WTF?!?!?

    In conversation about 9 months ago from mastodon.social permalink
  13. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:55 JST David Beazley David Beazley
    in reply to

    Finally made it through the first part of parsing (chapter 17). I'm about 8 hours into the whole project so far. But, done for today.

    In conversation about 9 months ago from mastodon.social permalink
  14. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:55 JST David Beazley David Beazley
    in reply to

    Welp, I've made it through scanning. Take a break in preparation for parsing. Still haven't left the original `ed` session I started yesterday.

    In conversation about 9 months ago from mastodon.social permalink
  15. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:55 JST David Beazley David Beazley
    in reply to

    Ok, let's continue onward with scanning! I already continue this once before in Rust, but the implementation in the second half of Crafting Interpreters takes a different approach with ownership. So, I'll try to stay in the spirit of that as I go.

    In conversation about 9 months ago from mastodon.social permalink
  16. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:54 JST David Beazley David Beazley
    in reply to

    Well, up for day 3 of the crusted-ed project. Had a very sloppy bike ride in the rain to prepared for the day. Will now clean up and take care of the pooch before plowing onward into some code cleanup and further chapters.

    In conversation about 9 months ago from mastodon.social permalink
  17. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:54 JST David Beazley David Beazley
    in reply to

    Looks like the next few sections implement features that Rust already has (strings, hashmap, etc.). As instructive as that might be, I'm not going to reimplement all of that from scratch. At least I don't think so.

    In conversation about 9 months ago from mastodon.social permalink
  18. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:53 JST David Beazley David Beazley
    in reply to

    So, I've decided to do my own GC. Have now reached the hash table chapter. Rust already has its own HashMap. I could use that as a shortcut. Or I could try to roll with the book and make my own.

    At the moment, the Hash in the book seems somewhat disconnected from everything else. And I don't recall Lox as having HashMap as a kind of value that you could use in user code. Somewhat inclined to use Rust HashMap<> for this until I run into a reason not to.

    In conversation about 9 months ago from mastodon.social permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: www.messeplatz.at
      VIRTUELLE MESSEN - Messeplatz.at - 365 Tage Online-Messe
      Unternehmenssuche, Suche nach News, Suche nach Angeboten, Suche nach Terminen und Veranstaltungen
  19. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:53 JST David Beazley David Beazley
    in reply to

    The book sets up linked lists of heap-allocated objects (in C). Could be dicey trying to replicate that. Part of me says the whole problem could be avoided by slapping Rc<> on everything. But, that feels like cheating and not in the spirit of the overall affair. So.... hmmm.

    In conversation about 9 months ago from mastodon.social permalink
  20. Embed this notice
    David Beazley (dabeaz@mastodon.social)'s status on Tuesday, 30-Dec-2025 08:22:53 JST David Beazley David Beazley
    in reply to

    Well, I seem to have made it as far as the great abyss--the point where Crafting Interpreters wants me to think about garbage collection. Coding in Rust, this is about to get "interesting." Maybe a short nap is in order first.

    In conversation about 9 months ago from mastodon.social permalink
  • Before

User actions

    David Beazley

    David Beazley

    Educator and musician living in Evanston, Illinois. I wrote some Python books, but you'll probably find me yapping on about bikes, trombones, dogs, and other random stuff here. Currently pursuing a MAT in Secondary Education with the hope of becoming a high school math teacher.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          188246
          Member since
          12 Oct 2023
          Notices
          64
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.