tiflolinux.org - GNU Social
  • Login

Bienvenido

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by dave (dthompson@toot.cat), page 2

  1. dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 21:08:11 CET dave dave
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga that's funny because I found a *different* python version: https://github.com/rob-smallshire/hindley-milner-python

    the one you found is much more compact. I'll study that one!

    In conversation Thursday, 29-Dec-2022 21:08:11 CET from toot.cat permalink

    Attachments


  2. dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 20:58:56 CET dave dave

    anyone got any good references for implementing hindley-milner type inference? https://course.ccs.neu.edu/cs4410sp19/lec_type-inference_notes.html is the most accessible thing I've found so far due to using a lot of plain english but there's still a lot of ML notation and tbh I have a hard time reading that stuff.

    In conversation Thursday, 29-Dec-2022 20:58:56 CET from toot.cat permalink
  3. dave (dthompson@toot.cat)'s status on Thursday, 29-Dec-2022 20:58:55 CET dave dave
    in reply to

    context: this is for a tiny Scheme-like language that compiles to GLSL shader code. GLSL is quite limited in what can be expressed so it should make the complexity manageable. I just don't want to have to declare the types of function arguments and let bindings.

    In conversation Thursday, 29-Dec-2022 20:58:55 CET from toot.cat permalink
  4. dave (dthompson@toot.cat)'s status on Tuesday, 06-Dec-2022 22:39:55 CET dave dave
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga https://toobnix.org/w/b9d4d21b-7335-40d1-83e7-f2058fc9c88a

    In conversation Tuesday, 06-Dec-2022 22:39:55 CET from toot.cat permalink

    Attachments

    1. EmacsConf 2022: What I'd like to see in Emacs - Richard M. Stallman
      from EmacsConf
      https://emacsconf.org/2022/talks/rms 00:00:00 GNU Emacs and its purpose 02:33 Lisp as the extension language 03:46 JavaScript versus freedom 06:14 Updating "An Introduction to Emacs Lisp Programming" 07:23 More memorable package names 08:31 Simplifying the command interface 10:23 Modularity 11:22 Editing formatted text 12:55 Not the equivalent of a modern web browser 15:31 Getting involved You can view this and other resources using free/libre software at https://emacsconf.org/2022/talks/rms . This video is available under the terms of the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) license.
  5. dave (dthompson@toot.cat)'s status on Tuesday, 06-Dec-2022 21:42:49 CET dave dave

    RMS said in his Emacs Conf talk that he thinks Scheme would be an acceptable language for Emacs extensions if the technical problems can be sorted out. I agree! I haven't watched the whole talk but so far it's surprisingly good. RMS talking about Emacs is RMS at his best, IMO. also it looks like the 14 minute TEDx talk I was poking fun at a few days ago was replayed in addition to that so it didn't take up the 20 minute slot.

    In conversation Tuesday, 06-Dec-2022 21:42:49 CET from toot.cat permalink
  6. dave (dthompson@toot.cat)'s status on Monday, 28-Nov-2022 17:51:28 CET dave dave
    • Ekaitz Zárraga 👹

    @ekaitz_zarraga you're on thin ice!

    In conversation Monday, 28-Nov-2022 17:51:28 CET from toot.cat permalink
  7. dave (dthompson@toot.cat)'s status on Monday, 28-Nov-2022 17:49:38 CET dave dave

    I'm one of those weirdos who loves Polar beverages, but not the ones everyone else likes because I'm not into seltzer. Polar cola, ginger ale, and orange dry are my main roster that I try to keep stocked at all times. Polar sodas have no sodium and no caffeine which I am into.

    In conversation Monday, 28-Nov-2022 17:49:38 CET from toot.cat permalink
  8. dave (dthompson@toot.cat)'s status on Saturday, 05-Feb-2022 23:19:59 CET dave dave

    finally adding pagination to the static site generator project I started 7 years ago lol better late than never

    In conversation Saturday, 05-Feb-2022 23:19:59 CET from toot.cat permalink
  9. dave (dthompson@toot.cat)'s status on Friday, 28-Jan-2022 17:03:09 CET dave dave

    work suuuucks today. just one of those days where shit is coming from all angles and it's all annoying.

    In conversation Friday, 28-Jan-2022 17:03:09 CET from toot.cat permalink
  10. dave (dthompson@toot.cat)'s status on Tuesday, 28-Dec-2021 13:46:22 CET dave dave

    I received a 2.6L hot water bottle for christmas and used it to heat my bed last night. it rocks. makes the bed very cozy and is still warm in the morning. very nice radiant heat.

    In conversation Tuesday, 28-Dec-2021 13:46:22 CET from toot.cat permalink
  11. dave (dthompson@toot.cat)'s status on Thursday, 23-Dec-2021 09:30:19 CET dave dave

    I'm in need of a rapid covid test and I cannot find any pharmacy that has them. Love this country.

    In conversation Thursday, 23-Dec-2021 09:30:19 CET from toot.cat permalink
  12. dave (dthompson@toot.cat)'s status on Thursday, 04-Nov-2021 04:09:46 CET dave dave

    cool interview with @joeyh

    https://corecursive.com/leaving-debian

    In conversation Thursday, 04-Nov-2021 04:09:46 CET from toot.cat permalink
  13. dave (dthompson@toot.cat)'s status on Friday, 29-Oct-2021 10:07:56 CEST dave dave

    I'm sitting here, in an office chair I bought at staples no less than 10 years ago for less than $50 by combining the sale price, my friend's employee discount, and a discount coupon (staples let me stack all of these) whose seat and arm rests are nearly devoid of their original cheap faux leather veneer, watching tim rogers talk at length about a $1000 steelcase gesture office chair in his cyberpunk 2077 review and I've gotta say: that looks like a very nice chair.

    In conversation Friday, 29-Oct-2021 10:07:56 CEST from toot.cat permalink
  14. dave (dthompson@toot.cat)'s status on Monday, 25-Oct-2021 15:42:27 CEST dave dave

    I made a bullet heck game in 10 days and it's not half bad, check it out: https://davexunit.itch.io/bonnie-bee #gamedev

    In conversation Monday, 25-Oct-2021 15:42:27 CEST from toot.cat permalink

    Attachments


    1. https://pool.jortage.com/tootcat/media_attachments/files/107/162/417/333/564/583/original/825f80d2913f5ab3.png
  15. dave (dthompson@toot.cat)'s status on Tuesday, 12-Oct-2021 18:33:02 CEST dave dave

    I like eating dried apricots, so I thought maybe I should grow a self-pollinating apricot, but I guess they're difficult in new england because spring frosts can kill the flowers.

    In conversation Tuesday, 12-Oct-2021 18:33:02 CEST from toot.cat permalink
  16. dave (dthompson@toot.cat)'s status on Friday, 08-Oct-2021 23:41:07 CEST dave dave
    in reply to
    • Ludovic Courtès

    @civodul what's the implication here? I don't quite understand it.

    In conversation Friday, 08-Oct-2021 23:41:07 CEST from toot.cat permalink
  17. dave (dthompson@toot.cat)'s status on Friday, 08-Oct-2021 23:41:06 CEST dave dave
    in reply to
    • Ludovic Courtès

    @civodul I don't see much use for flatpak other than providing a means for running proprietary apps. free software video games are a valid use-case due to their try-and-throw-away nature, but that's definitely not the main audience for flatpak.

    In conversation Friday, 08-Oct-2021 23:41:06 CEST from toot.cat permalink
  18. dave (dthompson@toot.cat)'s status on Friday, 08-Oct-2021 21:47:14 CEST dave dave

    Chickadee 0.8.0, my game library for Guile Scheme, has been released!

    https://dthompson.us/chickadee-080-released.html

    #gamedev

    In conversation Friday, 08-Oct-2021 21:47:14 CEST from toot.cat permalink
  19. dave (dthompson@toot.cat)'s status on Tuesday, 05-Oct-2021 18:27:29 CEST dave dave

    is there a good foss graphing calculator tool? I used desmos to solve a problem that was stumping me when writing code or using pencil and paper.

    In conversation Tuesday, 05-Oct-2021 18:27:29 CEST from toot.cat permalink

    Attachments


    1. https://pool.jortage.com/tootcat/media_attachments/files/107/049/056/644/149/723/original/97b19cbd5c3e1b08.png
  20. dave (dthompson@toot.cat)'s status on Friday, 01-Oct-2021 17:19:42 CEST dave dave

    added quadtrees to chickadee: https://git.dthompson.us/chickadee.git/commit/?id=1ef0c9b18263ee1354987e8f104aff562a953fe6

    In conversation Friday, 01-Oct-2021 17:19:42 CEST from toot.cat permalink

    Attachments

    1. chickadee.git - Chickadee Game Toolkit
  • After
  • Before

User actions

    dave

    dave

    Massachusetts trash. I mostly post about gardening, permaculture, music, and free software development (not a techbro I swear please you gotta believe me)he/him

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          1678
          Member since
          15 Aug 2018
          Notices
          86
          Daily average
          0

          Feeds

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

          tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.