![\"\"](\"https://cdn.uploads.micro.blog/31267/2026/paste-37dddaf6.png\")
ARG! I really want the ability to isolate pieces of information in AI systems. There are things I’m working on that shouldn’t know about each other. This is insane that Claude will now search my chats for relevant information!
\n","summary":"","url":"https://blog.dgleich.com/2026/11/13/arg-i-really-want-the.html","date_published":"2026-11-13T20:02:09+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"20:02","date_timestamp":1794600129,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117610914263219370","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3n27rnqojq52w"]}},{"id":"100965381","content_html":"LLMs really let us have disposable software. Claude wrote me a custom HTML editing interface to handle a single Latex paper and let me review and apply typo changes it suggested. Wild.
\n","summary":"","url":"https://blog.dgleich.com/2026/11/12/llms-really-let-us-have.html","date_published":"2026-11-12T19:31:32+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-12 19:31","date_timestamp":1794511892,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117605131544590635","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3n257i2xw3m2w"]}},{"id":"100957168","content_html":"Expert known LLM hack worth posting. Rather than “do X”, say “build a tool to do X”. Then “run that tool.”
\n","summary":"","url":"https://blog.dgleich.com/2026/11/12/expert-known-llm-hack-worth.html","date_published":"2026-11-12T17:07:40+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-12 17:07","date_timestamp":1794503260,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117604565900900225","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3n24xgtsl4v23"]}},{"id":"100865485","content_html":"@dgleich.bsky.social Cool! I do think we need to make papers more dynamic! Did you see distill.pub ? This was pre llm!
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzyvwhxczk2y","date_published":"2026-11-11T02:30:02+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-11 02:30","date_timestamp":1794364202,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"100860416","content_html":"@peark.es I’m with you. But the impulse wok
\nRing is cool A simple induction top with a few wireless sensors would be ideal. The only thing i go above power level 8 on mine is for boiling water.
@dgleich.bsky.social Done
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzyco45tzs2z","date_published":"2026-11-10T20:45:20+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-10 20:45","date_timestamp":1794343520,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"100849545","content_html":"I don’t think I’ve posted about this yet, but I’ve been using the LLMs to make a math/technical presentation tool that does latex and “live demos” (usually written by an LLM). Feel free to check it out eigendeck.dev … it should work on mac, windows, and linux, but I work mostly on mac.
\n","summary":"","url":"https://blog.dgleich.com/2026/11/10/i-dont-think-ive-posted.html","date_published":"2026-11-10T20:00:34+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-10 20:00","date_timestamp":1794340834,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117593921324467022","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzya6asj4r2w"]}},{"id":"100832850","content_html":"@lean-samaritan.bsky.social That’s pretty good… basically Knuth’s literate style programming, but for proofs, which I think is the right mix. I still think we need better syntax for the actual proof parts though. A “goal” is to make standard writing almost the same as the formal statements.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzxof7r6t22j","date_published":"2026-11-10T14:42:27+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-10 14:42","date_timestamp":1794321747,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"100830905","content_html":"@lean-samaritan.bsky.social I think putting out good examples is super valuable right now. Do you have any?
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzxmctvtoc2y","date_published":"2026-11-10T14:05:20+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-10 14:05","date_timestamp":1794319520,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"100624033","content_html":"Just got a bunch of papers to review. There’s this syntax thing LLMs do that drives me crazy. Someone must have studied where it comes from… post-training work? “It’s A, not B”; “something same, different something else.” Lots of odd technical lingo that seems sophisticated but is just weird.
\n","summary":"","url":"https://blog.dgleich.com/2026/11/06/just-got-a-bunch-of.html","date_published":"2026-11-06T14:49:13+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-06 14:49","date_timestamp":1793976553,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117570047591921095","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mznmvqay722r"]}},{"id":"100532901","content_html":"@dgleich.bsky.social Have a paper with any theorems that’d be a useful check?
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzjqp4nogk2a","date_published":"2026-11-05T01:46:30+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-05 01:46","date_timestamp":1793843190,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"100513245","content_html":"I hate the way theorems in lean look, so I’ve been working with an LLM to build something to do a surface syntax that compiles to lean. The inspiration is a “Markdown” like idea that would compile to lean. See pic for a sample. Repo at github.com/dgleich/c… – would love help!
\n\n
@dgleich.bsky.social That sounds so much better! I have no will power.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzgz5kb2jk2q","date_published":"2026-11-03T23:39:45+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-03 23:39","date_timestamp":1793749185,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"100441566","content_html":"Who else is watching numbers they are powerless to change?
\n","summary":"","url":"https://blog.dgleich.com/2026/11/03/who-else-is-watching-numbers.html","date_published":"2026-11-03T23:20:10+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-03 23:20","date_timestamp":1793748010,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117555069859760965","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzgy2nlkn623"]}},{"id":"100404578","content_html":"Happy last day of political texts season
\n","summary":"","url":"https://blog.dgleich.com/2026/11/03/happy-last-day-of-political.html","date_published":"2026-11-03T12:32:10+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-03 12:32","date_timestamp":1793709130,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117552521734713441","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzfttvigfx24"]}},{"id":"100343363","content_html":"Ugh – I feel like the LLM labs are starting to tune these things to operate “on our computers” whereas I wish they would introduce stuff to have them “operate in controlled VMs” with gated access to things.
\n","summary":"","url":"https://blog.dgleich.com/2026/11/02/ugh-i-feel-like-the.html","date_published":"2026-11-02T14:06:37+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-02 14:06","date_timestamp":1793628397,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117547230894847511","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzdinvnafe2w"]}},{"id":"100299630","content_html":"Runners go rogue. Take over nyc in a rabid, city disrupting hoard that stretches over 26 miles.
\n","summary":"","url":"https://blog.dgleich.com/2026/11/01/runners-go-rogue-take-over.html","date_published":"2026-11-01T18:48:25+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-11-01 18:48","date_timestamp":1793558905,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117542676649833302","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mzbhwunqzt24"]}},{"id":"100226323","content_html":"Midterms are over in 3-4 more days 🌊 (except for the close races and all the mail in stuff and all the legal shenanigans… so not really)
\n","summary":"","url":"https://blog.dgleich.com/2026/10/31/midterms-are-over-in-more.html","date_published":"2026-10-31T13:13:45+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-31 13:13","date_timestamp":1793452425,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117535698444457452","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mz6erklv522w"]}},{"id":"99992200","content_html":"My prediction… MacBook touch.
\n","summary":"","url":"https://blog.dgleich.com/2026/10/27/my-prediction-macbook-touch.html","date_published":"2026-10-27T23:27:02+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-27 23:27","date_timestamp":1793143622,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117515461107421637","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3myvf6ofuhm22"]}},{"id":"99680509","content_html":"@isaiahbishop.bsky.social I’m so on board with this !
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3myhrdalxd22a","date_published":"2026-10-22T13:27:14+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-22 13:27","date_timestamp":1792675634,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"99676804","content_html":"@besttrousers.bsky.social And it worked with the most obvious worse thing. A linear 3d sphere proportion chart! Gotta turn this monstrosity into a pumpkin for Halloween
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3myhmlpsbik2j","date_published":"2026-10-22T12:02:30+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-22 12:02","date_timestamp":1792670550,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"99676406","content_html":"@besttrousers.bsky.social I just asked an ai to try and produce a worse visualization than a 3d pie chart.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3myhm32ze2s2j","date_published":"2026-10-22T11:53:11+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-22 11:53","date_timestamp":1792669991,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"99634320","content_html":"@tiago.skewed.de I think your question even predates LLMs!
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3myf7ntojnk25","date_published":"2026-10-21T13:05:43+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-21 13:05","date_timestamp":1792587943,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"99634321","content_html":"@geomblog.bsky.social Glad to know I’m not the only one who opts out!
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3my6eo4uids2m","date_published":"2026-10-18T19:46:43+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-18 19:46","date_timestamp":1792352803,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"99280333","content_html":"@joshuagrochow Re: short term gains, for what it’s worth, I think history teaches us exactly the opposite. The craftsmanship of a blacksmith is gone, but there is more metal working now than ever. Same when computers took over calculation from people, see “When computers were human”
\n","url":"https://micro.blog/dgleich/99280333","date_published":"2026-10-15T14:47:25+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-15 14:47","date_timestamp":1792075645,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"99228315","content_html":"A question I have … what should papers be? If you have a specific question, where the answer is a theorem/theory, then LLMs are really good at answering it. So why write papers about those answers like we used to do? Maybe, we should focus papers on the questions?
\n","summary":"","url":"https://blog.dgleich.com/2026/10/14/a-question-i-have-what.html","date_published":"2026-10-14T18:12:12+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-14 18:12","date_timestamp":1792001532,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117440612587274747","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mxu5jjgdkg24"]}},{"id":"99228234","content_html":"On LLMs in research/theory/math. I feel like the difference between how people value this is simple. If you find the value is in the outcome (the theorem), then LLMs are awesome. if you find the value is in the journey (the way to find the proof), then LLMs ruin it.
\n","summary":"","url":"https://blog.dgleich.com/2026/10/14/on-llms-in-researchtheorymath-i.html","date_published":"2026-10-14T18:10:13+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-14 18:10","date_timestamp":1792001413,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117440605139627740","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mxu5g4trze27"]}},{"id":"98877382","content_html":"Crazy. I ran a cost estimate for a solar and battery system. If you use current low end prices it ties our current kWh price from grid (.18 kWh) assuming replacing batteries every 10 years and panels every 25 over 50 years. But needs 30-40 kw of panels. So not feasible to build.
\n","summary":"","url":"https://blog.dgleich.com/2026/10/08/crazy-i-ran-a-cost.html","date_published":"2026-10-08T14:20:15+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-08 14:20","date_timestamp":1791469215,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117405726837596192","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mxenrclowl2h"]}},{"id":"99265080","content_html":"@beenwrekt.bsky.social The matching result is also funny. Run a “fallback” algorithm if the graph is less than 10^(30000000000000000000000) vertices.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mxc6qipgp22m","date_published":"2026-10-07T14:46:08+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-07 14:46","date_timestamp":1791384368,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"98817304","content_html":"Me: Ahh! new “almost-linear time matching algorithm” … can we implement it?\nCodex: No. It just uses a normal algorithm for anything with less than ~10^(30000000000000000000000) vertices.\nMe: Oh, my graphs aren’t that big.
\n\n![\"A](\"https://cdn.uploads.micro.blog/31267/2026/paste-9d010b05.png\")
I love how a verbed-noun “gate” has now replaced the standard “check” or “test” in technical vernacular. Thanks Anthropic!
\n","summary":"","url":"https://blog.dgleich.com/2026/10/06/i-love-how-a-verbednoun.html","date_published":"2026-10-06T14:05:39+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-10-06 14:05","date_timestamp":1791295539,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117394344851855865","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mx7lzev7dv2p"]}},{"id":"98391942","content_html":"@dgleich.bsky.social Quality isnt so hard. It’s in the eye of the beholder and inherently subjective. We can even disagree on quality! That’s fine. What’s hard is that we tell ourselves we are objective and passive observers of “science / truth” and these viewpoints conflict. Conferences need more words. maybe more soon
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mwoytohc5226","date_published":"2026-09-29T23:39:57+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-29 23:39","date_timestamp":1790725197,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"98371547","content_html":"I’m annoyed by all the academics stressing “quality over quantity” as a tonic for the LLM deluge of results / crap. People have been saying this for years. Either setup a compact with some language on putting this in hiring documents/recommendations/etc. or stop saying it.
\n","summary":"","url":"https://blog.dgleich.com/2026/09/29/im-annoyed-by-all-the.html","date_published":"2026-09-29T15:32:01+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-29 15:32","date_timestamp":1790695921,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117355048092048057","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mwo5lbs43y2t"]}},{"id":"98233519","content_html":"ChatGPT gave me bad advice on how to fix an overly bitter ipa.it suggested adding salt. I asked about lemon. Did a taste test. Lemon was better. “Super intelligent” but ignorant about human experience.
\n","summary":"","url":"https://blog.dgleich.com/2026/09/26/chatgpt-gave-me-bad-advice.html","date_published":"2026-09-26T23:42:09+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-26 23:42","date_timestamp":1790466129,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117339988547065870","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mwhhkyl3362o"]}},{"id":"98212739","content_html":"@isaiahbishop.bsky.social Ask it to turn it into a tauri app. Loving the tauri app I have for presentations… (see eigendeck.dev
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mwgj52pg7s2c","date_published":"2026-09-26T14:37:34+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-26 14:37","date_timestamp":1790433454,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"98037382","content_html":"@dgleich.bsky.social I guess some folks are ambitious at taking rights away from others. Not that kind of ambition!
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mw6z23yrjc2f","date_published":"2026-09-23T15:00:57+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-23 15:00","date_timestamp":1790175657,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"98028170","content_html":"@dirque.bsky.social Thankfully I’m a no on the third bullet point.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mw6okl727k2o","date_published":"2026-09-23T11:53:18+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-23 11:53","date_timestamp":1790164398,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"98001885","content_html":"This feels like a joke!
\n\n![\"\"](\"https://cdn.uploads.micro.blog/31267/2026/paste-aeaa710a.png\")
@dgleich.bsky.social Oh interesting. I haven’t been able to get that to work. Maybe worth trying again. What model?
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mw46e2xdu22b","date_published":"2026-09-22T11:58:00+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-22 11:58","date_timestamp":1790078280,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"97946263","content_html":"@dgleich.bsky.social Hah. Funny to think about grad students in these sentences instead. First drafts I have to fix! The difference with grad students is that their humanity actually makes me care. (And they learn and get better and generally are fun and smart…)
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mw35rwabz22j","date_published":"2026-09-22T02:15:12+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-22 02:15","date_timestamp":1790043312,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"97943489","content_html":"Is there some magic I need to understand to get LLMs to help with writing? I find them so terrible at this I feel like I’m wasting time trying to use them.
\n","summary":"","url":"https://blog.dgleich.com/2026/09/21/is-there-some-magic-i.html","date_published":"2026-09-22T01:26:37+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-22 01:26","date_timestamp":1790040397,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117312087741069351","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mw3337czpv2y"]}},{"id":"97915224","content_html":"@jugander.bsky.social Thanks johan. I come from a small ugrad school with a strong honor code (at that time) regarding cheating etc. this seems to be a missing component of these debates too.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvzt3q32ls26","date_published":"2026-09-21T13:31:10+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-21 13:31","date_timestamp":1789997470,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"97705114","content_html":"@isaiahbishop.bsky.social They took the json output use cases, formalized common cases them, and 100x-ed them. Solid work. I bet nvidia buys them soon.
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvpyhvv43k2q","date_published":"2026-09-17T15:40:50+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-17 15:40","date_timestamp":1789659650,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"97704927","content_html":"@dgleich.bsky.social Yeah. The ceo said it at hn. Crazy this isn’t in the docs though!
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvpycxycn22q","date_published":"2026-09-17T15:38:04+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-17 15:38","date_timestamp":1789659484,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"97704010","content_html":"@dgleich.bsky.social Couldn’t find it in the docs (site:typesafe.ai “Bernoulli”), unless you count HackerNews as docs! news.ycombinator.com/item?id=4971…
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvpxh2xims2r","date_published":"2026-09-17T15:22:28+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-17 15:22","date_timestamp":1789658548,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"97699316","content_html":"Re: Jev. I bet they used the word ‘noul’ so they could track usage of their tool in codebases. docs.typesafe.ai/primitive… I can’t find any actual explanation of this choice. Claude thinks it’s part of ‘Ber-noul-li’ as in a Bernoulli trial. I can’t find an actual explanation anywhere.
\n","summary":"","url":"https://blog.dgleich.com/2026/09/17/re-jev-i-bet-they.html","date_published":"2026-09-17T13:53:34+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-17 13:53","date_timestamp":1789653214,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117286713417033016","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvpsibitdg2l"]}},{"id":"97698990","content_html":"Coding agents are such a blessing to work with new APIs.
\n","summary":"","url":"https://blog.dgleich.com/2026/09/17/coding-agents-are-such-a.html","date_published":"2026-09-17T13:47:09+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-17 13:47","date_timestamp":1789652829,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117286688224439043","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvps4sugsu2l"]}},{"id":"97589199","content_html":"Wild – if the data are accurate on the M6 perf. The M6 is as fast as the original M1 ultra in multicore CPU perf.
\n","summary":"","url":"https://blog.dgleich.com/2026/09/15/wild-if-the-data-are.html","date_published":"2026-09-15T18:08:18+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-15 18:08","date_timestamp":1789495698,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"is_podcast":false,"note":"","syndication":["https://mstdn.social/@dgleich/117276390499748172","https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3mvl7rx6rnr2l"]}},{"id":"97534741","content_html":"I was wondering why they “cannot” do this investigation (initial post) but it turns out they can. Compare web.archive.org/web/20260… to web.archive.org/web/20260…
\n\n![\"\"](\"https://cdn.uploads.micro.blog/31267/2026/paste-616d94f9.png\")
@carnage4life.bsky.social What harness are you using?
\n","url":"https://bsky.app/profile/did:plc:zolorsrvayq5in7e3c7jou5b/post/3muzjz6lt5c22","date_published":"2026-09-08T17:23:29+00:00","author":{"name":"David Gleich","url":"https://dgleich.micro.blog/","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Favatars.micro.blog%2Favatars%2F2026%2F24%2F63320.jpg","_microblog":{"username":"dgleich"}},"_microblog":{"date_relative":"2026-09-08 17:23","date_timestamp":1788888209,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"edit_url":null,"is_conversation":true,"is_linkpost":false,"is_mention":true}}]}