frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Bloom's two sigma problem (2020)

https://nintil.com/bloom-sigma
8•Tomte•1y ago

Comments

trane_project•1y ago
> Nonetheless, Bloom was on to something: Tutoring and mastery learning do have a degree of experimental support, and fortunately it seems that carefully designed software systems can completely replace the instructional side of traditional teaching, achieving better results, on par with one to one tutoring. However, designing them is a hard endeavour, and there is a motivational component of teachers that may not be as easily replicable purely by software.

I've been working on an implementation of mastery learning and other related techniques called Trane (https://github.com/trane-project/trane/) for the past three years or so. Mastery learning is the main one, but it also integrates spaced repetition, interleaving, mixing difficulties, and reward propagation (doing well or bad in an exercise affects how related exercises are scheduled).

I think it works pretty well, but you need to pair it with proper pedagogy of the skill you want to learn and the proper curriculum. The latter is the hardest part, so it's being my main limitation. I've used some external resources to build courses, and they work well, but obviously it would work much better with a full curriculum built from the ground up.

Currently working on Pictures Are For Babies (https://picturesareforbabies.com/), which is meant to do just that for literacy. I am hoping to do a first release soon. As for the motivation angle, the solution in this particular instance is fairly simple. Use the software to enforce scheduling andpedagogy,y and a human tutor to provide emotional and social support. This division allows any literate person to become an effective tutor with a few hours of training.

I am hoping that the average student can complete the whole curriculum in five years. That would mean that (assuming they start at between 4 and 5 years old), the average student would have college-level reading and writing skills by the time they are nine or ten.

Most complete explanation so far is in the pedagogy page: https://picturesareforbabies.com/home/pedagogy/

Formally deriving programs from specifications (Bird-Meertens) using Lean 4

https://satnam6502.github.io/bird-meertens/
1•matt_d•1m ago•0 comments

"Rising cost of memory," Microsoft explains why Windows 11 will use less RAM

https://www.windowslatest.com/2026/10/04/rising-cost-of-memory-microsoft-explains-why-windows-11-...
2•TMWNN•3m ago•0 comments

The Output-Space Hypothesis:Enumerative Equivalence Checking for Tensor Programs

https://arxiv.org/abs/2609.19611
1•matt_d•4m ago•0 comments

Ask HN: Are there AI models for generating sounds based on a text and reference?

1•onemiketwelve•7m ago•0 comments

LLM SEO tools in 2026: what each one tracks

https://picked.so/blog/llm-seo-tools
1•shdalex•8m ago•0 comments

Schneider Electric to buy industrial software group PTC for $23.7B

https://www.ft.com/content/2084f349-0829-4130-a5e6-b98929a6e633
1•teleforce•16m ago•0 comments

You're Leaving Compute on the Table

https://nishantjosh.dev/blogs/youre-leaving-compute-on-the-table/
1•ibobev•16m ago•0 comments

Whistleblower who flagged Lutnick's links to Epstein dies

https://www.thebanker.com/content/02286d53-0338-42ef-996d-5f7712b9f133
7•gravisultra•22m ago•0 comments

Becoming a Photographer

https://stanko.io/becoming-a-photographer-tIKMwUVuHnHG
3•ibobev•25m ago•0 comments

Ephemeral Testing

https://lemire.me/blog/2026/10/05/ephemeral-testing/
2•ibobev•25m ago•0 comments

Mark

https://colossus.com/article/mark-zuckerberg-profile/
2•bkudria•26m ago•0 comments

Por qué uso (y recomiendo) dominios .xyz numéricos para self-hosting

https://inti-tidball.writeas.com/por-que-uso-y-recomiendo-dominios-xyz-numericos-para-self-hosting
2•intimaria•27m ago•0 comments

Real reporter behind The Social Reckoning on what Aaron Sorkin's film gets right

https://www.reuters.com/world/us/real-reporter-behind-the-social-reckoning-what-aaron-sorkins-fil...
2•skibz•27m ago•0 comments

Nova Sprint. Coordinate AI sprints across multiple models and harnesses

https://github.com/mas-bandwidth/nova-sprint
2•gafferongames•28m ago•1 comments

Worth Building

https://armstr.ng/writing/worth-building
13•colinarms•33m ago•0 comments

Example.com Just Launched the Biggest Redesign in Decades

https://www.debugbear.com/blog/example-dot-com-redesign-history
21•jgx0•37m ago•14 comments

Food Atlas: Connections behind the dishes we love

https://knowledgeartist.org/pages/food-atlas
4•laybak•40m ago•1 comments

Where's the Quality?

https://catskull.net/wheres-the-quality.html
3•catskull•40m ago•3 comments

Unix – The Hole Hawg

http://www.team.net/mjb/hawg.html
2•embedding-shape•42m ago•1 comments

Mr Robot fsociety pumpkin cutting template [pdf]

https://decider.com/wp-content/uploads/2015/10/print-fsociety.pdf
2•sans_souse•42m ago•0 comments

I'm building a personal AI computer startup in Mumbai

https://x.com/gfaang97609
2•testingsaket•45m ago•0 comments

ChatGPT is adding real cartoonists' signatures to fake New Yorker cartoons

https://www.niemanlab.org/2026/10/chatgpt-is-adding-real-cartoonists-signatures-to-fake-new-yorke...
7•rdmuser•45m ago•0 comments

Show HN: A lightweight mapping editor for improving MTB trails on OpenStreetMap

https://traileditor.app
3•kennethtransier•46m ago•0 comments

Show HN: DenizliHub – 40 client-side web tools running 100% in the browser

https://denizlihub.com/
3•denizlihub•47m ago•0 comments

Iroh Global Content Discovery

https://www.iroh.computer/blog/iroh-global-content-discovery
6•birdculture•48m ago•0 comments

Modernize Every SQL Server to Azure SQL or Fabric DW

https://www.brentozar.com/archive/2026/09/im-just-gonna-leave-this-here/
2•BLKNSLVR•50m ago•0 comments

Toki Pona

https://en.wikipedia.org/wiki/Toki_Pona
4•sans_souse•53m ago•0 comments

All 201 Stories by Anton Chekhov

https://www.ibiblio.org/eldritch/ac/jr/
2•bookofjoe•53m ago•0 comments

Global Solar Atlas: summary of solar power potential globally

https://globalsolaratlas.info/
4•stratts•54m ago•2 comments

Update: Now Source Download supported 54 languages

https://chromewebstore.google.com/detail/source-download/nockdgincmpfojabnhbofkddgcmnodpd
2•2rundev•56m ago•0 comments