frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Socratix – an AI tutor for proving mastery, not memorizing

https://socratix-nine.vercel.app
1•Aditya_0315•46m ago
The idea for Socratix was formed from constant "completion" of online courses and videos without the ability to actually use the material. How it works: give it a learning objective, and it creates an personalized curriculum in the form of a DAG of prerequisite concepts rather than a list of videos. Each concept comes with theory and interactive practice (with actual code running in browser for technical subjects), and instead of a pass/fail metric, it analyzes mistakes you make in order to diagnose conceptual problems, not simple errors. A concept opens the next one only when it is demonstrated that you know it well enough (practice + diagnostics). Additionally, I'm creating a live voice AI Viva (oral exam style test of knowledge where you will have to justify the answers) that is not live yet, but is coming. It covers various domains, not just programming (mathematics, economics, sciences, etc.) Will appreciate any feedback, especially on curriculum generation part and if the loop of practice/diagnostics feels different from regular quizzes.

Comments

Aditya_0315•40m ago
Just a few more things that didn't make it into the post:

Stack: Next.js frontend, hosted on Vercel. Course curriculum generation and diagnostics done via LLM calls - I'm not planning to open source the prompt/architecture right now, but happy to dive deeper on specific aspects if people are interested.

Why I built it: I realized that the real failure point for most forms of self-taught learning isn't lack of content - it's that consumption of the content feels like learning even when you're not retaining anything. You watched this lecture or this video? You got it. I wanted something that wasn't complete until you'd proven it.

Limitations of what I've built so far, just to be clear:

AI Viva (voice defense) isn't out yet - it's the next big feature I plan to work on The curriculum graph generator works well enough for structured domains (CS, math, econ), but isn't great for qualitative subjects yet No mobile app, only web version right now

Pricing: Free at the moment, no paid tier yet. No idea how I'm going to monetize it yet either.

Privacy and Security: Supabase with row level security such that users will only ever be able to access their data via the DB layer, and all access is via tRPC procedures (nothing client side), and there's rate limiting in place on the API as well. Once the voice version of Viva comes out, I'll write up details on how voice data is stored.

I would truly appreciate any and all criticism, particularly from anyone who has attempted something like this "prove it" system in the past (the Recurse center, viva based grading systems, etc.).

Who Owns California's Gold?

https://reason.com/2026/09/07/who-owns-californias-gold/
1•bookofjoe•1m ago•0 comments

A Severe Misalignment of AI in Mathematics - Terence Tao et al

https://mathandai.org/
1•meredydd•1m ago•0 comments

Room 641A

https://en.wikipedia.org/wiki/Room_641A
1•paimapi•1m ago•0 comments

The Rise of AI Slop Tools

https://twitter.com/julihespenheide/status/2098070502157791452
1•picdit•2m ago•0 comments

Show HN: Viaduct – Architecture change sets for AI coding agents

https://c4.quietgridlabs.com/
1•igrlgkv•3m ago•0 comments

Show HN: Make better humans and race them

https://race.darebuild.com/
1•jimhi•4m ago•0 comments

Agents on Rails: Best model solves 35% of feature benchmark runs

https://rubyonrails.org/2026/9/9/agents-on-rails-stage-2
2•chalmovsky•4m ago•1 comments

Shipping my story before the code

https://thinkingaloud.bearblog.dev/generallyavailableintelligence/
2•sanmathigb•4m ago•0 comments

CHERIoT provides strong and usable isolation without an MMU

https://queue.acm.org/doi/10.1145/3831361
2•fanf2•4m ago•0 comments

Show HN: MCP server manager: KyttoMCP – in beta

https://kytto.jakubhecht.sk/
2•JakubStudio•6m ago•0 comments

The Cretan Method

http://hintjens.com/blog:81
2•thunderbong•7m ago•0 comments

Rope, twine and thread: Invisible technologies of the Stone Age

https://knowablemagazine.org/content/article/society/2026/prehistory-lost-threads
2•knowablemag•8m ago•0 comments

What It Takes to Build Yocto Properly on Arch Linux

https://jetm.github.io/blog/posts/yocto-on-arch-glibc-ceiling/
3•amanciero•10m ago•0 comments

Λ Snap – An inviting programming language for kids and adults for CS study

https://snap.berkeley.edu/
4•dr_kiszonka•10m ago•0 comments

SwarmLLM – Every device brings a slice. Together they run the whole model

https://github.com/Nehanth/swarmllm
2•craneca0•10m ago•0 comments

Bill Ackman's journey into tennis left him stranded on one of its courts

https://www.nytimes.com/athletic/7580250/bill-ackman-tennis-finance-hall-fame/
2•mooreds•11m ago•0 comments

America can't grow its way out of its debt problem

https://www.cnn.com/2026/09/11/economy/debt-bonds-growth
2•mooreds•11m ago•0 comments

Show HN: SyntheticAIdata – synthetic data for CV, 100k free credits/month

https://app.syntheticaidata.com/
3•gvuksic•13m ago•1 comments

What use is certification? (2004)

https://www.mooreds.com/wordpress/archives/116
2•mooreds•14m ago•0 comments

Google Sans, Google/Android's branding font, officially open-sourced on GitHub

https://github.com/googlefonts/googlesans-flex
2•maxloh•14m ago•0 comments

Google should provide a technical postmortem of Gemini's 2024 outburst

https://www.paritybits.me/google-should-provide-a-technical-postmortem-of-geminis-2024-outburst/
2•NiloCK•14m ago•0 comments

Let AI Agents Rewrite a 92M-Message-a-Day Node Service to Go

https://www.checklyhq.com/blog/agentic-rewrite-nodejs-to-go/
2•tnolet•14m ago•0 comments

The Moon May Have Been Created in Just Five Hours

https://nautil.us/the-moon-may-have-been-created-in-just-five-hours-1284952
2•Brajeshwar•15m ago•0 comments

Cancer Capital: It sucks for founders, too

https://www.anildash.com/2026/09/09/cancer-capital-founders/
3•cptroot•15m ago•0 comments

A Misalignment of AI in Mathematics

https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/
2•Iuz•16m ago•0 comments

The big winners and losers in U.S. website traffic over the past year

https://searchengineland.com/winners-losers-us-website-traffic-past-year-486843
2•rdmuser•17m ago•0 comments

Who were the hijackers of 9/11? Here's what the 9/11 Commission Report said

https://www.wfaa.com/article/news/history/remembering-911/september-11-hijacker-names/507-1bdb673...
2•final_aeon•17m ago•0 comments

Panic builds over bankrupt Spirit's looming data sale to Google

https://arstechnica.com/tech-policy/2026/09/panic-builds-over-bankrupt-spirits-looming-data-sale-...
4•rbanffy•18m ago•0 comments

Hands Off: The Roland D-Beam's Lasting Musical Legacy (2023)

https://www.perfectcircuit.com/signal/roland-d-beam-history
2•brudgers•20m ago•0 comments

Have We Destroyed Childhood?

https://www.newyorker.com/culture/open-questions/have-we-destroyed-childhood
3•paulpauper•21m ago•0 comments