asker the gauche, glycojohn destroyer of carbs
@johnbender.bsky.social
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Deploying apps on the web has always been a major turn off for me - it feels like being gifted a litter of puppies. Assorted pain reduction services exist with tamagotchi rental economics. And then I discovered miren.dev. I have absolutely no association with them. I am just genuinely in awe.
Miren - Everything You Need. Everywhere You Need It.
Miren is a deployment platform designed for small teams that provides tools to deploy, manage, and scale applications.
miren.dev
I feel like required pedal assist and a top speed capped at 20 (Class 1) is the obvious choice for the definition of “e-bike”? Everything else should be treated like a moped?
busty pixie demon@0xafaebabe.gay · 2w agofolks i love e bikes but this is bullshit, this thing can go well over 30mph. idc that it has pedals, this shit is a motor vehicle, it should require license plates and a license to operate, and has no place in bike lanes, foh
folks i love e bikes but this is bullshit, this thing can go well over 30mph. idc that it has pedals, this shit is a motor vehicle, it should require license plates and a license to operate, and has no place in bike lanes, foh
Even just chatting with @mitchellh.com about Miren and tech reminded me how fun it was when we worked together! And we got his next.js powered blog deployed! miren.md/guides/javas... Full video: youtu.be/04lpAzu0Fqk
Film you’ve watched more than six times. Hard mode: no Star Trek, Star Wars, LOTR, any Marvel, Disney or Ghibli
Big Lebowski: The Dude's White Russian
ALT: Big Lebowski: The Dude's White Russian
static.klipy.com
Dave Herman@dherman.dev · 4w agoFilm you’ve watched more than six times. Hard mode: no Star Trek, Star Wars, LOTR, any Marvel, Disney or Ghibli
The US built the greatest talent magnet ever, attracting the smart, skilled, and striving. They’d come to study, then stay and build things here, or leave with positive impressions and fruitful connections. Helped make the US wealthy and powerful. Then America chose to throw it away. And for what?
Ben Allen@evodynamics.bsky.social · last mo.Congrats we just made it impossible to come here for a PhD www.bostonglobe.com/2026/07/16/m...
Shout out the folks who correctly identified that it was a dumb idea after seeing that it was a dumb idea first hand:
Mark Chadbourn@chadbourn.bsky.social · 2mo agoA fifth of Leave voters have died.
Imagine being so annoyed with the academic institution and its pesky desire to pursue and engage with objective reality (makes lying harder you see) that you’re willing to throw away billions and billions of dollars in advancements in science and technology.
Science Magazine@science.org · 2mo agoExclusive: The National Science Foundation is trimming this year’s budgets for hundreds of its traditional basic science programs by roughly 20% to 30%, even though its overall budget is down just 3%. https://scim.ag/4xY2KCm
Yet again I implore people who work on programming language design and implementation to take the time to study the history of language design and the failures therein. The words “memory model” appear exactly once referring to a test suite 🫠 github.com/oven-sh/WebK...
Shared-memory threads for JavaScriptCore (experimental, not working yet) by Jarred-Sumner · Pull Request #249 · oven-sh/WebKit
What this is Shared-memory threads for JavaScriptCore. new Thread(fn) runs fn on another thread, in the same heap, with the same objects. No structured clone, no message passing, no SharedArrayBuff...
github.com
What's happening with Platner is why you hop off the bus at "he has a nazi tattoo"
gonna take a break tomorrow 🫠
Currently lamenting my lack of initiative in failing to mount a write-in campaign for LA Governor for my friend, a one issue candidate, a person focused on making sure that Spencer Pratt never runs for elected office in LA again: Spencer P. Isadouche (Comes from old French revolutionary stock!)
This is it, folks: come join the Megamanathon 2 steam at 12:00pm EDT _tomorrow_ to ridicule me for my shameful reliance on Item-2 to get past the blocks in Heat Man’s level, and to help support @translifeline.org.
Megamanathon 2
Fight, Mega Man! For everlasting peace!
wil.to
Pastor Voice: you know who else loved to deliver food to the masses?
Rusty Foster@rusty.todayintabs.com · 3mo agoDoordash? Some of y’all need to LORD dash. To Jesus.
This Saturday at 12:00pm Eastern, join the fight for everlasting peace. I’m playing through ONE-HIT KO Mega Man 2, and donating $10 to @translifeline.org for every time I get so much as grazed by a hitbox — going up $1 for every $100 you all donate (up to $20 per). tiltify.com/@wilto/megam...
Megamanathon 2
Fight, Mega Man! For everlasting peace!
wil.to
A key conceit here by the original author is that the believe their money is worth more than just the services they traded it for. They want double credit for spending their money like they’re operating a charity and not participating in a transaction for the value those workers provide.
Quinn Slobodian@quinnslobodian.com · 4mo ago3 actual quotes from this piece: “Can I afford the tax? Yes. Is it going to deter me? No. But I think it’s shameful. I provide a lot of money to people who are blue-collar workers who work for me, servers in restaurants." giftarticle.ft.com/giftarticle/...
new zealander everlee wihongi was due to meet with her lawyer yesterday. then ICE moved her to their most notorious tent facility in texas: 3000 people, highest death rate, most sexual assaults. and today, she disappeared off the system. please RT: www.webworm.co/everleehasdi...
Everlee Has Disappeared
Everlee Wihongi was transferred by ICE to the notorious "Camp East Montana" at Fort Bliss, Texas. Then she disappeared.
webworm.co
It was new bike day last week! After about 7 hours worth of ripping around the sandy, loose roads and trails of LA and SD I can say I’m quite happy with the build! (my only gripe is the 11th grade marketing homework level quality of the “exaero gr” branding on the fork, fix incoming 😆)
This strikes me as an extremely accurate assessment.
Brooke Harrington@ebharrington.bsky.social · 4mo agoPlenty of great male role models are available: Attenborough, Obama, Mamdani. But many men ignore them because what they actually want is unearned respect, unearned dominance. The "male role model crisis" is just like the "male loneliness crisis"--sympathetic-sounding terms for a tantrum.
Posting on behalf of Apart Research: Call for mentors: SPS Fellowship (June-Oct 2026). Already in: • Erik Meijer, Leibniz Labs (creator of LINQ + Rx) • me! Senior formal methods + AI safety researchers, apply by Tue May 5 AoE: linktr.ee/apartresearch
seems like we should rename ~~~VIBECODING~~~ to <<<SITFORWARDANDSPECIFYYOURRQUESTPRECISELYCODING>>> but it doesn’t have quite the same ring to 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!
Turns out this is BS. That’s what I get for visiting Twitter.
asker the gauche, glycojohn destroyer of carbs@johnbender.bsky.social · 5mo agoI do feel bad for this person but the apology to Claude has launched me directly into the sun. I can’t tell if they are repeating the same mistake by assigning too much agency to the LLM or if they are a genius for deflecting responsibility through said assignment of agency? 🫠🫠🫠
