recentpopularlog in


« earlier   
Home | Open Problem Garden
Welcome to the Open Problem Garden, a collection of unsolved problems in mathematics. Here you may:

Read descriptions of open problems.
Post comments on them.
Create and edit open problems pages (please contact us and we will set you up an account. Unfortunately, the automatic process is too prone to spammers at this moment.)
open-problems  mathematical-recreations  mathematics  computer-science  to-write-about  nudge-targets 
7 hours ago by Vaguery
A Plea for Lean Software –– Niklaus Wirth
Recommended as one of top two CS papers to read by Joe Armstrong.
Computer-Science  Paper 
4 days ago by tomaskral
Mathematics for Computer Science
MIT open course, and a freely available textbook covering the same. I haven’t gone over it yet. It’s co-authored by someone at Google and two MIT profs.
mathematics  computer-science  book 
5 days ago by DGrady
Programming book list
There are a lot of “12 CS books every programmer must read” lists floating around out there. That’s nonsense. The field is too broad for almost any topic to be required reading for all programmers, and even if a topic is that important, people’s learning preferences differ too much for any book on that topic to be the best book on the topic for all people.

This is a list of topics and books where I’ve read the book, am familiar enough with the topic to say what you might get out of learning more about the topic, and have read other books and can say why you’d want to read one book over another.
career  cs  programming  computer-science  books 
5 days ago by dangeranger
Compiler Construction –– The Art of Niklaus Wirth
Reflection about Wirht's way of designing compilers, and some general principles behind his work.
Computer-Science  Paper 
6 days ago by tomaskral
Church vs Curry Types - LispCast
My ambitious hope is that this perspective will quiet a lot of the fighting as people recognize that they are just perpetuating a rift in the field of mathematics that happened a long time ago. The perspectives are irreconcilable now, but that could change. A paper called Church and Curry: Combining Intrinsic and Extrinsic Typing builds a language with both kinds of types. And Gradual Typing and Blame Calculus are investigating the intersection of static and dynamic typing. Let’s stop fighting, make some cool tools and use them well.
type-theory  computer-science  models-and-modes  dichotomy-or-not?  to-write-about 
7 days ago by Vaguery
Crash Course Computer Science | PBS

In this series, we're going to trace the origins of our modern computers, take a closer look at the ideas that gave us our current hardware and software, discuss how and why our smart devices just keep getting smarter, and even look towards the future!
video  course  learning  computer-science  programming  to-watch 
7 days ago by davidgasperoni

Copy this bookmark:

to read