You are viewing archived messages.
Go here to search the history.

Jamie Brandon 2024-02-05 19:21:14

Struggling with nominal types sneaking in everywhere - scattered-thoughts.net/writing/notation-and-representation

Chris Krycho 2024-02-05 19:24:54

Not an especially insightful comment, just: as a reader of your blog for the last 12–18 months who is also slowly backfilling programming language stuff I didn’t get by way of a physics degree (for some reason 😂), I find these write-ups eminently informative, and there aren’t a lot of other folks sharing this kind of “in the weeds” material.

Chris Krycho 2024-02-05 19:25:44

(pling.jondgoodwin.com is the only other one I can think of in that space, and he’s been totally silent since mid-2022 😩)

📝 Programming Linguistics

Meditations on Programming Language Design

Chris Krycho 2024-02-06 15:30:05

Jamie Brandon following up a bit on this, what is your evaluation of the tradeoff Go and Swift make where interfaces/protocols are structural but data structure definitions are nominal?

Jamie Brandon 2024-02-06 18:43:17

It doesn't have much bearing on serialization, since there's no reasonable way to serialize interfaces while changing code.

Chris Krycho 2024-02-06 22:54:36

Ah, yeah, okay, that makes perfect sense.

Kilian Butler 2024-02-08 23:46:38

I wrote this article which covers speech synthesis ML, with a focus on the most challenging + interesting problem in speech: prosody generation.

Understanding this is key to building multi-modal input/output for LLMs

~_*Teaching computers to talk: the prosody problem*_~

papercup.com/blog/realistic-synthetic-voices

If anyone’s interested in the topic hit me up :grinning_face_with_star_eyes:

Mariano Guerra 2024-02-09 16:44:46

Gloodata Demo: Smart Labels & Mistral's Open LLM (Mixtral-8x7B-Instruct)

Smart labels are a visual indication that a value has detailed information and contextual actions accessible with a click

Plugins can register their own smart label types and detailed views and contextual actions for those types or types registered by other plugins

First demo using an open model instead of ChatGPT

Daniel Buckmaster 2024-02-10 00:33:55

Not exactly a project, but I was thinking about the way I use tldraw.com as an infinite single notepad - not starting new files, just gradually moving to a new part of the canvas as I need to. And as I was thinking I thought it'd be amusing to show off my canvas. This is about a year's worth of intermittent diagramming. I still use pen and paper a lot, and I don't yet know what the trigger is for me to get on tldraw instead of reaching for my notebook.

image.png

Lu Wilson 2024-02-10 10:07:05

nice glad you like it. this is something we discussed loads as a team last year while prototyping a way to save and load boards.

i personally don't like keeping everything on one board because it's too easy for me to Cmd+A, Backspace, and lose everything. i wanted a big fat juicy blue button that said "new board".

but it does seem that a lot of people like to do your approach. so we tried different ways to support that too. we called it the "Home" board or "Scratchpad".

there was a slight tension between these two approaches. "how do we support both approaches as first-class?"

i hope we can revisit it one day

Lu Wilson 2024-02-11 18:43:04

Introducing the DreamBerd Vision Pro

(satire)

youtube.com/watch?v=QRKnrFEjDF0

Justin Janes 2024-02-11 19:15:40

HATE the videos of people walking around with this filter on over their life (AVP). But i love the idea for my home office to have fewer physical screens, less power draw, and a more ergonomic desk layout for the home office.

Mariano Guerra 2024-02-11 19:17:33

how many dimensions does Spatial Computing have in DreamBerd Vision Pro? how are they named? which way is up?

Mariano Guerra 2024-02-11 19:18:54

is everything designed from first principles? second principles? nth?

Lu Wilson 2024-02-11 19:21:39

Great question. They're called Sonoma, Monterey, and Ventura

Lu Wilson 2024-02-11 19:22:26

We completely re-rebuilt everything again from the ground up, again, again.

Mariano Guerra 2024-02-11 19:26:08

is my 3 dimensional reality compatible with DreamBerd Vision Pro? or do I have to update to the proprietary (patent pending) TRUE 3D ™ for the full experience?

Lu Wilson 2024-02-11 19:30:07

sorry this is not 3D reality compatible, only Spatial computing, which is very different