boyter (@boyter) header
boyter (@boyter) profile picture

A software developer working on https://nitter.cf/t.co/DzOih8KEW2 and https://nitter.cf/t.co/e4f8vy1OlT https://nitter.cf/t.co/kWDRC13CXw

Joined May 2008
Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)Photo by boyter (@boyter)
Breadcrumb is a computer flight recorder and context manager for your AI. innerloop.works/breadcrumb
1
1
8
444
A third grader just scored a 5 on AP Calculus BC. The system that trained him contains no LLM. The core is a knowledge graph one man spent 250 hours encoding by hand, two minutes per edge. The platform is Math Academy. Its "AI" is an expert system that routes each student through nearly 3,000 math topics, from 4th grade arithmetic to the math behind machine learning. Every node, every prerequisite link, every weight was placed manually by a team of mathematicians. The weights alone took Justin Skycak a full month: 1,500 topics at the time, roughly 5 prerequisite links each, 2 minutes to estimate each one. 8 hours a day of pure encoding, done before ChatGPT existed to ease the load. Why go through that? Because the graph unlocks mastery learning, the closest thing education research has to a cheat code. In 1984, Benjamin Bloom showed that students with one-on-one tutoring perform two standard deviations above a regular classroom. The average tutored kid beats 98% of the lecture hall. Nobody could afford a tutor per child, so the finding sat in journals for 40 years. A prerequisite graph with a mastery gate is the workaround. The system always knows the exact next topic a specific kid is ready for, drills it until proven, then moves on. Zero time spent waiting for 29 classmates. That waiting is most of school. A year of classroom math is roughly 150 hours of instruction, and the majority goes to pacing, review, and re-teaching. Strip it out and a motivated kid covers six grade levels in one calendar year. The origin makes it better: this grew out of a math program at Pasadena High School where 8th graders were passing AP Calculus BC, back when the founders were still hand-grading the whole thing. The most effective education AI running today is a graph a few humans built by hand, one edge at a time.
For anyone wondering how a third-grader can complete six years' worth of math in a single year AND score a 5 on the AP Calculus exam. This knowledge graph spans 3,000 math topics, from 4th grade to the university level, providing the perfect basis for mastery learning. Students can go as fast or far as they want! There are no restrictions whatsoever. The only requirement is that they must demonstrate mastery of each topic before moving on to the next. Kids are capable of incredible things when given that kind of freedom and support.
48
398
36
3,257
417,677
The sales of my local AI book are looking very healthy (now 74), and the ranking in the Amazon store continues to rise 🤩 If you want to learn more about how AI models work, how you can squeeze models onto your local machine (for free), and save on frontier cloud costs, then this book is for you. Contrary to the book's "local first AI developer" messaging, I've been told it's invaluable for anyone wanting to learn more about AI, especially if you want local/agentic workflows. My goal: 100 sales by the end of next week 📚 Then I'll move the goalposts! If I'm lucky enough to get 250 sales, then I'll release my next AI book. Not sure? Drop a comment, or follow for teasers. x 🇬🇧 amazon.co.uk/dp/B0GYDV3FXD 🇺🇸 amazon.com/dp/B0GYDV3FXD #ArtificialIntelligence #LLM #LocalAI #OpenSource
🤖 Made with AI
1
6
215
One way know AI is not concious is to realize you can make it say anything, argue any viewpoint, reverse any decision. You can reverse it's opinion as many times as you want in the same conversation.
155
14
28
322
126,232
Why does Elasticsearch default to k1=1.2 and b=0.75? I wrote the post I wish existed when I started building search systems From inverted indexes → TF-IDF → BM25 → Hybrid RAG pipelines. Every step motivated by a concrete failure in the previous one codeandcontext.dev/blog/from…
2
3
1
14
998
When you see the light that pure agentic coding can offer, there's no going back (not vibe coding). I gave the Math Academy team a 2-hour demo of me building a large feature into the Lightwave codebase and it turned them from skeptics into believers.
Replying to @justinvincent
You've won me over to purely agentic coding, in the sense of being the polar opposite of vibe coding. The big unlock for me was phased planning: 1. As you get to each phase, zoom in as though it were a legal document, leaving absolutely no room for inference. 2. If your own working memory is strained to fit all the details of the phase, if there's a chance you're glossing over anything, split it up and focus on only the first part. Keep splitting as much as you need, until (1) is true. 3. Implement/commit one atomic phase at a time before moving onto the next phase. It's incredible how well that approach can get you focusing on the hard stuff where your own expertise is the biggest value-add. It's also incredible how mentally taxing the experience is -- in a good way -- because it's focusing all your time on the fuzzy things that really matter for you to be thinking about, and stripping away everything else that you're already thinking perfectly clearly about.
3
1
9
1,427
Worries that software developer jobs are going away are backwards. There is SO MUCH software to build right now, that previously wasn't possible (uses AI directly) or wasn't cost-effective (too niche). We're going to have more developers, and orders of magnitude more software.
64
71
14
840
78,846
Replying to @boyter
I needed this tool 🙂 Thank You.
1
1
1
124
Former2 scans your AWS resources and automatically generates IaC templates. In this blog, you'll learn how to use Former2 with LocalStack to convert your local AWS prototypes into reproducible IaC templates and validate them locally. Read here 👉 blog.localstack.cloud/genera…
5
12
562
Why spend 30 minutes actively coding when you can spend 5 hours passively telling github copilot what to do?
2
2
11
739
Not only is @boyter's scc a great tool for counting lines of code, but it also values my work more than anyone ever will. $22,607 for a two-file Go package! That's why I appreciate it so much :)
3
20
1,331
Replying to @boyter
At my 52 and after programming computers for 37 years, you can imagine how I feel about it. Let alone the fact that back in my days, just knowledge of a programming language (out of the just 3 available at that time...) was sufficient for everything. Now, the job vacancies seems like they need an entire IT department...
1
1
1
138
the hard part of software engineering was never the code
110
122
22
1,352
73,510
I genuinely don’t understand why remote workers don’t turn their camera on during meetings. The one concern your manager has is that you’re on the couch watching Netflix. If there’s one simple way to alleviate that, it’s by simply turning your camera on for meetings. But most people don’t, then act shocked when their employer mandates RTO.
278
37
94
1,473
243,695
something to be aware of
GitHub’s CoPilot just feels like a ticking timebomb when it comes to software license compliance checks. Compliance audit companies must be licking their lips in glee.
1
3
227
The second chapter of my interactive book on Go's concurrency is out, and it's entirely devoted to channels. Some of the topics covered are: - closing channels; - iterating over channels; - using directions; - using the done channel; - working with buffered channels; - limiting the number of workers; - (not) using nil channels. Lots of examples ahead! antonz.org/go-concurrency/ch…
4
17
1
143
9,436
The Minister for Censorship, Michelle Rowland, has blocked me on social media for criticising her misinfo bill - a portent of things to come if this Orwellian bill passes.
294
1,806
114
7,012
112,593
Replying to @boyter
@boyter , many are very inspired there in the thread. Does this use of SCC inspire you? linkedin.com/feed/update/urn…)
1
1
1
136