@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!
@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!
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.
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.
@ekaitz_zarraga https://toobnix.org/w/b9d4d21b-7335-40d1-83e7-f2058fc9c88a
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.
@ekaitz_zarraga you're on thin ice!
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.
finally adding pagination to the static site generator project I started 7 years ago lol better late than never
work suuuucks today. just one of those days where shit is coming from all angles and it's all annoying.
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.
I'm in need of a rapid covid test and I cannot find any pharmacy that has them. Love this country.
cool interview with @joeyh
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.
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
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.
@civodul what's the implication here? I don't quite understand it.
@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.
Chickadee 0.8.0, my game library for Guile Scheme, has been released!
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.
added quadtrees to chickadee: https://git.dthompson.us/chickadee.git/commit/?id=1ef0c9b18263ee1354987e8f104aff562a953fe6
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
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.
All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.