Skip to main content

Show HN: Grokkoli – an individualized/adaptive math-tutoring web app https://ift.tt/3ztH8is

Show HN: Grokkoli – an individualized/adaptive math-tutoring web app Hi All - I'm Eric, and I’ve been working on a math-tutoring application that continually adapts to a child’s learning needs as they answer questions: www.grokkoli.com/beta (introduces new concepts in granular steps, figures out where/how learners might be confused & attempts to resolve it, speeds kids past the stuff they understand clearly, tracks their recall, answer-speed, and more). Currently in beta, looking for families with kids in grades 1-6 to beta-test. Especially interested in taking on families that are finding math to be a challenge. Happy to share more details if needed (still assessing the level of detail most considerate/appropriate on HN). All feedback is welcome. August 28, 2021 at 12:35AM

Comments

Popular posts from this blog

Show HN: TypeScript query builder with full type inference https://ift.tt/xZp9HOm

Show HN: TypeScript query builder with full type inference Hey HN! Colin here - a TypeScripter, open sourcer, and engineer at EdgeDB. As the creator of Zod and tRPC, I'm interested in designing tools/APIs that use type inference and generics to make life easier for devs. This query builder represents another step in that direction. We set out to build an EdgeQL query builder that can express queries of arbitrary complexity (EdgeQL has feature parity with SQL, roughly) and infer the static type of the query result. We introspect the database and generate a schema-aware client that represent any query, including ones that use built-in functions, operators, string/array/tuple indexing, aggregations, conditionals, type casting, subqueries, computed properties, etc—things most ORMs can’t represent. This post mostly discusses the API design, which I think will be interesting regardless of familiarity with EdgeQL. I’d love to see some of these ideas bleed into future generations of TypeSc...