iiinova — where your digital self keeps evolving

Fernanda Graciolli @heyyfernanda.bsky.social · 06/09/2026

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

Fernanda Graciolli @heyyfernanda.bsky.social · 03/09/2026

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.

050

Fernanda Graciolli @heyyfernanda.bsky.social · 02/09/2026

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." 🤌 😭

010

Fernanda Graciolli @heyyfernanda.bsky.social · 30/08/2026

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

010

Fernanda Graciolli @heyyfernanda.bsky.social · 28/08/2026

Enjoyed following your thought process here. We explored some of this in our dafny-replay methodology. We came away with: it's possible, but pretty hard. I think the best of modular verification is yet to come.

110

Fernanda Graciolli @heyyfernanda.bsky.social · 27/08/2026

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

lean-lemma.replit.app

Lean Lemma

Lean Lemma — built on Replit. Update this description to reflect the app.

010

Fernanda Graciolli @heyyfernanda.bsky.social · 25/08/2026

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.

010

Fernanda Graciolli @heyyfernanda.bsky.social · 25/08/2026

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

141

Fernanda Graciolli @heyyfernanda.bsky.social · 09/03/2026

Karsten — your intuition is spot on! We just released a tool that formally verifies logic with Claude Code. It's streamlined verification for people who have never heard about formal verification. Open source. lemmafit. check it out, lmk what you think :)

010

Reposted by Fernanda Graciolli

midspiral.bsky.social @midspiral.bsky.social · 09/03/2026

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.

121

Fernanda Graciolli @heyyfernanda.bsky.social · 03/05/2025

Thanks for sharing Christine! Love to see our little community sprouting. 🌱

020

Reposted by Fernanda Graciolli

christine liu / two photon art @christineliu.art · 03/05/2025

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!!!!

186

Fernanda Graciolli @heyyfernanda.bsky.social · 28/04/2025

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

000

Fernanda Graciolli @heyyfernanda.bsky.social · 28/04/2025

"Courage is statistical" 👏 Wish more people understood this. Once you learn to convert fear to fuel, courage becomes your most unstoppable asset.

010

Fernanda Graciolli @heyyfernanda.bsky.social · 16/03/2025

Prefer the first one. I find it useful to quickly get a sneak peek into what the inside of the app looks and feels like before deciding if I want to look into it further. (Looking sleek btw!)

110

Reposted by Fernanda Graciolli

Matteo Farinella (he/him) @matteofarinella.bsky.social · 11/03/2025

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

A giant brain at the center of a futuristic city, radiating a complex network of roads (a metaphor for the peripheral nervous system)

39815

Reposted by Fernanda Graciolli

Maria Popova @mariapopova.bsky.social · 12/03/2025

"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

themarginalian.org

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.”

0488

Reposted by Fernanda Graciolli

Nicole Rust @nicolecrust.bsky.social · 12/03/2025

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_...

en.wikipedia.org

Mental Health Systems Act of 1980 - Wikipedia

45014

Fernanda Graciolli @heyyfernanda.bsky.social · 11/03/2025

Hi Amit! Congrats on the launch today - gave an upvote. I tried to DM you but can't. Take a look at your website on mobile 😉

110

Fernanda Graciolli @heyyfernanda.bsky.social · 09/03/2025

Yes! I noticed that right away. Such a handsome gentleman.

110

Fernanda Graciolli @heyyfernanda.bsky.social · 09/03/2025

Making JD Vance more evil than Putin is savage (though not entirely inaccurate)

010

Reposted by Fernanda Graciolli

Libro.fm @libro.fm · 07/03/2025

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 ❤️

231143724267

Fernanda Graciolli @heyyfernanda.bsky.social · 03/03/2025

You have to put a lot of guardrails around it via global prompting or else it goes wild. You ask it to change one thing in one file and it goes through your entire codebase "solving" every problem it finds. On the other hand, you can prompt it to build a full app end-to-end and it can do it.

000

Fernanda Graciolli @heyyfernanda.bsky.social · 03/03/2025

Not my term but it does perfectly encapsulate the experience of building with 3.7 + Agent + Yolo Mode. Totally bananas.

110

Fernanda Graciolli @heyyfernanda.bsky.social · 03/03/2025

I was chaos coding last night and 3.7 said something like "Ah you're right. I apologize for solving problems you didn't ask me to solve" I couldn't tell if it was being passive aggressive 😆

110

Reposted by Fernanda Graciolli

Ana Maria Porras, Ph.D. @anamaporras.bsky.social · 03/03/2025

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...

frontiersin.org

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 ...

032

Reposted by Fernanda Graciolli

Mark Peifer (He, him) @peiferlabunc.bsky.social · 27/02/2025

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

Stand Up for Science
Halifax Mall Raleigh NC March 7
Speakers start at 12:20

425794

Fernanda Graciolli @heyyfernanda.bsky.social · 25/02/2025

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.

130

Fernanda Graciolli @heyyfernanda.bsky.social · 25/02/2025

I'm so glad I found this post! I've been building something similar - @ampsci.org. There's so much to be done in this space. DMs open for collabs, ideas, feedback.

141

Fernanda Graciolli @heyyfernanda.bsky.social · 22/02/2025

Wow. That's not only impressive, it's quite inspiring.

000

Fernanda Graciolli @heyyfernanda.bsky.social · 21/02/2025

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

110

Fernanda Graciolli @heyyfernanda.bsky.social · 16/02/2025

When I first read this, I read it as a vaccine for the social platform X (as in Twitter). Like can I broadly vaccinate myself against Elon Musk's influence on the world?

000

Fernanda Graciolli @heyyfernanda.bsky.social · 15/02/2025

This is helpful to know since I will be needing a storage component. Thanks so much!

000

Fernanda Graciolli @heyyfernanda.bsky.social · 15/02/2025

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

230

Fernanda Graciolli @heyyfernanda.bsky.social · 14/02/2025

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

120

Fernanda Graciolli @heyyfernanda.bsky.social · 14/02/2025

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

010

Reposted by Fernanda Graciolli

Jerry Chen @jcsalterego.bsky.social · 13/02/2025

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

19010020928