Ξric Juta

| Chief Reset Officer @askginadotai ( INTP
| consensys class '17

[Ξric Juta @ericjuta]

@gakonst cc @samuellhuber

[Ξric Juta @ericjuta]

genuinely feels like I got a new M5 air from m3 air for free

omp is flying

[Ξric Juta @ericjuta]

in today's omarchy's escapades as I stack more upstream prs

turns out my razer webcam needed a usb power rule
also my temperature sensors weren't on so GPU was nerfed at 2 of 5

now getting usb hub stable with clamshell closed

holy shit Linux performance unlocks are ridic..

[Ξric Juta @ericjuta]

@tiredkebab @makemake_kbo @OmarchyMac https://t.co/LkOWPAS2VN

ok that was really rewarding, first boot was a black screen so had to apple recovery in, EFI disk mount to restore the boot.bin backup

ten reboots later with limine, we have 3 upstreamed prs for supporting hub+display port, mirroring and backlight ctrl!

[Ξric Juta @ericjuta]

@TheRohanVarma @embirico @thsottiaux rare maplestory enjoyooorrrrrr spotted

[Ξric Juta @ericjuta]

@SIGKITTEN > "we all just wanna do our jobs smh, let us cook, good things take time and aren't visible with the daily ships to perma lurkers"

[paul ⏩️ @thepaulbalaji]

London undefeated

[Ξric Juta @ericjuta]

@simonschubert @RhysSullivan @executorsh hopefully I can upstream some prs sometime soon
will boost/rt where I can

been showing your omalauncher everywhere with my pixel 10 pro fold lol

[Ξric Juta @ericjuta]

https://t.co/GZaXaqNlPb

wrapped the android adb in a mcp
hosted locally @simonschubert's omalauncher (arch Linux VM) local pair over WiFi to the same phone lol
tailscale funnel it so @RhysSullivan's @executorsh can reach it

schedules, storage, personal apps on top of the graph

[Ξric Juta @ericjuta]

@RhysSullivan been having so much fun

[Ξric Juta @ericjuta]

@RaillyHugo @ctatedev ++

json-render over mcp apps is 🫶

[Ξric Juta @ericjuta]

@simonschubert @RhysSullivan @executorsh more of a proot thing but ya need an easier way to share files from root downloads to inside the VM
WIP aware

big fan sir big fan

[Ξric Juta @ericjuta]

@wolfie_ wtf lmfao
I've seen a floating icon UX on top of herdr and omarchy for WoW but this is pushing it

[Ξric Juta @ericjuta]

@RhysSullivan been having so much fun

[Ξric Juta @ericjuta]

@jasona ayo

[Ξric Juta @ericjuta]

@TapeSurfApp jesus

[Ξric Juta @ericjuta]

@svishnevskiy @AesopHimself woah

[Ξric Juta @ericjuta]

I could really do with a model release right now

[Ξric Juta @ericjuta]

https://t.co/7pZ2jyNcUZ

[Herrington Darkholme @hd_nvim]

TIL formal verification comes in many flavors:

Theorem proving (Lean): prove mathematical properties
Model checking (TLA+): explore possible system states
Deductive verification (Dafny): prove code meets its contracts
Abstract interpretation (Astrée): prove properties across program executions

[Ξric Juta @ericjuta]

@gakonst @laibe a wild tigerbeetle has appeared @samuellhuber

[Ξric Juta @ericjuta]

@joelthorst @dhh m3 air 15"

[Ξric Juta @ericjuta]

@tiredkebab @makemake_kbo @OmarchyMac https://t.co/LkOWPAS2VN

ok that was really rewarding, first boot was a black screen so had to apple recovery in, EFI disk mount to restore the boot.bin backup

ten reboots later with limine, we have 3 upstreamed prs for supporting hub+display port, mirroring and backlight ctrl!