231–240 of 1001 posts
Yesterday I proved the infinitude of primes, which I was pretty happy with. https://www.philipzucker.com/knuckle_primes/ A trivial theorem in the scheme of things, but one for which z3 certainly can't do it on it's own.
As it is fashionable these days, it can create checklists with AI ("Fun things to do in Pittsburg"), you can create checklists from templates (some stuff you do every day), etc.
I also have an MCP server that allows you to plug it into your favorite LLM.
I've used Monica HQ to keep track of this but thought I could tackle differently using AI. With AI you could ask questions like "who's everybody on my aunt's side? Like cousins and their family" and get a good answer.
Afaik other "relationship managers" out there are professionally oriented, for sales people. A lot of them talk about LinkedIn integration, for example.
Take a look at http://emilia-workers-website.inerte.workers.dev/ and if you're interested in Alpha testing, send me an email at inerte@gmail.com - I setup a Discord last week so early adopters can chat with me about.
It looks inside each file to see what it’s about, then moves it to the right folder for you.
Everything happens on your Mac, so nothing leaves your computer. No clouds, no servers.
It already works with PDFs, text, Markdown, and many other file types. Next I’m adding ePub, and later Microsoft Office and iWork support.
If you have messy folders anywhere on your Mac, Fallinorg can help.
We took a great amount of learning from tools like Cline, Roo.. After spending some time on their tech as active users/devs, we decided to build multi from scratch with drastically different take on core features, tech stack, ux/devex..
If you are an active user of similar tools, and/or want to try multi.. We want to hear from you.
-- edit: I am one of the core contributors to multi. And we are in the process of open sourcing it.
Very early into this - would love feedback!
It's largely based on platform-izing the extremely popular Timeleft app that simply matches 6 random people for dinner. With onthe.town, anyone can create a Timeleft-like app around any concept they're interested in. Some clubs people have created include a golf club (get matched with 3 other people to play golf with), a vinyl record sharing club, a lunch club for biotech networking, and a club to meet other parents for dinner.
IME it results in much less context clutter from your test output.
Launched on Reddit last week: https://www.reddit.com/r/Optionswheel/comments/1nlelbp/comme...
If you guys trade options (selling CSP and CC), I would love to hear your feedback.
Currently bootstrapping a SaaS side project: https://diplomium.com Diplomium helps educators and event organizers create and deliver authenticated certificates at scale. Instead of manually designing and emailing PDFs, you upload a simple Excel, pick a template, and the system generates + sends personalized certificates automatically—each with a unique QR code for instant validation. The bigger picture: Certificates…