@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

How many lines of error message would you say is appropriate when a program contains 'x << is' instead of 'is >> x'?

athas,
@athas@freeradical.zone avatar

@oblomov You're such an idealist.

athas, to random
@athas@freeradical.zone avatar

I do not know whether today will be a good day, but I know already it will not be the best possible, for I just started editing C++ code.

athas, to webassembly
@athas@freeradical.zone avatar

Without Nix, how do you set up complicated build/test environments on other systems? The sheer amount of sedimentary layers you need to do or stuff is astounding, and then you add the various utility Python libraries needed to glue together a test harness.

athas, to webgpu
@athas@freeradical.zone avatar

How do people test programs/shaders in CI? Can Chrome or Firefox run headless on a server in a closet? Is there a implementation that does not need a physical GPU?

athas, to debian
@athas@freeradical.zone avatar

Futhark has been added to (unstable). I think this is the first program mainly written by me that is in Debian (although there are other programs with my contributions). I remember that Debian used to have the largest package repository, but it seems other distributions are much swifter (or have much lower standards) these days.

athas, to random
@athas@freeradical.zone avatar

Spending the evening aggressively migrating our paper's content to footnotes in order to take advantage of the smaller font size.

athas,
@athas@freeradical.zone avatar

@oblomov like in Formula 1, it's not cheating until they change the rules because of you.

athas, to random
@athas@freeradical.zone avatar

One of my thesis students use Windows on his laptop. The past two meetings have started with his machine BSOD'ing. I didn't realise I'd scheduled our meeting in the 90s.

mcc, to random
@mcc@mastodon.social avatar

quietly under breath but in text i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity i hate unity

athas,
@athas@freeradical.zone avatar

@mcc I would love to do computer magic, because then if things don't work, it's the fault of the spirits, not me.

athas, to random
@athas@freeradical.zone avatar

Another language design pet peeve is languages that use an 'enum' keyword for types that are not enumeration types. This is why I do not use Rust.

athas, to random
@athas@freeradical.zone avatar

My pet peeve is compiler courses who de-emphasize parsing too much. It is an overreaction to the over-emphasis in older material (Dragon Book etc). Yes, parsing isn't the most fashionable field of compiler study, and likely not what you (or I) find most interesting, but it's new to the students! And creating structured data from unstructured input is probably the most useful skill the median graduate can gain from the course.

athas,
@athas@freeradical.zone avatar

The next most important area is type checking. Analyzing and validating input is an important part of so many programs. Code generation and (in particular) optimisation is probably the least important areas, and the ones with the least interesting principles, even though they are the most active research areas.

athas, to random
@athas@freeradical.zone avatar

The ML Family Workshop (, , etc) is soliciting presentations: https://icfp24.sigplan.org/home/mlworkshop-2024#Call-for-Presentations

athas, to random
@athas@freeradical.zone avatar

Whenever my compiler generates code with a subtle memory error under some exotic and hard-to-debug circumstances, I worry that this will be the one incomprehensible bug I will never be able to fix. But I don't think that was the case today. I wonder if people working on GCs feel like this every day.

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
@giuseppebilotta@fediscience.org avatar

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".

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