frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Sanctum – An LLM-Guided Learning App

1•JTan2231•1y ago
https://apps.apple.com/us/app/athenaeum-sanctum/id6744429496

It's in an infant stage as I figure out exactly how I want this.

In a more marketing speech style,

---

I love learning things and soaking in information, but I constantly run into 3 ergonomic problems with doing so:

- Quality study materials are often so dense as to require an extended session of focus

- Ergonomic study materials require too much work to find + aren't always flexible to what I want to learn/study

- Social media feeds have rotted my UI tastes to prefer short-form, transient interfaces that build familiarity with repeated, intermittent exposure

So, I'm making a flashcard app to address these points. In short,

- Reference-based deck generation

  - LLMs are great, but human sources are always best.

  - Give it a PDF or web page, and it'll reference that resource in creating your deck

 - AI-powered grading

  - The vector math powering LLMs allows for much more loosely structured answer grading than just naive keyword matching.

  - Know the concept, but can't phrase it in the colloquial terms? Don't worry, phrase it as best you can and it can tell how well you get the idea.

 - Natural deck progression

  - If you've been performing well enough on a deck, take a quiz to see if you're ready to expand the flashcards in your study.
---

There are a few things I still am looking to iron out:

- I don't think flashcards are the optimal UI for learning

  - They're great for memorizing + I do think improving pattern-matching is essentially learning is, but I don't think flashcards are the most optimal vehicle for meaningful learning

  - i.e., Life is more than just trivia
- Personalization

  - Right now, you take a quiz to expand the deck along the same lines as the existing subject matter. I think this is okay at best and could very much be improved.

  - One of the ideas I had initially around this is that LLMs can be used to traverse the embedding space of accumulated knowledge in a way that subverts/transcends the traditional academic taxonomization of studies. 

  - i.e., I think UI is the bottleneck in soaking in more information/ideas. I think LLMs do well enough in pattern-matching requests to information that they could act as librarians for the internet--then, it's just a matter of scrunching down the information into more convenient interfaces (e.g., mobile).
- Sourcing, references, etc.--I prefer something human-made at the other end of the tunnel, but I'm not sure how long that will last.

- The name--far too esoteric

This is an active WIP--would love to hear what you all think.

Show HN: SeharaCloud – Self-Hosted Multimedia System

https://github.com/SamerKolasevic29/SeharaCloud
1•znj29•32s ago•0 comments

Ex-OpenAI researcher finds Blackwell signatures in open-weight models

https://twitter.com/willdepue/status/2120992457630326841
1•fbrusch•3m ago•0 comments

Show HN: Free Dictionary API – Wiktionary data, no API key required

https://api.suvankar.cc/docs/dictionary
1•suvankar_m•22m ago•0 comments

Twelve Principles of Documentation

https://vurt.org/articles/principles-documentation/
1•ankitg12•23m ago•0 comments

Illiac IV

https://en.wikipedia.org/wiki/ILLIAC_IV
1•num42•23m ago•0 comments

Not Everything Needs an LLM

https://posthog.com/newsletter/decision-models
2•eigenBasis•28m ago•1 comments

The social fallout of working alongside an office workaholic

https://www.psypost.org/the-social-fallout-of-working-alongside-an-office-workaholic/
1•rohanm93•30m ago•0 comments

The Global Interface of Connectivity: How Connection Became an Interface

https://medium.com/@smoking2man/the-global-interface-of-connectivity-how-connection-became-an-int...
1•Aldus551•30m ago•0 comments

A 27-byte telemetry response nobody reads freezes Claude Desktop every two days

https://blog.dfb.sh/blog/claude-desktop-freeze/
1•brandon_bot•32m ago•0 comments

AI Productivity Gains Mainly Benefit People at the Top

https://nelson.cloud/ai-productivity-gains-mainly-benefit-people-at-the-top/
1•nelsonfigueroa•33m ago•0 comments

Every Flight Is Grounded on Day Trump Admin Installed AI Controls

https://www.thedailybeast.com/faa-abruptly-grounds-all-flights-for-first-time-since-911
2•madihaa•34m ago•1 comments

After 26 years, the US has lost its measles elimination status

https://www.cnn.com/2026/11/13/health/us-measles-elimination-status
2•madihaa•35m ago•0 comments

Why C# over C for Systems Programming

https://github.com/OnurGumus/bflat_test
1•reverseblade2•37m ago•0 comments

Windows 11's modern Run box arrives in December. Nobody clicked Browse button

https://www.windowslatest.com/2026/11/14/windows-11s-modern-run-box-arrives-for-everyone-in-decem...
1•thunderbong•42m ago•0 comments

Borland C++ 2.0 Compiler Source Reconstructed

https://hackaday.com/2026/11/13/borland-c-2-0-compiler-source-reconstructed/
1•fork-bomber•43m ago•0 comments

Show HN: VPN Manager

https://github.com/DennySORA/vpn-manager
1•dennysora-main•45m ago•0 comments

Anatomy of a Git pre-commit Hook

https://georgestocker.com/2019/10/31/anatomy-of-a-git-pre-commit-hook/
1•ankitg12•47m ago•0 comments

Firefox Focus

https://www.firefox.com/en-US/mobile/focus/
1•appwiz•58m ago•0 comments

Ode for Trump

https://salmagundi.skidmore.edu/articles/2034-ode-for-trump
2•classified•1h ago•0 comments

FAA TDM-to-IP Migration (2015) [pdf]

https://www.faa.gov/sites/faa.gov/files/air_traffic/technology/cinp/fens/tdm-to-ip_migration_2015...
1•gr33nq•1h ago•0 comments

Old tech blamed for the ground stop that caused flight chaos: It got overloaded

https://www.npr.org/2026/11/13/nx-s1-6040403/faa-nationwide-groundstop-airports
3•geox•1h ago•0 comments

ShieldFont – Protect human muffins by poisoning unauthorized AI starfish

https://shieldfont.org/
2•negura•1h ago•0 comments

Will Anthropic Grow into Its Compute Bill?

https://twitter.com/OrnnExchange/status/2119839768355778637
1•gmays•1h ago•0 comments

Businesses suffering a loss from Microsoft outage could make insurance claim

https://www.rnz.co.nz/news/business/2593252/businesses-suffering-a-loss-from-microsoft-outage-cou...
3•billybuckwheat•1h ago•0 comments

Formal Verification Is Not Verifiable: Bouba and Kiki Software

https://alperenkeles.com/posts/formal-verification-is-not-verifiable/
1•matt_d•1h ago•1 comments

Kim, Claude and Yaht-C

https://www.engineersneedart.com/blog/yahtc/yahtc.html
1•chmaynard•1h ago•0 comments

Israeli airstrike on Nasser hospital in Gaza killed surgeon and others

https://www.theguardian.com/world/2026/nov/12/israeli-airstrike-nasser-hospital-gaza-kills-surgeon
13•0x54MUR41•1h ago•4 comments

Need a guy to make short form videos

https://www.facebook.com/p/Alina-James-61593204405007/
1•yoursocialguyra•1h ago•0 comments

Air traffic control modernization effort needs (Sep 14, 2026)

https://files.gao.gov/reports/GAO-26-107992/index.html?pubDate=20260922&utm_source=chatgpt.com
2•giuliomagnifico•1h ago•0 comments

Workday Down for thousands of Companies

https://www.sfchronicle.com/tech/article/workday-outage-employees-accounts-22529939.php
5•Madmallard•1h ago•1 comments