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

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

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

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

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.

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!

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.

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

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

Working on my portfolio (almost done!) and decided to give people a choice in how they experience it. #buildinpublic #UI #indiemaker

I have 4 credits left on Audible, so before canceling (bc screw Amazon), I picked up the first 4 books in the Expanse Series. Excited for the very long journey of galactic nerding out ahead.

I can build and launch all day and I can post to social media. But should I be doing more for SEO? I see a lot of posts about how people are getting great results with SEO and it sounds compelling, but it's not my expertise. Any tips? #seo #buildinpublic

Got a feature request from a friend who usually uses Things and wants to import her Things list into Product Sketch so she can use the matrix view. Implemented it in a few minutes using Cursor -- it was a fun, easy win for a snowy Sunday morning. ❄️ #buildinpublic #indiemaker

I never understood the musicians playing music while the Titanic sank. Now I do.

One thing I like about bluesky compared to *the other place* is that I don't have to diligently check every profile I'm not familiar with for problematic takes before reposting or liking.

ME: did you save it? ONEDRIVE: hypothetically, yes

"Perhaps the greatest of these sins is convincing ourselves that posting is a form of political activism, when it is at best a coping mechanism—an individualist solution to problems that can only be solved by collective action." From @404media.co: www.404media.co/you-cant-pos...

Did a Show HN today for @productsketch.bsky.social. Wish me fortitude -- hackers news can be brutal.

My favorite marketing podcast is “SaaS Marketing Weekly”. Ryan, the host, packs in the more value in one short podcast then most other marketing podcasts due in weeks of episodes. Plus he also talks a lot about what to do with no or low budgets. Which a lot of the #buildinpublic audience has. 💻🌱

The launch email for PostCapture is scheduled! 🥳 Offering a 50% lifetime discount to waitlist users. There's still time to join and grab the discount code tomorrow when I launch! Happy screenshotting 📸 #buildinpublic #indiemaker #bluesky #tools

HTML, CSS, JS & A11y course stack: - HTML For People by @blakewatson.com: htmlforpeople.com - Complete CSS by @piccalil.li: complete-css.com - Joy For JavaScript Developers by @joshwcomeau.com: www.joyforjs.com - Practical Accessibility by @sarasoueidan.com: practical-accessibility.today

Well... so far it's a very underwhelming launch. Then again, I wasn't expecting a huge splash for a simple task management tool. Still getting a bit of traffic which is what matters! If you have a moment, checkout @productsketch.bsky.social on Product Hunt today. :) #buildinpublic

Decided to go for it and post on Product Hunt. Would appreciate an upvote, but mostly looking for feedback at this point if you have a moment to check out Product Sketch.

We'll be launching on Product Hunt tomorrow (Tuesday, 02/04)! Would appreciate some love. #buildinpublic

"The YC graveyard" – every YC-backed startup that didn't make it. ycgraveyard.iamwillwang.com

I used DaisyUI for my previous project but wondered which library to use for my next #indiemaker projects. Two discoveries: 1. There isn't a single website gathering them all... 2. The perfect .com domain was available 🥹 That's how componentlibraries.com was born! 💅🎨 Go #buildinpublic with it!

Soft launched @productsketch.bsky.social today! After many years away from indie hacking, this is my first (of many to come) fully-functional product. It's a bloat-free, collaborative task management tool. Check it out and submit some feature requests so I can expand it! #buildinpublic

I don't need AI to *create* anything for me. I know how to write and speak and create well. I don't want the statistical avg. of the internet to become my content. That's what genAI creates. Mediocrity at scale. BUT, I do need to...

I propose we replace semantic versioning with pride versioning

UI design is basically the practice of putting buttons in corners until you run out of corners, then inventing new corners in which to contain more buttons

I couldn't pass this one up. But... what do I do with it?

Highly relatable post.

CSS sure is beautiful. www.tyleo.com/html-glass.h...

This is the approach we're taking with MagicPress.io (WIP). You can create a page before ever entering an email. Then if you want to save or publish, that's when the login flow begins. We're assuming a low number of abuse cases. But will have to evaluate closely since it's AI-based.

I'm diving head-first into consulting. I know I have to rebuild my credibility and strengthen my network. Having had a full-time job for the past ~4 years, I let this fall off my radar. Some ways I'm thinking of getting started...

Do you teach neuroscience? Here’s a list I’ve compiled of mostly free online neuroscience textbooks, simulations and datasets you can use for your course! If I’m missing something, let me know so I can add it! docs.google.com/document/d/1...