RSS

lesbaker + compsci   131

Type inference - Eli Bendersky's website
compsci 
28 days ago by lesbaker
Oops, I Wrote a C++ Compiler | Hacker News
hacker-news-comments  compsci 
september 2018 by lesbaker
Modern SAT solvers: fast, neat and underused (part 1 of N) — The Coding Nest
compsci 
august 2018 by lesbaker
Modern SAT solvers: fast, neat and underused (part 1 of N) | Hacker News
compsci  hacker-news-comments 
august 2018 by lesbaker
A Short Guide to Hard Problems | Quanta Magazine
compsci 
july 2018 by lesbaker
LR Parsing: More Elegant Than You Think
parsing  compsci 
june 2018 by lesbaker
Microsoft AI Interview Questions — Acing the AI Interview
interviewing  compsci 
may 2018 by lesbaker
Mathematics I Use
mathematics  compsci 
april 2018 by lesbaker
Top Down Operator Precedence
compsci 
january 2018 by lesbaker
Writing a C Compiler, Part 5
compsci 
january 2018 by lesbaker
GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science!
free  compsci  training 
december 2017 by lesbaker
What Monoids teach us about software | Hacker News
compsci  hacker-news-comments 
september 2017 by lesbaker
Monoids: what they are, why they are useful, and what they teach us about software – Deque
compsci  haskell 
september 2017 by lesbaker
What the heck is a parser-combinator? – Harry Kimpel
compsci  scala  parsing 
august 2017 by lesbaker
Software Engineering ≠ Computer Science (2009) | Hacker News
software-engineering  compsci  hacker-news-comments 
august 2017 by lesbaker
Software Engineering ≠ Computer Science | Dr Dobb's
software-engineering  compsci 
august 2017 by lesbaker
Type Systems for Beginners: An Introduction
mathematics  compsci  tutorials 
july 2017 by lesbaker
Where Do Type Systems Come From? | Hacker News
compsci  hacker-news-comments 
july 2017 by lesbaker
Where do Type Systems Come From?
compsci 
july 2017 by lesbaker
[no title]
compsci  games  formal-verification 
april 2017 by lesbaker
Software Foundations
compsci  books 
december 2016 by lesbaker
GitHub - Developer-Y/cs-video-courses: List of Computer Science courses with video lectures.
compsci  video 
november 2016 by lesbaker
Introduction to Cyber Security | Hacker News
compsci  security  hacker-news-comments 
october 2016 by lesbaker
Summarizing Garbage Collection | eschew it all
research  compsci 
october 2016 by lesbaker
GitHub - jwasham/google-interview-university: A complete daily plan for studying to become a Google software engineer.
training  tutorials  compsci 
october 2016 by lesbaker
Parsing expression grammar - Wikipedia, the free encyclopedia
parsing  compsci 
september 2016 by lesbaker
The Busy Beaver Game | Azimuth
mathematics  compsci 
may 2016 by lesbaker
Research Blog: Announcing SyntaxNet: The World’s Most Accurate Parser Goes Open Source
parsing  compsci 
may 2016 by lesbaker
Programming by poking: why MIT stopped teaching SICP | posterior science
compsci 
may 2016 by lesbaker
Oodle New Features
Kraken fast decompression library
compression  compsci 
may 2016 by lesbaker
My 100 Favorite Programming, Computer and Science Books: Part Five - good coders code, great coders reuse
books  compsci 
april 2016 by lesbaker
Discovering the Computer Science Behind Postgres Indexes - Pat Shaughnessy
database  postgres  data-structures  compsci 
april 2016 by lesbaker
Rage Against The Finite-State Machines | Learn You Some Erlang for Great Good!
erlang  compsci 
april 2016 by lesbaker
Compiler Construction
free  books  compsci 
march 2016 by lesbaker
Calculus on Computational Graphs: Backpropagation -- colah's blog
compsci 
january 2016 by lesbaker
Let’s Build A Simple Interpreter. Part 6. - Ruslan's Blog
compsci 
december 2015 by lesbaker
Real talk from real computer science teachers — Medium
compsci 
december 2015 by lesbaker
Surprisingly Turing-Complete - Gwern.net
compsci 
october 2015 by lesbaker
Stanford University ACM Team Notebook (2013-14)
algorithms  compsci 
september 2015 by lesbaker
Let’s Build A Simple Interpreter. Part 3. - Ruslan's Blog
python  compsci 
august 2015 by lesbaker
The Algebra of Algebraic data types | Hacker News
compsci  hacker-news-comments 
june 2015 by lesbaker
The algebra (and calculus!) of algebraic data types
haskell  compsci 
june 2015 by lesbaker
John Carmack on Inlined Code | Hacker News
compsci  software-engineering  hacker-news-comments 
june 2015 by lesbaker
Lock-Free Data Structures. Yet Another Treatise
compsci  concurrency  algorithms 
march 2015 by lesbaker
Airline fare search is really hard (or, Why studying algorithms and complexity really does matter) : programming
algorithms  compsci  reddit-comments 
january 2015 by lesbaker
[no title]
algorithms  compsci 
january 2015 by lesbaker
Building a deeper understanding of images | Research Blog
research  images  compsci  cool-stuff 
october 2014 by lesbaker
Ocean of Awareness
history  compsci  algorithms 
september 2014 by lesbaker
What every computer programmer should know about floating point, part 1 | Hacker News
compsci  development 
september 2014 by lesbaker
Visualizing Garbage Collection Algorithms
visualization  compsci  algorithms 
september 2014 by lesbaker
Algebraic Data Types | Esper Tech Blog
ocaml  compsci 
august 2014 by lesbaker
Circular Linked Lists – Attributes, Implementation and Uses | Hacker News
compsci  algorithms  hacker-news-comments 
july 2014 by lesbaker
Infinity: Circular linked lists - Attributes, Implementation and Uses
compsci  algorithms 
july 2014 by lesbaker
LexRank: Graph-based Lexical Centrality as Salience in Text Summarization
text-processing  compsci  algorithms 
may 2014 by lesbaker
Questions for Donald Knuth | Hacker News
compsci  hacker-news-comments 
may 2014 by lesbaker
Twenty Questions for Donald Knuth | | InformIT
compsci 
may 2014 by lesbaker
Minimum Viable Block Chain - igvita.com
bitcoin  algorithms  compsci 
may 2014 by lesbaker
Introduction to A*
algorithms  compsci 
april 2014 by lesbaker
Zapier Email Parser: Extract Text From Automated Emails | Hacker News
email  tools  compsci  hacker-news-comments 
march 2014 by lesbaker
An Introduction to Lock-Free Programming
algorithms  concurrency  compsci 
march 2014 by lesbaker
Collection Equality is Hard | Twisted Oak Studios Blog
compsci 
january 2014 by lesbaker
Crit-bit trees
data-structures  compsci 
december 2013 by lesbaker
What is the enlightenment I'm supposed to attain after studying finite automata? | Hacker News
compsci  hacker-news-comments 
november 2013 by lesbaker
fl.formal languages - What is the enlightenment I'm supposed to attain after studying finite automata? - Theoretical Computer Science Stack Exchange
compsci 
november 2013 by lesbaker
Bloom Filters - Jason Davies
compsci  visualization 
november 2013 by lesbaker
MojoJolo/textteaser · GitHub
algorithms  compsci 
october 2013 by lesbaker
Jeff Dean: What are all the Jeff Dean facts? - Quora
humor  compsci 
september 2013 by lesbaker
Java Algorithms and Clients
algorithms  java  compsci 
august 2013 by lesbaker
Khan Academy Computer Science: Our Design Guidelines for Teaching Programming Talkthroughs
compsci 
august 2013 by lesbaker
The algorithm for a perfectly balanced photo gallery | Hacker News
compsci  algorithms  hacker-news-comments 
august 2013 by lesbaker
The algorithm for a perfectly balanced photo gallery – Summit Stories from Crispy Mountain
compsci  algorithms 
august 2013 by lesbaker
Learning Computer Science / FrontPage
compsci  algorithms 
august 2013 by lesbaker
Scientific Breakthrough Lets SnappyCam App Take 20 Full-Res Photos Per Second | Hacker News
compsci  algorithms 
august 2013 by lesbaker
Notes on computer science, math, research, programming, and industry
compsci 
july 2013 by lesbaker
Clever Algorithms: Statistical Machine Learning Recipes
algorithms  compsci  books 
june 2013 by lesbaker
Foundations of Computer Science book
compsci  books 
june 2013 by lesbaker
Stop Using Linked Lists | Hacker News
compsci  hacker-news-comments 
june 2013 by lesbaker
ds.algorithms - Algorithms from the Book. - Theoretical Computer Science Stack Exchange
algorithms  compsci  mathematics 
june 2013 by lesbaker
Subreddit connections
compsci  cool-stuff 
may 2013 by lesbaker
Algorithms - Algorithmatic
compsci 
may 2013 by lesbaker
« earlier      
per page:    20 ‧ 40 ‧ 80 ‧ 120 ‧ 160

Copy this bookmark:



description:


tags: