should i reply to every post about AI-generated code introducing bugs with "have you heard the good news?"

the formal verification purists think we’re full of shit and the SWEs have no idea what we’re on about… it’s a tough crowd.

not too many things in life top the feeling of others finding value in what you pour your energy into. an early user told me today: "We ship tons of code in [company], and have lemmaScript make us feel comfortable with doing so. I can't ship code without lemmaScript from now on." 🤌 😭

"the devil is in the details" is gospel in the age of ai

im an advocate for hiding the formal bits inside an engine and working only at a higher level (spec or even English). but for the formally curious, this is cool: lean-lemma.replit.app

One of the first engs to seriously use LemmaScript in their company’s codebase is collabing with us to co-create LemmaSwift. After getting the hang of LemmaScript, he asked if we had plans for Swift. Now he and Nada have the foundations for what will soon be the first version of LemmaSwift.

if anyone is looking for a distraction... you could formalize your typescript.

Steve Goguen@sgoguen.bsky.social · last mo.

I understand you’re likely not trying to literally formalize React itself, but to distill and prove the essential qualities in Lean. However, can I suggest an interesting distraction by suggesting you look at LemmaScript? lemmascript.org

Hi bsky! We build tools that prove your AI code is correct. We use formal verification and publish open source tools. Our first tool is lemmafit. An npm package you can use with Claude Code to run proofs on logic. You don't have to know formal verification at all.

Super cool new resource to find science communicators to work with!! Check it out if you’re a science communicator or if you’re looking for one!!!!

AmpSci@ampsci.org · last yr.

We've launched the initial version of AmpSci! We're looking for scicommers and people in need of #scicomm services to list their offerings or requests on our Collab Board. ampsci.org/collab Please share with anyone you think might be interested!

Once you learn to convert fear to fuel, courage becomes your most unstoppable asset.

JA Westenberg@joanwestenberg.com · last yr.

Courage isn’t acting without fear. It’s acting with fear, under brutal uncertainty, and refusing to flinch.

Since it's #brainawareness week, I want to take a break from the ongoing dystopia to celebrate my favorite organ and repost some of my favorite #neuroscience #sciart! Let's start with this #scifi brain city I just made for an upcoming Italian graphic novel 🧠 🏙 #cervello #comics #graphicmedicine

"Practice kindness all day to everybody and you will realize you're already in heaven now." On Jack Kerouac's birthday, his beautiful letter to his first wife turned lifelong friend about kindness and the illusion of the self

Jack Kerouac on Kindness, the Self Illusion, and the “Golden Eternity”

“Practice kindness all day to everybody and you will realize you’re already in heaven now.”

themarginalian.org

Did you know that in the late '70s, >50% of the NIMH budget supported community mental health centers? That rapidly changed in the '80s w/ Regan (with unfortnate consequences). It's not directly analogous to now, but the parallels are worth knowing. en.wikipedia.org/wiki/Mental_...

Mental Health Systems Act of 1980 - Wikipedia

en.wikipedia.org

When Amazon launched in 1995, there were 5,500 indie bookshops in the U.S., with 7,000 locations. By May of 2023, that number had decreased to 2,185 indies & 2,599 locations. When you purchase audiobooks via Libro.fm vs. Audible, you directly support indie bookshops. Let's make that number grow ❤️

Now seems like an opportune time to share that this perspective on the importance of multilingual science communication became my most widely cited paper in late 2023. #SciComm #SeHablaEspañol Current mood: ningún afternoon, ni ningún hello... IYKYK www.frontiersin.org/journals/com...

Frontiers | Science Communication in Multiple Languages Is Critical to Its Effectiveness

Public understanding of science is a luxury. Research has shown that democratic societies that are scientifically literate make equitable choices in regards ...

frontiersin.org

NEXT FRIDAY March 7! Raleigh NC. I'll be there. Join me! 🧪 RT @standupforscience.bsky.social #StandUpforScience #SciComm #Science

For the past few months I've dabbled in a lot of things. I've shipped small apps, made great connections & learned a ton about life and tech. Now I'm going all in on one project: @ampsci.org #scicomm is an area I'm intimately familiar with, deeply believe in, and is now sorely needed. Join me.

AmpSci@ampsci.org · 2y ago

AmpSci connects science communicators with opportunities, resources, and direct support. Our ecosystem helps scicommers showcase work, find projects, collab, and receive sponsorship. We want to empower those making complex science accessible, ensuring vital knowledge reaches the public. #scicomm

Handlebars by Flobots just came on my playlist and oh my... now is the time to listen to this song.

Using @supabase.com for the first time for a new project. Any tips? Warnings? #buildinpublic #webdev

If you were waiting to launch, now is the time!

Thomas Sanlis@tsanlis.bsky.social · 2y ago

✨ I'm running a special promo on Uneed, for Bluesky only, today only Launch or relaunch your product for $10 instead of $30 with the code BSKY1402 😊 Enjoy, and long live Bluesky 🙌🏻

I recently made a portfolio. Got the idea to create a tool that takes a Github handle as input and outputs a good-looking, read-to-publish portfolio for github projects/repos/contributions. Working on it now. My goal is to push something by tonight. Wdyt? #buildinpublic #webdev #indiemaker

no no we don't say "empty carbs" anymore. the preferred term is "emotional support carbs"

LOL the DOGE website data being presented as some sort of heroic level of transparency is just a bunch of fancy graphs based on publicly available OPM data from March 2024. And a page full of "trust me bro" tweets. Really curious to see what the "receipts" will look like.

Tech you can use: - Duck Duck Go (browser) - Proton Mail (email) - Proton Drive (documents) - Signal (messenger) Consider donating/subscribing when relevant.

I immediately had the urge to try to replicate this in css.

Chevy Ray@chevyray.dev · 2y ago

nice gradient tonight

If you aren't already boycotting Shopify, you should consider it!

Paris Marx@parismarx.com · 2y ago

It turns out Shopify didn’t object to Kanye West selling a swastika t-shirt, they were just concerned it was a stunt and not an actual commercial sale, so he might not actually ship the shirt to customers.

Just published: Beyond DEI Statements: How to Actually Evaluate Company Culture At @diversifytech.com, we don't want to send candidates to discriminatory companies. Here's how we vet them (and how you can too)!

Beyond DEI Statements: How to Actually Evaluate Company Culture - Diversify Tech

Learn how to evaluate company culture beyond DEI statements. Practical tips to research how companies really treat employees, handle pay, and promote diversity in tech workplaces.

buff.ly