HNHacker News
TopNewBestAskShowJobs

Rickasaurus

3,481 karma · joined February 12, 2008

submissionscomments

Fermat's Little Theorem, a video tutorial

youtube.com·1 pts·Rickasaurus·
0

Deconstructing P vs. NP (or why I hate Sudoku)

infoq.com·2 pts·Rickasaurus·
0

Quantum entanglement allows information rate to exceed Shannon 0-error capacity

phys.org·4 pts·Rickasaurus·
0

My Education in Machine Learning via Cousera, A Review So Far

richardminerich.com·105 pts·Rickasaurus·
29

How the embeddability of Lua impacted its design

queue.acm.org·104 pts·Rickasaurus·
18

How Euler Did It

maa.org·2 pts·Rickasaurus·
0

Understand the abc Conjecture

youtube.com·4 pts·Rickasaurus·
0

SmoothLife - A (floating point) generalization of Conway's Game of Life (source)

sourceforge.net·9 pts·Rickasaurus·
0

Stein's Paradox in Statisitics

www-stat.stanford.edu·1 pts·Rickasaurus·
0

Why do Nigerian Scammers Say They are from Nigeria? [pdf]

research.microsoft.com·2 pts·Rickasaurus·
0

.NET 4.5 Source Code Now Available for Download

referencesource.microsoft.com·2 pts·Rickasaurus·
0

First gliders navigate ever-changing Penrose universe

newscientist.com·2 pts·Rickasaurus·
0

The First Simple Symmetric 11-Venn Diagram found

webhome.cs.uvic.ca·86 pts·Rickasaurus·
19

Imaging at a trillion frames per second

ted.com·2 pts·Rickasaurus·
0

Does category theory make you a better programmer?

debasishg.blogspot.in·2 pts·Rickasaurus·
0

Functional Programming in the Wild at the MSR Faculty Summit 2012 (Video)

research.microsoft.com·2 pts·Rickasaurus·
0

A syntax comparison across many languages

rigaux.org·96 pts·Rickasaurus·
30

Functional Programming is Dead, Long Live Expression-Oriented Programming

richardminerich.com·45 pts·Rickasaurus·
46

Rich Hickey on Functors in C++ (1994)

tutok.sk·65 pts·Rickasaurus·
14

Live CERN Higgs Announcement in 20 Mins

webcast.web.cern.ch·278 pts·Rickasaurus·
211

How to become a good theoretical physicist

staff.science.uu.nl·1 pts·Rickasaurus·
0

The Top Research Papers In Computer Science By Mendeley Readership

blog.mendeley.com·39 pts·Rickasaurus·
2

What Microsoft MVP means to me

richardminerich.com·1 pts·Rickasaurus·
0

Domain Theory: the forgotten step in program verification

bertrandmeyer.com·6 pts·Rickasaurus·
0

Certified programming with dependent types (a tutorial)

youtube.com·1 pts·Rickasaurus·
0

Vellum, a verified model for LLVM

cis.upenn.edu·13 pts·Rickasaurus·
2

The Thrilling Adventures of Lovelace and Babbage

sydneypadua.com·1 pts·Rickasaurus·
0

Iran Sentences Alleged Video Game Developer ‘Spy’ to Death

kotaku.com·1 pts·Rickasaurus·
0

Neutrino experiment affirms faster-than-light claim

blogs.nature.com·253 pts·Rickasaurus·
120

A New and Improved Moore's Law

technologyreview.com·1 pts·Rickasaurus·
0
← PreviousPage 2 of 4Next →