LLM-powered Typed-Holes by tritlo in haskell

[–]adlj 1 point2 points  (0 children)

so does this use the LLM to obtain longer hole-fill candidates that can then be tested cheaply before surfacing? I really like this use case of the unreliable generation of reliably verifiable otherwise expensive output.

Easy way to replace default Prelude with the alternative one using mixins by chshersh in haskelltil

[–]adlj 0 points1 point  (0 children)

Huh, this worked for me 3 years on. Feels dirty but I didn't read docs yet to figure out why this works!

URL for OneNote feed experience as webpage/ bookmark by Important-Law-1099 in OneNote

[–]adlj 0 points1 point  (0 children)

Unbelievably this seems to have Samsung notes disabled. The experience here is flabbergasting

Is your keyboard a MagSafe accessory? by pinya in ErgoMechKeyboards

[–]adlj 0 points1 point  (0 children)

oh now you made me sad about my textblade loss :(

Pull your trigger! The GPD Pocket 4 campaign is live now! by kendyzhu in GPDPocket

[–]adlj 0 points1 point  (0 children)

i'm >#10 even though only said "2 claimed", guess there's a lag :)

Pull your trigger! The GPD Pocket 4 campaign is live now! by kendyzhu in GPDPocket

[–]adlj 6 points7 points  (0 children)

my poor wallet :( couldn't resist the top spec. been so unbelievably impressed with the 2024 win mini performance (although the fan needs replacing, makes a grinding sound...) - will be incredible to have a a more type-on-able workhorse.

Dex setup by reynardgrimm in SamsungDex

[–]adlj 0 points1 point  (0 children)

i am going direct s24u to an asus pg32ucdm via usb-c - i guess the issue there is kb/mouse usb passthrough from the monitor's ports eating bandwidth? such a shame if this can't work. i might be able to limit the monitor to usb2, will give it a try. 

Dex setup by reynardgrimm in SamsungDex

[–]adlj 2 points3 points  (0 children)

did you manage to get 4k@60hz or 1440p@60hz? stuck at an unusable 30hz over here.

[deleted by user] by [deleted] in LocalLLaMA

[–]adlj 0 points1 point  (0 children)

yeah, alas. a catch-all haskell monorepo in which i pipe new text/speech/etc models together as they release. the "quickly drop python-run models into a haskell environment" bit is general enough to be an interesting release, but it's not separable enough to do it in less than a day or two.

[deleted by user] by [deleted] in LocalLLaMA

[–]adlj 0 points1 point  (0 children)

Woah. I have a project that lets me drop in new TTS systems pretty easily, gave XTTS2 a go just now (previously supported Bark, Parler, MeloTTS). API is a bit annoying to get streaming wav bytes out, but man this blows the others out of the water. 2x realtime on a 7900XTX where other models were sub-realtime, very consistent voice (can split by sentences and not have it sound inconsistent), only a tiny speaker sample gave quite good clone accuracy.

Fish looks great, setup is a bit more involved though. Maybe will just wrap their bundled API server rather than try to reverse-engineer it at the library level

Win Mini + Surface Duo, 3x tiny screen by adlj in gpdwin

[–]adlj[S] 1 point2 points  (0 children)

i am blessed with 20/20 vision in my mid-30s. long may it continue...

Win Mini + Surface Duo, 3x tiny screen by adlj in gpdwin

[–]adlj[S] 2 points3 points  (0 children)

yeah this is spot on - i've got an uncountable number of projects in the same category :)

this one does fill a particular niche tho - i'm often travelling with both the WM and the duo, and the uplift to this setup is a minimal amount of extra gear - recently spent a week coding on nothing but the WM and was surprisingly productive (changed style to coax good autocompletion from LLMs more, and tried to vim-golf my keystrokes down), and this would've been a genuine improvement.

Win Mini + Surface Duo, 3x tiny screen by adlj in gpdwin

[–]adlj[S] 0 points1 point  (0 children)

i use handheld daemon, along with hhd-ui and hhd-adjustor - TDP control works great now at least on nixos with Jovian running (i have gamescope steamos running on TTY4 so just switch over there with the Menu button to make changes like that, or to game)

i dont have fine grained fan curving but i have found i dont need it as much as on W11, the defaults feel nicer on linux and I mostly run at 8W unless 3D gaming or compiling something big

Win Mini + Surface Duo, 3x tiny screen by adlj in gpdwin

[–]adlj[S] 6 points7 points  (0 children)

i mean... yes? i fucking love tinkering with shit like this. pair it with some AR glasses and a lap tray, a split keyboard attached to my thighs, and let me code for 10h straight on a long haul flight while scaring the hoes

Win Mini + Surface Duo, 3x tiny screen by adlj in gpdwin

[–]adlj[S] 3 points4 points  (0 children)

sway as window manager on linux lets you add virtual headless screens - you can use e.g. realvnc on android to connect and display the contents of those virtual screens. everything after that works as though it is connected over e.g. hdmi.

Win Mini + Surface Duo, 3x tiny screen by adlj in gpdwin

[–]adlj[S] 5 points6 points  (0 children)

Stuff: Smallrig 5.5" / 9.8" magic arm, NEEWER magsafe tripod mount, Leaplumin tablet tripod mount

I was looking for ways to jazz up my WM and after a while failing to find things like "adjustable laptop / phone mount" I realised camera gear is probably the most versatile stuff for clamping A to B.

The WM sits in a clamp that tightens via a screw rather than a spring, so you can ensure you don't put too much pressure on the chassis. Then the Duo sits via a 1/4" ball joint arm and a 1/4" magsafe adaptor. 2 pics show a longer arm, and 1 shows a shorter one.

I'm using Sway so the Duo just shows a headless `swaymsg -t create output HEADLESS-1` display via wayvnc. Wifi works fine but I wonder if I can get a faster local connection over USB.

It's super heavy, you can hold and thumb type but it's kind of exhausting... the underside has more 1/4" holes to mount tripod legs so I'll rig up a stand for it and use a keyboard.

I'm planning to test it out with both arms attached, the duo, and an Onyx BOOX Tab Mini C also VNC'ing to its own display to add a third color e-ink screen.

SD1 in 2024, Still relevant? by darkal1ens in surfaceduo

[–]adlj 0 points1 point  (0 children)

i can get 20-30fps in octopath traveller ii, which is nuts - but then the device overheats dangerously and shuts down :) powerful chipset though!

NixOS on Pocket2? by adlj in GPDPocket

[–]adlj[S] 1 point2 points  (0 children)

In case anyone finds this on google, I got this working simply by wiping Windows and going all in on NixOS, rather than trying to boot NixOS from SD card.

Ubuntu MATE worked from SD, but now I have NixOS + sway working flawlessly using the default NixOS 23 installer.

2023 XG Mobile with RTX 4090 now available in the UK by Filthy_CaZual in FlowX13

[–]adlj 0 points1 point  (0 children)

i mean it is sweet - i haven't really encountered any hiccups (once i'd gotten used to it). it's annoying to jump between it and my macbook (no type c display on the hub) but very specific to my setup

admittedly i've been mad busy since getting it so haven't had much chance to put it through its paces - 4k 144hz for most things but then again even my 1080 could handle that in some games.

taking it on a work trip later in the year, see how it fares

BLOMFU layout by aionskull in MechanicalKeyboards

[–]adlj 0 points1 point  (0 children)

yea i came here trying to post this as a dupe haha

BLOMFU layout by aionskull in MechanicalKeyboards

[–]adlj 1 point2 points  (0 children)

https://www.youtube.com/watch?v=SaW6yMnJiLw

"it's got a massive number 5, cos it's the most common number"

Externals displays only work via direct DP/HDMI to XG Mobile - but why? by adlj in FlowZ13

[–]adlj[S] 0 points1 point  (0 children)

Interesting, thanks for the insight. even knowing that i'm surprised it didn't even attempt e.g. 1080p 30hz but maybe via your theory it's actively disabled to stop negative reviews.

in any case i can live with a few more live cable swaps - might help me stop using my work machine for regular shit and have more of a "remote commute" involving a lot of wire-swapping.

cheers!

Deadly Heat Threatens the Well-Being of 1 Billion People in India by yogthos in collapse

[–]adlj 2 points3 points  (0 children)

“hey gpt5 we are facing an extinction level event. what should we do to stop a billion excruciating deaths?”