bandcamp won their union! bandcamp won their union!!
i'm so fucking happy for them, and also for the possible knock-on effects of some of epic game's holdings unionizing
their full statement - https://blog.bandcamp.com/2023/05/19/bandcamp-and-bandcamp-united-release-joint-statement-on-union-vote/


once more for the backrow hecklers
nvidia _choose_ to not support the wayland stack. or well more generally, the new linux kms+egl gpu stack, since there's a lot other cool things you can built on top of it that aren't wayland
nvidia _choose_ to implement crypto locked down fw in a way that blocks open drivers (even apple got this right!). and no one else can fix it, because it's actual real crypto
nvidia _choose_ to not fix any of this
don't buy nvidia if you don't like this
Just fyi. #openinformation

realizing I need Emacs for playing around with Agda, I spent a good chunk of today declaring Emacs bankruptcy and setting up a new init.el
I have a much more lightweight but functional Emacs config now
I still don’t know Agda
⁉ 𝕐𝕠𝕦𝕣 𝕙𝕖𝕝𝕡 𝕚𝕤 𝕨𝕒𝕟𝕥𝕖𝕕: ⁉
The InfinityBook Pro 14 with #ANSI #keyboard - we would like to find out with this #survey how big the interest really is.
Thank you very much for your help! No personal data will be stored!
DE:
https://survey.tuxedocomputers.com/index.php?r=survey/index&sid=728975&lang=de
EN:
https://survey.tuxedocomputers.com/index.php?r=survey/index&sid=728975&lang=en

@tuxedocomputers InfinityBook Pro 14 - Gen8
maybe if I couldn’t get a nice laptop with an ANSI keyboard, I should get one with an ISO layout but with blank keycaps instead and remap \ <-> enter
Cons:
- weirdly shaped \ key
Pros:
- enter key close to the home position
- extra big \ for LaTeX
glances mildly disapprovingly at @tuxedocomputers for not including an ANSI option yet again in an otherwise perfect laptop
@JadeMasterMath asked one of the guys who were working on GraphBLAS stuff: he says you’ll need python-graphblas for custom semirings, but he haven’t tried (built-in stuff covered most of our use-cases, I think)
@JadeMasterMath GraphBLAS seems to be targeted at something like this. There are two Python wrappers, python-graphblas and pygraphblas. People in my lab used to use & contribute to pygraphblas for a bit. But as of now, I think python-graphblas is the better maintained library and it has support for accelerated matrix computations custom data types and (semiring) operations: https://python-graphblas.readthedocs.io/en/stable/user_guide/types.html#user-defined-types and https://python-graphblas.readthedocs.io/en/stable/user_guide/udf.html#user-defined-functions
@johncarlosbaez In Hungary, I learned the inverse functions of hyperbolic functions as “area sine hyperbolic” and “area cosine hyperbolic” (I guess it’s alluding to the relation with the enclosed area of the hyperbole instead of the arc length). We used the notation arsh and arch for them (but arcsin and arccos for the trigonometric inverse function). Maybe Wikipedia is trying to meet halfway between the English and the Central/Eastern European notation in this case?
orange site, obscure joke
i didn’t expect discourse around the mascot of #krita that could be literally resolved by honi soit qui mal y pense, but here we are
panic
@spacekookie @AgathaSorceress expect to panic!
I see people asking: How else will we critically study GPT-4 etc then?
Don't. Opt out. Study something else.
GPT-4 should be assumed to be toxic trash until and unless #OpenAI is *open* about its training data, model architecture, etc.
I rather suspect that if we ever get that info, we will see that it is toxic trash. But in the meantime, without the info, we should just assume that it is.
To do otherwise is to be credulous, to serve corporate interests, and to set terrible precedent.
Dear devs,
It's NEVER ok to lock people out of a webapp because their User-Agent doesn't match your predefined list. 😡
Especially webapps they need to manage their healthcare.
(I am in fact using one of the browsers on this list, your code just isn't able to tell.)
Please boost for basic education.

Look around you… Who is the most marginalised?
That’s who you should be protecting.
If for no other reason than if you don’t, you will be next. Maybe not today. Maybe not tomorrow. But you will be next.
(Or you will have to do things that will make you wish you’d been next.)
That’s just how fascism works.
And this is fascism.
On signing git commits…
@aral he’s also on the Fediverse and is working on an encryption system for DMs: https://soatok.blog/2022/11/22/towards-end-to-end-encryption-for-direct-messages-in-the-fediverse/ which looks a bit related to what you’re doing (although, obviously, building upon ActivityPub brings vastly different technical constraints)
@aral this brings https://soatok.blog/2022/01/27/the-controversy-surrounding-hybrid-cryptography/ to mind
language model, food, being silly with rwkv-4-pile-3b-instruct-test2-20230209 on a cpu
>
> A: 1. Make the garlic herb rub.
> 2. Preheat oven to 200°F (93°C).
> 3. Soak the ribs in water for 1 hour.
> 4. Soak in 5% salt for 1 hour.
> 5. Rinse ribs, pat dry, and rub with olive oil.
> 6. Season the ribs with salt and pepper.
> 7. Place the ribs on a wire rack and roast for 45 minutes.
5/7, had my oven at 93C for two hours while the ribs were soaking in water and... saline?

interestingly, #rwkvstic does not get any faster if i torch.set_num_threads(8) and torsh.set_num_interop_threads(8) compared to single-threaded, but uses a whole lot more cpu. but with bfloat16 instead of float32 it doesn't even use more cpu!
#rwkv #pytorch #llm