901–910 of 1001 posts
I am working on a cyberpunk multiplayer, shared, persistent world which runs completely in a terminal, and you can access just by typing "vibeworld" in the terminal( https://github.com/SorBalda/vibeworld ). The idea is that developers and scientists can meet each other in the terminal in a funny way at 3 am while working. There is a place in the moon where you can "scream" against your last LLM session and everybody…
I now have a good idea of how features like chat roasters, read receipts, audio/video calls, voice messages, etc. work in WhatsApp and similar applications. The implementation might differ from one application to another, but the core fundamentals remain largely the same.
https://shopspec.io/ ShopSpec is a deterministic parametric furniture generator (bookshelves, cabinets, shop carts, leg-and-rail frames, multi-carcass composites) that encodes real woodworking intelligence and outputs shop-ready artifacts. Most recently, introduced the concept of value engineering by sweeping across dimensions to batch evaluate candidates that ranks based on sheet purchases. Also have in beta an MCP…
I could tell from the layout screenshots, but one thing to make sure is that you are accounting for the size of the kerf. Being able to set a different kerf size for different cuts would be ideal as your rip vs crosscut are often different blades.
Also, one of the more daunting parts of casework for me is sorting out exactly how undermount slides go. I would highlight any help your tool does with raising confidence in getting those installed. Even having an undermount installation tool separate from the spec work I think could be useful.
https://opaque.info - a security product for creating gated policy control and auditing of LLMs
https://curbwise.org - a community crowdsourcing product geared at improving your community
https://ukodus.now - a sudoku engine (tui, wasm, ios)
https://adanima.ai - autonomous marking product
I'm working on a programming language for agents to write and humans to read. Think Lean4 but built for software engineering. It's dependently typed based on Observational Type Theory. A few key differences from Lean4: 1. Constructivist rather than propositional logic, so propositions can be true or false or unknown. 2. Compiler which targets the Linux ABI (in progress). An interpreter exists and acts as an oracle fo…
We're working on an apartment hunting agent called Fless ( https://fless.io ). Tell us what apartment you want. We filter, sort and reach out to confirm apartments actually have a unit that meets your criteria by the move-in date you're looking for. If they do, we schedule a tour for you and manage your calendar to ensure all the tours you book are nicely coordinated (with Uber rides scheduled if you need!). No more…
I'd pay for this and I'd recommend some kind of freemium approach. Interestingly I'd also like this for purchasing second hand stuff. I recently bought a TIG welder second hand. I had Claude compare various listings over the weeks to help judge price-quality. Would have been great to start a job and come back two weeks later with a top 3.
The problem is APIs and integrations.
I’m using my company’s long‑term org chart and culture to shape the Grokbot team, and building mcp (like MIS/mail/kanban/ERP) for them, so that AI employees can work fully autonomously and operate independently. I really enjoy this process and this team—it’s exactly what I’ve always envisioned. Once things run smoothly, I’d like to open source them.
Right now, ffl serves as the data plane, while https://www.mailtrigger.net/doc/ works as the control plane, and the system is running very well. I hope my company can successfully transform.
“Math Can Be A Hobby”, lecture series based on Serge Lang’s Basic Mathematics. Unexpected breakout success, 350k+ views on 1st video and rising. https://youtube.com/@MathCanBeAHobby
“jcpractices math”, a livestream where I share my daily-ish study sessions, thinking out loud with iPad on screen. Emphasis on algebra and number theory. https://youtube.com/@jcpracticesmath