Marco Z

"oh sorry, I recently switched to e-ink tablets!"

comes in handy when someone gets airsick, the cabin staff know exactly where's the doctor /s

smh looking at ants is a healthier pastime

Haskell Community A place for all discussions related to Haskell

try posting on discourse.haskell.org perhaps?

Are you using open models on a regular basis? If yes, I’d love to hear about it!

- what’s your use-case?
- local or through an inference provider?
- how has the experience evolved over time?
- anything you miss from the closed models, if you’ve used them?

Would appreciate reposts for visibility 🙏

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