Mindstorms: Children, Computers, And Powerful Ideas


Seymour Papert - 1980
    We have Mindstorms to thank for that. In this book, pioneering computer scientist Seymour Papert uses the invention of LOGO, the first child-friendly programming language, to make the case for the value of teaching children with computers. Papert argues that children are more than capable of mastering computers, and that teaching computational processes like de-bugging in the classroom can change the way we learn everything else. He also shows that schools saturated with technology can actually improve socialization and interaction among students and between students and teachers.

How to Build a Brain and 34 Other Really Interesting Uses of Maths


Richard Elwes - 2010
    You'll find out how to unknot your DNA, how to count like a supercomputer and how to become famous for solving mathematics' most challenging problem.

Modern CTO: Everything you need to know, to be a Modern CTO.


Joel Beasley - 2018
    ―Jacob Boudreau CTO of Stord | Forbes 30 Under 30 Joel's book and show provide incredible insights for young startup developers and fellow CTOs alike. Joel offers a human perspective and real practical advice on the challenges and opportunities facing every Modern CTO. ― Christian Saucier | Entrepreneur and P2P Systems Architect I've really come to respect what Joel is doing in the community. His podcast and book are filling a much needed hole and I'm excited to see what else the future has in store. ― Don Pawlowski Chief Technology Officer at University Tees Modern CTO Everything you need to know to be a Modern CTO. Developers are not CTOs, but developers can learn how to be CTOs. In Modern CTO, Joel Beasley provides readers with an in-depth road map on how to successfully navigate the unexplored and jagged transition between these two roles. Drawing from personal experience, Joel gives a refreshing take on the challenges, lessons, and things to avoid on this journey.Readers will learn how Modern CTOs: Manage deadlines Speak up Know when to abandon ship and build a better one Deal with poor code Avoid getting lost in the product and know what UX mistakes to watch out for Manage people and create momentum … plus much more Modern CTO is the ultimate book when making the leap from developer to CTO. Update: Kindle Formatting issues resolved 5/13/18. Thank you for the feedback.

The Nature of Space and Time


Stephen Hawking - 1996
    But was he right? Can the quantum theory of fields and Einstein's general theory of relativity, the two most accurate and successful theories in all of physics, be united in a single quantum theory of gravity? Can quantum and cosmos ever be combined? On this issue, two of the world's most famous physicists--Stephen Hawking ("A Brief History of Time") and Roger Penrose ("The Emperor's New Mind" and "Shadows of the Mind")--disagree. Here they explain their positions in a work based on six lectures with a final debate, all originally presented at the Isaac Newton Institute for Mathematical Sciences at the University of Cambridge.How could quantum gravity, a theory that could explain the earlier moments of the big bang and the physics of the enigmatic objects known as black holes, be constructed? Why does our patch of the universe look just as Einstein predicted, with no hint of quantum effects in sight? What strange quantum processes can cause black holes to evaporate, and what happens to all the information that they swallow? Why does time go forward, not backward?In this book, the two opponents touch on all these questions. Penrose, like Einstein, refuses to believe that quantum mechanics is a final theory. Hawking thinks otherwise, and argues that general relativity simply cannot account for how the universe began. Only a quantum theory of gravity, coupled with the no-boundary hypothesis, can ever hope to explain adequately what little we can observe about our universe. Penrose, playing the realist to Hawking's positivist, thinks that the universe is unbounded and will expand forever. The universe can be understood, he argues, in terms of the geometry of light cones, the compression and distortion of spacetime, and by the use of twistor theory. With the final debate, the reader will come to realize how much Hawking and Penrose diverge in their opinions of the ultimate quest to combine quantum mechanics and relativity, and how differently they have tried to comprehend the incomprehensible.

Hacker's Delight


Henry S. Warren Jr. - 2002
    Aiming to tell the dark secrets of computer arithmetic, this title is suitable for library developers, compiler writers, and lovers of elegant hacks.

Basic Category Theory for Computer Scientists


Benjamin C. Pierce - 1991
    Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.

A Mathematician's Lament


Paul Lockhart
    He proposes his solution.