the evil cabal of ada developers thus far have had seemingly limited success sabotaging other languages to increase their own project's adoption

Love when people online have beef with niche objects/concepts I barely comprehend.

Like yea go off, I'm sure you're 100% justified in your deep hatred of the pixel format GRB16.

i think i stumbled upon this, and the context is.... compile time contracts in c++?

I truly do not envy whoever ends up maintaining a slopware-free linux (bsd?) distro. it's even more sisyphean than their anti-{systemd, wayland, rust} peers

i love scrolling through the replies to a jay post and seeing a horde of the worst accounts on the platform alongside three of my bravest mutuals

Fred again.. & Thomas Bangalter (USB002, Alexandra Palace, London 27 February 2026) YouTube video by Fred again . .

absolute PEAK

language strangeness budget is real and the social factors that enforce it are the same kind of evil as bothsidesism in journalism

"bulk beings" creating the tesseract:

gitlab.freedesktop.org/wayland/wayl... ‼️

Today's to-do list:

* [x] Argue about AI with people on the internet.
* [ ] Attend governance countil meeting and (I expect) argue about AI.
* [ ] Open up a-mir-formality issues and codify our AI contribution policy.
* [ ] Work on symposium

Heaven help me.

what do you find bad about yoshua's proposal?

for you feed keeps baiting me with the anti effect generics post

there is a single good operating system in that image and it's not a desktop linux os

also db48x is calculator firmware???

imo llms don't solve the review of boilerplate, since you still need to navigate, edit, understand, merge the generated output

it's absolutely worth the additional complexity in domains where you want to verify that most code is pure or total, e.g. automotive/safety critical systems, kernel development, monolithic embedded programs

every time I go to write something for my website, I'm reminded that the website is cursed and i need to refactor it/switch frameworks, thus I bikeshed for an hour instead of writing

don't forget the sadistic third time traveler who convinced them to put Ctrl and Alt in opposite positions from where they should be, and go on to lead a profitable business treating carpal tunnel

the canonical stock gnome setup is actually niri with gnome core apps, which works better and feels nicer to use than gnome-shell

you have no idea how badly i want generic_const_exprs for proper bounds in matrix algebra without typenum or similar hacks. on the other hand, i don't see why this should prevent other important initiatives in improving the language

...except in current rust, the problems caused by ignoring warnings (e.g. "don't allocate in the event loop") would be a silent issue, rather than one caught by the compiler

if i publish a library with restrictive type annotations, a user calling them from regular rust code wouldn't have to even know about them

if i publish a library with an event loop that consumes a function with effect bounds, then the user would have to know about the effects either way...

when I write safety critical code, I want a static _guarantee_ that only designated regions can perform certain effects, in the same manner as `unsafe` guaranteeing that only designated regions can violate the memory model

even with blast domains, the kernel (or equivalent) still benefits from this

it seems mahmod is really passionate about effect generics in rust

programmers who don't care about effects wouldn't be burdened by the complexity either, as they would continue to just use `async` (or `with async`) on relevant functions

when I write safety critical code, I want a static _guarantee_ that only designated regions can perform certain effects, in the same manner as `unsafe` guaranteeing that only designated regions can violate the memory model

even with blast domains, the kernel (or equivalent) still benefits from this

i was referencing this

i strongly believe the additional complexity of effect generics is worth it, as it allows programmers to eliminate an entire category of issues where they currently cannot.

the "feasibility of eliminating panics" section doesn't mention it, but effect generics and bounds would be very useful to statically guarantee absence of panics, divergence, allocation, etc :)

We are excited to announce that we can successfully use Rust's std::thread on the GPU. This has never been done before.

www.vectorware.com/blog/threads...

Supporting Rust's std::thread enables existing Rust code to work on the GPU and makes GPU programming more ergonomic.

who's building this?