Mike Samuel 🟣
Mike Samuel 🟣
@mvsamuel.bsky.social
Programming languages person focused on software systems problems. Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail. Pro-trans-rights is pro-family.
916 followers947 following2.8K posts
Martin Odersky's recent talk includes "tracked capabilities" which seems a mix of object capabilities and effect tracking. Effects here might provide good guidance to doc writers and code reviewers. Around 19:30 at www.youtube.com/watch?v=jlJy...
Mike Samuel 🟣 reposted
I gave a talk at EMF titled "Men in Tech #YesAllMen", in which I told my experience of being a woman in tech. I was afraid to publish it in case it affected my current or future employment. With all the current news I would like to add my 2¢. So here is the recording: youtu.be/WXL6K1lhvt0?...
Also, if you structure your HTML generation as a renderer over the JSON, then hashing your JSON gives you a good key for cache-control headers, and you have a great basis for an almost-static-site-generator approach to server design. Everything you need for it to work well with a CDN in front of it.
Dr. Hasan seems lovely, but the problem in Gaza is not that Israelis and Palestinians learn to hate one another. Even if it were, surveillance tech isn't helpful. The problem is the war crimes: Israel dropping bombs on civilians. Future thought crimes oughtn't distract us from ongoing war crimes.
A U.S. charity in Gaza is worried that teachers at its schools might stray from a curriculum it says promotes peace and tolerance, so it plans to record classroom conversations and use artificial intelligence to flag speech deemed “hateful” or “inciting.”
Mike Samuel 🟣 reposted
I am very pleased to share the program for LIVE'26: liveprog.org We have seven exciting presentations as well as a featured keynote by Brian Hempel! LIVE this year will take place remotely, so come join us over video-chat next Saturday (Oct 17) :)
Sad to see that a lot of the E language stuff has been internet memory holed. For my future self and anyone else it may concern, some of it's still available via github pages directly. erights.github.io/erights-org-...
Mike Samuel 🟣 reposted
This is a legit great talk: accessible, engaging, builds intuitions. Bryan doesn't phrase it this way, but I love his counter-arg to "AI can solve that": There's intrinsic complexity in engineering when solving one problem interferes with solving others; sometimes you have to get your hands dirty.
I am surely not alone in having family over the weekend hitting me up asking "should I be worried about extinction?" As a response, I have found that my anti-Doomer talk from @monktoberfest.com 2023 (three very long years ago!) remains current and accessible: www.youtube.com/watch?v=bQfJ...
Mike Samuel 🟣 reposted
Path planning algorithms are not a hot research topic, they said.
Coco seems to prefer ~random-ordered roboclots. "A sidewalk deployment error caused several Coco robots to reroute simultaneously as they were leaving their station at the start of their daily routes, resulting in a temporary cluster" Coco, per @abc7chicago.bsky.social OP: ig.beccarunschicago
@kotlinlang.org's DSLs are just unreasonably nice. I've been using one to build ASTs in a compiler. class TreeFarm uses class Planting to allow specifying AST nodes as block structures, and there's some automagic that propagates node position metadata from injected AST nodes to synthesized nodes.
Mike Samuel 🟣 reposted
Mike Samuel 🟣 reposted
Mike Samuel 🟣 reposted
Replying to @mekka.mekka-tech.com
Member of Parliament Glenda Jackson said this within 48 hrs after Margaret Thatcher died. Elizabeth Warren couldn't get away with this type of ether. For US people: Listen to the whole thing, including the attempted rebuttal afterwards, and what the Speaker of the House responded to him with.
Project 2025 is one more step in a RW project that's been baking since the Civil War, not a recent reaction to black people and women pushing for basic rights. There's no perfect time to push for needed change, nor an obligation to wait, and suggesting otherwise is coded language for "uppity."
Many people, subconsciously or just as often consciously, blame BLM for how we got here. They see the reaction that happened to the movement, as well as to MeToo, and blamed the people calling for justice over the white backlash that always follows those calls. This is a pattern in US history.
I'm a fan of Sam Seder and Emma Vigeland so I've been particularly disappointed with MR on Platner. They have bad judgements to answer for and "I too was lied to by a proven liar" doesn't cut it, but at least they've started on that in this video. www.youtube.com/watch?v=duEV...
Glad @bradlander.bsky.social is not soft pedaling.
This is an amazing open letter by Brad Lander. This puts him in the circle of my absolute favorite electeds. forward.com/opinion/8355...
The shielding weight / reliability tradeoffs have been known about for a long time. Here's a table detailing expected effects of radiation on processor's available at the time from a 1998 Robotics Institute thesis I was a research assistant for. publications.ri.cmu.edu/storage/publ...
Analysis of the physics and economics of datacenters in space spectrum.ieee.org/orbital-data...
As a mathematician, let me just say the term should be "Christian-Judeo." The part you're subtracting out goes *after* the minus sign. ---- (Both christianity and judaism are fine topics in comparative religion but neither should be elevated above other viewpoints in state-approved curricula.)
Rabbis and Jewish leaders criticized the biblical passages chosen by the State Board of Education as heavy on Christianity and dismissive of Judaism, reducing the term Judeo-Christian to “a fig leaf at inclusion.”
8 years is nothing. This was reported of software tools for hiring 38 years ago. pubmed.ncbi.nlm.nih.gov/3128356/
Hiring tools have progressed so much in 8 years. Mostly the cost though...
If you want to allow Wayback, their spider name is ia_archiver which you can use in robots.txt and page meta elements. Unscrupulous actors do spoof that, but they can already ignore a disallow * in robots.txt.
AI has started blocking the Wayback Machine from chronicling the web. Considering that nearly 40% of websites disappear after 10 years, this will enforce a giant loss in collective memory.
Cute. Not sure what to make of this. Mistral seems to think I do formal verification; important but not my lane. Deepseek seems to think I worked on V8, but I think all I contributed was answering Robert Griesemer's monotonically exasperated "do JS programmers actually do this?" questions.
I saw this site which measures if you are "in the weights" (via @shiplives.bsky.social). At first I thought it measured how much of your work was used to train something, but that's not the case. In this case, it's how much an AI "knows" about you. I scored very high intheweights.com