Lathoa math app uses AI that makes deliberate errors for kids to find

·1 views

A developer has created a math learning app called Lathoa for children aged 10-14. In the app, an AI named Errol solves problems but intentionally includes a mistake for the user to identify. Each problem is rigorously checked by a secondary model and arithmetic verification before being shown to a user to ensure the errors are genuine. The developer notes a technical challenge in reliably forcing the AI to produce specific, incorrect steps. They are also seeking educator feedback on the pedagogical value of error detection versus solving problems directly.

Read the full story at Hacker News

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Rsync Hard Links Enable Efficient Backups, Saving Significant Disk Space

A developer demonstrates a method for efficient disk backups using rsync with the `--link-dest` flag. This technique uses hard links to avoid storing duplicate copies of unchanged files across multiple backup snapshots. In a test, three full-looking snapshots occupied only 1,380 KB of disk space, whereas three naive copies would have required 3,540 KB. The method creates independent, restorable snapshots while significantly reducing storage costs. The author notes the core command is freely available, though they also offer a packaged version for sale.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

AI developers choosing CLI over MCP for agents to reduce token costs

A developer team has removed nearly half of their MCP servers for AI agents after months of use. They found Model Context Protocol adds unnecessary layers of process, schema, and authentication maintenance. Modern AI models like Claude and Gemini already excel at using CLI tools through --help commands. The team now defaults to CLI tools with JSON output and clear error codes, reserving MCP for specific exceptions.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Developer builds daily snapshot system for 211,000 Korean companies due to missing API history

A developer created a system that records daily status snapshots of 211,243 Korean companies through the National Tax Service's public API. This initiative addresses the API's limitation of providing only current business registration status without historical data. The automated job runs daily, stores current statuses, and generates change files highlighting companies that became active, suspended, or closed. The developer emphasizes this data cannot be purchased elsewhere and provides valuable insights about business continuity and risk assessment.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

MyZubster Launches Contributor Passport To Verify Knowledge Creation

MyZubster has released a new Contributor Passport system. This feature aims to create a structured identity layer for users that connects their rewards, transaction history, and contributions. The development was shaped by community feedback, leading to a new attestation model that documents how and when a contribution was verified. The system is designed to transform contributions into a permanent, verifiable part of a knowledge infrastructure, rather than just payment records. The team thanked contributors for their role in reviewing and improving the platform's architecture.

0 comments Read more at DEV Community