“A little bit of slope makes up for a lot of y-intercept” 01/13/2012. From a lecture by Professor John Ousterhout at Stanford, class CS140 Here’s today’s thought for the weekend. A little bit of slope makes up for a lot … Read more
Building community. Inspiring readers. Expanding book access. 150,000+ Libraries 110+ Countries 465 Visits Per Library News & Updates November 9, 2022 Portland Welcomes ‘Read in Color’ Initiative Sharing Diverse Books in Little Free Libraries Read more November 22, 2022 Bill … Read more
I’ve become convinced that “little languages”—small languages designed to solve very specific problems—are the future of programming, particularly after reading Gabriella Gonzalez’s The end of history for programming and watching Alan Kay’s Programming and Scaling talk. You should go check … Read more
The Little Typer Daniel P. Friedman andDavid Thrane Christiansen Foreword by Robert Harper Afterword by Conor McBride Drawings by Duane Bibby An implementation of Pie is available from the Racket package system. To install Pie, first install a recent version … Read more
The Little Prover J-Bob is our little proof assistant, available on Github. For an introduction to J-Bob, see Appendix A of The Little Prover. J-Bob is available for ACL2, Scheme, and Racket (via the Dracula package). J-Bob is open source, … Read more
published: 26/07/21 (dd/mm/yy) updated: not yet A little trick to spam the spammers. When I find a “get X free” button on a website that then asks for my email address, I like to search for the email of … Read more
Published on 10th of October, 2017 · Updated on 29th of April, 2021 What’s the simplest Unix command you know?There’s echo, which prints a string to stdout and true, which always terminates with an exit code of 0. Among the … Read more
![the-little-book-about-os-development-(2015)-[pdf]](https://cdn-y.objects.dc-sto1.glesys.net/A1da965d3ac0f2e44c08f1ae072687d311/uploads/2022/07/201814-the-little-book-about-os-development-2015-pdf.png)
This text is a practical guide to writing your own x86 operating system. It is designed to give enough help with the technical details while at the same time not reveal too much with samples and code excerpts. We’ve tried … Read more
It’s a bit unfortunate that my first blog post is essentially a rant, but there it is. I started to write this as a comment on Reddit, but soon I realized I didn’t want to give away free content to … Read more
Make sums using the tiles at the bottom to reach the target number at the top, in 5 steps or fewer. Click numbers to add or remove them. Example You can use each number tile once. You may not need … Read more