you should add a cute digital pet that you can click to snuggle (for productivity reasons obv)

WWWWWWOOOOOOOOOO!!!!!!!!!!!!!!!!!!!
congrats

this is full function personal secretary on a page
love it

This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!

do you make people call you Dr now (and if not why not)?

so think about the valuable contribution to society you are making as you upvote my posts

Dark GDP: The Economics of Entangled Time Your screen time produces trillions in economic value that GDP doesn't measure

saw an interesting post on "DarkGDP" on substack.

the idea is that during your "leisure time" you are reading ads, upvoting posts, etc. and generally providing valuable data to companies without pay. kind of like women doing housework, it's real work but doesn't show up in gdp.

well that 1 author with 37 submissions is cooking... something...

Double Chocolate Chip Cookies Recipe - Sally's Baking These soft-baked thick and chunky double chocolate chip cookies are rich and fudge-like with chewy centers and chocolate chips in each bite.

recipe was this one but without chips:
sallysbakingaddiction.com/double-choco...
instead i rolled the sticky cookie balls in crushed hazelnuts

i think that would be gradual dependent typing
open.library.ubc.ca/media/stream...

i participated in a couple of behavioral economics activities as a grad student. i remember it being a fun time of dice games, real money winnings, and primitive online trading games.

didn't know table-flipping was empathetic validation lol

(╯°□°)╯︵ ┻━┻ ×56
Earnest, empathetic validation of the user's perspectives and concerns, expressed with thoughtful sincerity.

more like braincandy

Dark chocolate cookies coated in crushed hazelnuts on a pink plate. One cookie has a bite out of it.

do you want a cookie?

this is fun, you can make little UI interfaces directly in markdown. investigating for quiz purposes
markdown-ui.com

my favorite is my kid singing altered versions of TAKEDOWN that call out other classmates

GitHub - nwhitehead/kaya Contribute to nwhitehead/kaya development by creating an account on GitHub.

github link:
github.com/nwhitehead/k...

i think this is my first real rust + wasm project.

Screenshot showing Kaya diagram with text: /* Demo Kaya diagram This demo is designed to demonstrate a few features of Kaya in a somewhat realistic way without being overwhelming. */ # L1 ## Stack ### main x: ptr(H0) y: ptr(H1) ## Heap H0: 1 H1: (4, ptr(H2)) ## H2: (2, *) # L2 ## Stack ### main x: ptr(H0) y: * z: ptr(H2).ds ## Heap H0: 1 H1: (4, ptr(H2)) ## H2: (2, *)

announcing the initial release of the kaya online diagram tool!
you can make diagrams and save them from the page

kaya.shimmermathlabs.com

can't possibly be better than the sexual harassment training visual novels you get to play when joining bigcorp. will carl get with his direct report? dramatic tension is unbearable

awesome work! love it

i am a bit skeptical about the "claude assessment" text at the end. "This is genuinely one of the most memory-safe codebases I've analyzed..." is this from a context that actually reviewed other codebases? or just fluff?

which model are you using?

very cool stuff!

made me dig through old posts
i noticed a broken link in "Locally Nameless" to "i am not a number--i am a free variable"

that is so cool!

how are you doing the quiz part? is that entirely local? i need deets

Kaya diagram with dark theme with source: # L1 ## Stack ### main x: ptr(H0) y: ptr(H1) ## Heap H0: 1 H1: (4, ptr(H2)) ## H2: (2, *) # L2 ## Stack ### main x: ptr(H0) y: * z: ptr(H2.0).ds ## Heap H0: 1 H1: (4, ptr(H2)) ## H2: (2, *)

Kaya diagram with light theme from source: # L1 ## Stack ### main x: ptr(H0) y: ptr(H1) ## Heap H0: 1 H1: (4, ptr(H2)) ## H2: (2, *) # L2 ## Stack ### main x: ptr(H0) y: * z: ptr(H2.0).ds ## Heap H0: 1 H1: (4, ptr(H2)) ## H2: (2, *)

making pretty diagrams with my kaya diagram tool
now comes with dark and light themes

i always have to remind myself that hardware designers have been working on making memcpy fast as a full time job since before i was born

i always feel the closest to the ai when it writes these messages. been there, buddy.

i just asked my spouse how they pronounce "latex" and they said "lah tek and i judge anyone who pronounces it differently harshly"
i personally bounce between like 5 different variations of pronunciation for latex

formal methods have been the future of software for the last 50 years

love the whiteboard, that is adorable

wouldn't being a looped model mean the parameter count can be lower for the same ability level? that's how i read the paper