371–380 of 1001 posts
Currently optimized for restaurant menus but maybe we should expand to other type of long-form materials like brochures and infographics.
I have worked with data for a while. I feel like our tools could be much better when it comes to "flow". I want an experience where you don't need to alt+tab to slack/images/another query. What if we put it all on a canvas? That's what Kavla is all about!
Since last month I've done a lot of improvements to the editor to make the "flow" better.
I've also read up on HMAC, Nonces and fun encryption stuff to create read only boards.
Here's one where I look at stack overflow survey for databases: https://app.kavla.dev/v/mqhg54o319doya4.67dbfee1ccd6caf638d3...
Snowflake users apparently make the most money!
A 16×16 multiplication table that encodes quoting, evaluation, branching, recursion, an 8-state counter, and IO — all as lookups in the same table. 83 Lean theorems, zero sorry. The project asks: can a finite algebra with a single binary operation be forced by axioms to contain its own representation layer? The answer is yes. Axiom-driven SAT search finds the constraints, Lean verifies the witness. I should be upfron…
https://talimio.com/ Generate fully personalized courses from a prompt. Fully interactive. New features shipped last month: - Adaptive practice: LLM generates and grades questions in real-time, then uses Item Response Theory (IRT) to estimate your ability and schedule the optimal next question. Replaces flashcards; especially for math and topics where each question needs to be fresh even when covering the same concep…
Over the past weeks, we consistently get 5-6 submissions per week. The newsletter and number of visitors are growing.
I’ve come to treat this as a pet project but realized that for indie devs who get very little marketing attention, being featured in the newsletter, top of the daily list, etc. can be another burst of users.
A few years ago it started as colorguesser.com - which is not much maintained, but since there are many new users enjoying this small game, I decide to invest more time and add more feature.
It's mainly for censorship evasion (should be much harder to block than the regular centralized VPNs), but also for expats to access geo-blocked domestic services.
It's at the MVP stage and honestly it evoked much less interest in people than I hoped it would, but I'm still going on despite my better judgement.
I'm enjoying building solitaire and puzzle games.
My goal is to make this project the largest online collection of free modern solitaire games available for all kinds of devices.