Jamey Sharp
@jamey@toot.cat
mastodon
4.6.0-alpha.6+glitch.dfa1ad09c
An advocate of nuance and historical context
"not the rockstar you want, but the janitor you need"
0
Followers
0
Following
Joined April 17, 2017
Posts
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Apr 08, 2026
@roknrol @mayintoronto For sharing files between devices, have you evaluated https://syncthing.net/ Is there some reason it doesn't meet your needs?
My current way to keep notes is in a directory of text files, synced between my laptop and phone with SyncThing. On my phone I use https://quillpad.github.io to edit them; it has UX resembling Google Keep but has nice editing for Markdown files.
I'm only using this approach for small files of notes, grocery lists, etc, but I think it might be usable for larger projects too.
View full thread on toot.cat
3
0
0
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Apr 07, 2026
@jyn I had assumed you were joking. the single-core time just to enumerate every f64 should be hundreds of years, right?
View full thread on toot.cat
4
2
0
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Mar 26, 2026
LLMs
Sensitive
@regehr@mastodon.social I was trying to avoid phrasing it that way, but yes, very much that 😂
View full thread on toot.cat
1
0
0
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Mar 26, 2026
LLMs
Sensitive
@regehr@mastodon.social sure, I understand that distinction. like verifying an NP-Hard solution versus generating one, though I know you can tell me all about how these program verification tasks are themselves often NP-Hard. I just think it would be a shame to drop the existing research on program synthesis in favor of something that generates vaguely-guided random text in a long feedback loop. I mean if we really reach zero DOF, I think an existing coverage-guided fuzzer ought to give better results faster than an LLM
View full thread on toot.cat
2
0
0
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Mar 26, 2026
LLMs
Sensitive
@regehr@mastodon.social If we build tools that actually give us zero degrees of freedom, surely there are more efficient and reliable ways to use them than LLMs?
Given that, as you note, zero DOF is only aspirational, I would love to see more work along the lines of the Termite project for synthesizing device drivers. Version 1 took the provided constraints on the behavior of both the device and the OS, did a bunch of computation, and tried to spit out C source without human intervention. Termite 2 took the same inputs, but gave developers an IDE that would auto-complete large chunks when there were no valid alternatives, then prompt the programmer for the few decisions that were left. I think there are lessons I'd like to see more people learn there.
View full thread on toot.cat
5
0
0
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Mar 02, 2026
@micahflee Oh, I see this is from all of DHS, not just ICE, and also that it includes contracts which ended years ago. That's good to be aware of. I actually worked on part of this one contract, over a decade ago, and it was purely about improving cybersecurity for people's smartphones; it had nothing to do with immigration. https://micahflee.github.io/ice-contracts/?state=OR&modalType=contract&modalAwardId=937
View full thread on toot.cat
0
0
4
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Sep 13, 2025
Sometimes science happens for funny reasons:
The results reported herein were discovered rather serendipitously when we inadvertently introduced ion-exchanged water instead of methylcyclohexane into a microwave-heated Pt/AC catalyst system during a MDOH experiment. Normally that would have not occurred had we not been required to wear facial masks owing to the Covid-19 virus, as the smell of this organic substrate is rather obvious from odorless water. It was only after about 20 min that we noticed the inadvertent misstep, yet the gas chromatograph detected hydrogen continuously through this time that could only be attributed to a process involving the flowing water.
https://pmc.ncbi.nlm.nih.gov/articles/PMC9041528/
8
0
3
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
Jamey Sharp
@jamey@toot.cat
An advocate of nuance and historical context "not the rockstar you want, but the janitor you need"
toot.cat
@jamey@toot.cat
·
Aug 13, 2024
Although I got laid off from Fastly last week and am no longer getting paid to work on WebAssembly, today I co-presented a new proposal to W3C's WebAssembly standards committee, and I'm really glad I did. I was considering dropping out of the proposal but it felt satisfying to help present the things that Alex and I learned while putting the proposal together. And it felt especially satisfying when the group gave strong consensus in favor of moving forward with the proposal. So we'll start working on https://github.com/WebAssembly/128-bit-arithmetic, based on https://github.com/WebAssembly/design/issues/1522
33
0
8