@kitbasedev · X

We just launched, check us out at

@syprayt · X

We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

@fujidevv02 · X

the world's first context-aware, local AI browser pet companion!

u/ICARUS_2X · Reddit

Spent 7 months building a FOSS platform for natural-language chess analytics (No LLM) Hey guys, I've released CHONSE2, an open-source game review platform that offers unlimited analysis and move explanations without using hallucination-prone LLMs, running entirely in your browser. chonse2.com But Lichess is free, so why use this? Some have asked. It expands on Lichess's feature set a few different ways: Full analysis (accuracy/elo estimations/eval graphs, etc) requir

@amir_mehrabi_ · X

: Personal Intelligence

@dt_sqr · X

jayaprabhakar · HN

I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...