@athas@freeradical.zone avatar

athas

@athas@freeradical.zone

Hacker from Denmark. Not as cool as I'd like to be.

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

athas, to random
@athas@freeradical.zone avatar

My type checker generating constraints: Haha fuck yeah!!! Yes!!

My type checker solving constraints: Well this fucking sucks. What the fuck.

athas, to random
@athas@freeradical.zone avatar

Interested in parallel functional programming or language-based security? Come and do a PhD with us! https://jobportal.ku.dk/phd/?show=160967

athas, to random
@athas@freeradical.zone avatar

Today I am drinking coffee and writing shell scripts, and I am sort of tired of both.

athas, to random
@athas@freeradical.zone avatar

ncdu is such a good program. Highly useful, very simple, and there's just something terminally cool about ncurses UIs.

athas,
@athas@freeradical.zone avatar

Oh, and the author @ayo is on Mastodon!

athas, to random
@athas@freeradical.zone avatar

This paper explains that (the floating point standard) removed fmax/fmin because it was so inconsistently implemented you could not assume portable behaviour anyway: https://grouper.ieee.org/groups/msc/ANSI_IEEE-Std-754-2019/background/minNum_maxNum_Removal_Demotion_v3.pdf

athas,
@athas@freeradical.zone avatar

I'm a numerical methods hobbyist at best, but I do enjoy reading about . I can also recommend the Handbook of Floating-Point Arithmetic, which... is about as dry as it sounds, but a pleasant read nonetheless!

athas, to random
@athas@freeradical.zone avatar

The projector in the auditorium was defective today when I gave my lecture on caches and locality optimisation. Hand-running different versions of 1000x1000 matrix multiplication on the blackboard consumes a lot of chalk!

giuseppebilotta, (edited ) to random

Hm, OK?

athas,
@athas@freeradical.zone avatar

@giuseppebilotta They should do more of those.

athas,
@athas@freeradical.zone avatar

@giuseppebilotta One can at least admire the honesty involved in calling them "changes" rather than "improvements".

athas, to random
@athas@freeradical.zone avatar

How tragic that non-programmers will never experience the pleasure of removing a thousand lines of code you first wrote eight years ago. https://futhark-lang.org/blog/2023-12-04-end-of-an-optimisation.html

athas, to random
@athas@freeradical.zone avatar

Is it a real university if it doesn't maintain at least one implementation of an ML dialect? (Two is preferable.)

athas, to random
@athas@freeradical.zone avatar

I've been arguing against linked lists for years, but implementing them in a data parallel setting is actually quite fun.

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