frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Claude Code Issue that important facts were forgotten when sessions were reseted

https://github.com/rkceve/Sanma
1•rkceve•5m ago•0 comments

Elevated error rates on Opus 4.7

https://status.claude.com/incidents/8z7l5zcy0v3b
2•rob•7m ago•1 comments

Interactive explorer for Bun's Rust migration

https://bun-to-rust-fanahova.zocomputer.io/
1•FanaHOVA•9m ago•0 comments

Build iterative repair loops with Codex

https://developers.openai.com/cookbook/examples/codex/build_iterative_repair_loops_with_codex
3•gmays•9m ago•0 comments

AI detected a person in the Blessed Sacrament

https://twitter.com/trad_west_/status/2055029902349598827
1•marcofloriano•10m ago•1 comments

From a Telegram conversation to verified AI agents in 49 days

https://credexai.live/hub
1•eedgerton•12m ago•0 comments

MCP Is Not Enough

https://mukulsingh105.github.io/articles/linkedin-article.html
2•azhenley•14m ago•0 comments

Show HN: Openvid – open-source cinematic screen recorder and mockup editor

https://github.com/CristianOlivera1/openvid
2•cristianolivera•16m ago•0 comments

June 9. Dead man switch and MS RCE drops promised?

https://deadeclipse666.blogspot.com/
2•throw2024•22m ago•1 comments

I built a live map for tracking military aircraft activity worldwide

https://skyrane.com/
3•Anaxader•26m ago•0 comments

We built a machine-readable merchant verification layer for AI shopping agents

https://github.com/warwickwood-cell/gengeo-agent-registry
2•gengeo-ai•37m ago•0 comments

Recursive Self-Improvement Delivers New SOTA Coding Performance

https://poetiq.ai/posts/recursive_self_improvement_coding/
7•icodestuff•37m ago•0 comments

Honda posts first annual loss on $9B EV writedown, scraps EV sales goals

https://www.reuters.com/business/autos-transportation/honda-books-first-annual-loss-hit-by-hefty-...
4•kristianp•41m ago•1 comments

What's in My Cert Kit?

https://blog.networkprofile.org/whats-in-my-cert-kit/
2•monstermunch•42m ago•0 comments

Accelerating Hamming Quasi-Cyclic (HQC) with Additive FFT

https://eprint.iacr.org/2026/014
1•teleforce•43m ago•0 comments

The real singularity is the friends we made along the way

https://geohot.github.io//blog/jekyll/update/2026/05/09/real-singularity.html
1•oliculipolicula•50m ago•0 comments

Raindrop – Local Agent Debugger

https://github.com/raindrop-ai/workshop
2•felixbraun•52m ago•0 comments

Windows BitLocker zero-day gives access to protected drives, PoC released

https://www.bleepingcomputer.com/news/security/windows-bitlocker-zero-day-gives-access-to-protect...
1•akyuu•52m ago•0 comments

LLM Policy for Rust Compiler

https://github.com/rust-lang/rust-forge/pull/1040
2•liyanage•52m ago•0 comments

LLMs run on top of an OS designed for code, not weights

https://github.com/matthewworner/spike
3•matthewworner•53m ago•0 comments

Sam Altman Is Taking a Lot of Punches on the Witness Stand

https://www.motherjones.com/politics/2026/05/altman-musk-openai-lawsuit-witness-questioning-ai/
5•cdrnsf•53m ago•0 comments

New Fragnesia Linux flaw lets attackers gain root privileges

https://www.bleepingcomputer.com/news/security/new-fragnesia-linux-flaw-lets-attackers-gain-root-...
3•akyuu•57m ago•0 comments

AMD EPYC CPUs Reach Record Server Revenue Share of 46.2%

https://www.techpowerup.com/349029/amd-epyc-cpus-reach-record-server-revenue-share-of-46-2
5•akyuu•1h ago•0 comments

Have a Coherent AI Policy

https://brianmeeker.me/2026/05/14/have-a-coherent-ai-policy/
11•ai_critic•1h ago•1 comments

Shareable AI Editable Visualizations

https://framejs.io/docs/intro.html
2•dionjw•1h ago•0 comments

Boeing, Toyota Donated $1M Each to Transportation Secretary's Road-Trip Show

https://www.wsj.com/business/boeing-toyota-donated-1-million-each-to-transportation-secretarys-ro...
5•impish9208•1h ago•2 comments

Decisions in the past have long running repercussions

https://www.distributedthoughts.org/2026-05-07-roman-bridge-still-determines-your-commute/
3•prosaic-hacker•1h ago•1 comments

A Professor in Every Pocket – A New Framework for Higher Education

https://lagomor.ph/2026/01/a-professor-in-every-pocket/
2•ChilledTonic•1h ago•0 comments

Isaac Newton on Laputa

https://www.historytoday.com/archive/great-debates/isaac-newton-laputa
2•hhs•1h ago•0 comments

mimalloc: A new, high-performance, scalable memory allocator for the modern era

https://www.microsoft.com/en-us/research/blog/mimalloc-a-high-performance-scalable-memory-allocat...
8•matt_d•1h ago•0 comments
Open in hackernews

Bloom's two sigma problem (2020)

https://nintil.com/bloom-sigma
8•Tomte•11mo ago

Comments

trane_project•11mo 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/