Marco Z

I was there last November and these stores are still there :)

🙌

I'm completely unqualified to comment, but there's an "e-value" notion that combines the cost of sequential sampling as a series of bets and hypothesis testing.

idk it has a certain ring to it

sounds cool what does it do

fwiw I generate haskell all the time with sonnet, but 1. I've used the language for 10 years prior to AI and 2. use it for applications where it shines (compilers, backend data crunching stuff etc)

bsky.app/profile/ed3d... smaller languages not only have fewer dependencies/frameworks but less overall training data. The composite effect of all this plus compiler feedback, operator proficiency etc is very hard to rank IMO

will be interesting to see whether this approach enables smaller models too

what are the scaling laws of models that can (partly) introspect?

huge and v interesting design space

I hope he's aware that his job is included in the count too

if your sentence happens to start with one of the unix commands, lol, lmao even

a good working definition. Thanks! I'll need to ruminate on this for a while.
All sorts of questions about bias, calibration etc

is this part of the atproto semantics?

what are token and capability space? are we still referring to prompt design?

you can almost hear this ad

"sssub-sssymbolic took our preciouss

SIX papers to review for @icmlconf.bsky.social ?? that's like a full time job for a week

also, which haskell dialect?
SPJ with Notes?
point-free kmettoverse navigator?
grad student (only speaks GADTs and quantified types) ?

my driving question was how to produce a user-mode agent for locked down evironments (eg a corporate laptop), and both go and wasm produce portable binaries that work well

I use sonnet to write haskell all the time :) it won't produce type astronautics or super clever code, but it does have some depth

eg the other day it suggested a refactoring based on "tagless
final" which is a technique I hadn't used anywhere in the codebase and I got super proud of the lil ghost

I bet y'all thought I was joking when I said I was rewriting gastown in haskell

ok, seccomp/bpf is another Big Hammer I haven't tried yet

lots of respect you got it working 🤜

I'm going down the kubernetes route instead for agent containment

failed experiments so far:
- wasm/wasi
- go-landlock

capital-P project deferred: gVisor or firecracker

meaning you're on nixos?

wikipedia title salad disguised as gnosticism

good story! Now we're left wondering what that mysterious place is, why are they there, & more.

good thing the authors themselves take a less polarizing stance

claude is like the PM from hell, it never says "no dude, yagni

Update on TorchAudio’s future · Issue #3902 · pytorch/audio EDIT from 2026/01/22: we just released TorchAudio 2.10, which marks the completion of the migration detailed below. Based on user feedback, one important modification was made to the original plan:...

(months deep into an audio deep learning project)

torchaudio goes into maintenance mode with whole module subtrees getting removed from one point release to the next

github.com/pytorch/audi...

💯 plus, rearranging all knowledge work to rely on hyperscalers supplying cheap tokens as a utility is .. short sighted

<bart say the word meme>

can we just agree that this is 100% metaphysics and will _never_ be settled by reason or data