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 :)
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.
Thanks for sharing Christine! Love to see our little community sprouting. 🌱
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!!!!
Once you learn to convert fear to fuel, courage becomes your most unstoppable asset.
"Courage is statistical" 👏 Wish more people understood this. Once you learn to convert fear to fuel, courage becomes your most unstoppable asset.
Hey this post kinda counts as both!
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!)
A giant brain at the center of a futuristic city, radiating a complex network of roads (a metaphor for the peripheral nervous system)
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
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_...
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 😉
This is a very good point!
Yes! I noticed that right away. Such a handsome gentleman.
Viggo!!!
Making JD Vance more evil than Putin is savage (though not entirely inaccurate)
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 ❤️
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.
Not my term but it does perfectly encapsulate the experience of building with 3.7 + Agent + Yolo Mode. Totally bananas.
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 😆
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...
Stand Up for Science Halifax Mall Raleigh NC March 7 Speakers start at 12:20
NEXT FRIDAY March 7! Raleigh NC. I'll be there. Join me! 🧪 RT
@standupforscience.bsky.social
#StandUpforScience #SciComm #Science
👀 I'm rooting for you!
Thanks, Val! Excited for this.
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.
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.
Wow. That's not only impressive, it's quite inspiring.
