Sign in

asa

@asap.systems
601 followers 1.5K following 2.6K posts

nix shill, radical anti-unix extremist I work on robots anglesideangle.dev

PostsRepliesMedia
asa @asap.systems · 53m
endgame window management
020
asa @asap.systems · 58m
it's so tacky, it looks like the background on a vibecoded promotional website
000
asa @asap.systems · 59m
the new firefox default theme is impressively bad
110
asa @asap.systems · 17h
damn
092
asa @asap.systems · 28/09/2026
static.klipy.com
Jensen Huang eating GPU
Alt: Jensen Huang eating GPU
030
asa @asap.systems · 25/09/2026
not goto tho, just loop labels and for else
1130
asa @asap.systems · 25/09/2026
proceeds to list two absolutely goated features
1230
asa @asap.systems · 24/09/2026
the ability to declare that a function only works for a specific set of inputs and set constraints on the outputs based on the inputs is awesome it's the same feeling as going from dynamic to static typing, you can encode the full invariants in your head onto the page
171
asa @asap.systems · 24/09/2026
also strengthens my desire for refinement types in rust...
1121
asa @asap.systems · 24/09/2026
the more I learn about formal verification of software, the more absurd it becomes that it isn't commonplace in all mainstream software development
4345
asa @asap.systems · 24/09/2026
jail
1290
asa @asap.systems · 23/09/2026
prefix await supremacy
010
Reposted by asa
oliver @eikopf.com · 23/09/2026
every day i am forced to leave my nixpilled hovel and use ubuntu at work fuck my stupid chud life
4784
asa @asap.systems · 22/09/2026
o-o-
nixos-rebuild.pizza (91% OFF) $5.98.yr
0110
asa @asap.systems · 22/09/2026
jfc some people need to get off mastodon
2150
asa @asap.systems · 22/09/2026
kde devs being brigaded and concern trolled over a reasonable ai policy...
1220
asa @asap.systems · 20/09/2026
something something lawnmower
101
Reposted by asa
nia (cia asset) @nia.is.fckn.gay · 19/09/2026
allocator stabilisation FCP passed. we're getting stable allocators in rust 1.100. we've never been so back github.com/rust-lang/ru...
github.com
alloc: stabilise `Allocator` by nia-e · Pull Request #156882 · rust-lang/rust
View all comments See the current proposed stabilisation report for up-to-date information on the proposed stable API. outdated former status Stabilise a bare-minimum (dyn-incompatible, but cou...
39519
asa @asap.systems · 18/09/2026
might be the year of the linux desktop
blogs.gnome.org
Flatpak STF: Terminal Intent
I’ve been working for a while as a contractor as part of the Sovereign Tech Fund (STF) initiative for Flatpak, organized by Modal and Para-Real Ltd. There is a nice write up about the project, giving ...
070
asa @asap.systems · 16/09/2026
what no refinement types does to a mf
010
asa @asap.systems · 14/09/2026
@castrojo.bsky.social
000
asa @asap.systems · 13/09/2026
my beloved
github.com
GitHub - Mic92/hestia: Nix binary cache and build matrix for GitHub Actions: eval once, build checks in parallel jobs, deduplicated uploads, automatic GC, zero setup
Nix binary cache and build matrix for GitHub Actions: eval once, build checks in parallel jobs, deduplicated uploads, automatic GC, zero setup - Mic92/hestia
0264
asa @asap.systems · 12/09/2026
good thing the uefi spec includes support for this and other internationalization concerns
uefi.org
33. Human Interface Infrastructure Overview — UEFI Specification 2.10 documentation
0120
asa @asap.systems · 11/09/2026
and y'all are doing a great job
040
asa @asap.systems · 10/09/2026
this looks pretty nice. no outlook support but I fear I might just have to accept that
100
asa @asap.systems · 10/09/2026
afaict they're used in the npm ecosystem to build or download native dependencies (both should be handled by the package manager and not by install scripts), and to set up boilerplate in your repo (e.g. adding git hooks or prisma generate, which should be done as a separate setup command)
100
asa @asap.systems · 10/09/2026
there could be a middle ground, but otoh I can't think of any valid use-cases for install scripts in a decent package manager
100
asa @asap.systems · 10/09/2026
are there any decent foss calendar apps for android that support caldav and exchange...
120
asa @asap.systems · 10/09/2026
it's been added to the queue...
010
asa @asap.systems · 10/09/2026
soft creature; alternatively, viewing contents of a file
030
asa @asap.systems · 10/09/2026
cat original intended usage

The original intended usage of the domestic cat (Felis catus) was pest control, specifically hunting rodents like mice and rats to protect grain stores.
1291
asa @asap.systems · 10/09/2026
the original post could just say "grapheneos being based"
010
asa @asap.systems · 09/09/2026
UB speedrun any% wr: 30 minutes into first osdev lecture
080
asa @asap.systems · 07/09/2026
I'd much rather buy a used thinkpad from the latter
170
asa @asap.systems · 07/09/2026
has anyone made facebook marketplace on atproto
2131
asa @asap.systems · 07/09/2026
seems like it plasma-bigscreen.org/get/
plasma-bigscreen.org
Get Plasma Bigscreen
Plasma Bigscreen is now released as a part of KDE Plasma, and is available as a package in Linux distributions. Some distributions ship dedicated Plasma Bigscreen images, providing an out-of-the-box e...
000
asa @asap.systems · 07/09/2026
the inevitable tiling window manager implemented in an app (all popular browsers, terminals, ides)
030
asa @asap.systems · 07/09/2026
adwaita apps are so awesome
062
asa @asap.systems · 07/09/2026
hell yeah
160
asa @asap.systems · 05/09/2026
I have heard several people ~my age actually speak these words
010
Reposted by asa
Justice Of Toren One Var @jyn.dev · 03/09/2026
new jynpost jyn.dev/simple-is-no...
jyn.dev
simple is not small
small programs hide coupling
5399
asa @asap.systems · 02/09/2026
hell yeah, death to uefi
1110
asa @asap.systems · 02/09/2026
does this code actually need to be linear? the claude output (where you have one type constructor consume another) works fine with affine types, and you only need linear types if you want to guarantee that the Outcome type _must be_ used to construct a Reservation (and can't be forgotten)
120
asa @asap.systems · 01/09/2026
boy standing at a fork in the road
good castle: vibed nixos config
evil castle: "malleable os"
0797
asa @asap.systems · 01/09/2026
does this handle have aura
150
asa @asap.systems · 01/09/2026
> allows package maintainers to build locally
static.klipy.com
Creepy Staring Cat Meme
Alt: uncanny stare cat
100
asa @asap.systems · 01/09/2026
as for the rest (except ai stuff probably), github.com/zirconium-de...
010
asa @asap.systems · 01/09/2026
if you're going distroless (definitions vary), why not use nixpkgs?
220
asa @asap.systems · 01/09/2026
...do debian ubuntu suse arch etc... not fulfill this criteria? wtf
210
asa @asap.systems · 01/09/2026
nix build me a shrubbery
020