HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
811.
▲
Macroscopic and Direct Light Propulsion of Bulk Graphene Material [pdf]
arxiv.org
2 comments
11 years ago
ttflee
7 points
812.
▲
Disk failures in the real world: What does an MTTF of 1,000,000 hours mean?
pdl.cmu.edu
2 comments
17 years ago
jacquesm
7 points
813.
▲
Scheme: An Interpreter for Extended Lambda Calculus (1975) [pdf]
repository.readscheme.org
discuss
13 years ago
janogonzalez
7 points
814.
▲
Tagless-Final Style (2020)
okmij.org
discuss
3 years ago
Cieplak
7 points
815.
▲
Lambda Calculus and Lambda Calculators
okmij.org
discuss
18 years ago
jwilliams
7 points
816.
▲
An approach to systems verification (1989) [pdf]
cs.utexas.edu
discuss
11 years ago
luu
7 points
817.
▲
LibreSSL 4.0.0
ftp.openbsd.org
discuss
2 years ago
petecooper
6 points
818.
▲
NASA Researcher: If Aliens Kill Us All It’s Because We Deserve It
arxiv.org
discuss
15 years ago
espeed
6 points
819.
▲
LibreSSL 3.4.0 Released
ftp.openbsd.org
discuss
5 years ago
protomyth
6 points
820.
▲
Contagion Externality of a Superspreading Event: Sturgis Bike Rally and COVID19 [pdf]
ftp.iza.org
discuss
6 years ago
anarazel
6 points
821.
▲
gedit Port for Windows
ftp.gnome.org
2 comments
17 years ago
iamdave
5 points
822.
▲
Face Masks Considerably Reduce Covid-19 Cases in Germany [pdf]
ftp.iza.org
2 comments
6 years ago
cygx
5 points
823.
▲
The Unix Time-Sharing System, unpublished draft (1971) [pdf]
ftp.math.utah.edu
1 comment
11 years ago
colinprince
5 points
824.
▲
Unix pipes as IO Monads
okmij.org
discuss
18 years ago
silentbicycle
5 points
825.
▲
An introduction to V – the vlang – DebConf22 [video]
chuangtzu.ftp.acc.umu.se
discuss
4 years ago
Tozen
5 points
826.
▲
Strong Static Type Checking for Functional Common Lisp [pdf]
cs.utexas.edu
discuss
7 years ago
pcr910303
5 points
827.
▲
GNU Finger
ftp.gnu.org
discuss
7 years ago
tzhenghao
5 points
828.
▲
How France became the DDR in just one year [video]
ftp.halifax.rwth-aachen.de
discuss
10 years ago
cellover
5 points
829.
▲
First stable version of Firefox 64-bit for Windows
ftp.mozilla.org
3 comments
11 years ago
motherpenguin
4 points
830.
▲
USA: Legalization of marijuana caused a reduction of rapes and thefts [pdf]
ftp.iza.org
2 comments
9 years ago
mathoff
4 points
831.
▲
Performance Improvements in C Code Using Micro-Optimizations
ftp
2 comments
10 years ago
blacksqr
4 points
832.
▲
A Fast, Minimal Memory, Consistent Hash Algorithm [pdf]
arxiv.org
1 comment
12 years ago
arh68
4 points
833.
▲
OpenBSD fixes use-after-free race condition in OpenSSL
ftp.openbsd.org
1 comment
12 years ago
yens
4 points
834.
▲
Beyond Dynamic vs. Static Types (2015) [video]
ftp.heanet.ie
1 comment
6 years ago
codesections
4 points
835.
▲
The clusterfuck hidden in the Kubernetes code base
ftp.osuosl.org
1 comment
7 years ago
pplonski86
4 points
836.
▲
101 High-Frequency Trading Signals [pdf]
arxiv.org
1 comment
10 years ago
nycdatasci
4 points
837.
▲
Back to the Future: Squeak, a Practical Smalltalk Written in Itself (1997)
ftp.squeak.org
discuss
11 years ago
lukego
4 points
838.
▲
How OCaml's type checker works - or what polymorphism and GC have in common
okmij.org
discuss
13 years ago
mbrubeck
4 points
839.
▲
Folding in Parallel
okmij.org
discuss
a month ago
thunderbong
4 points
840.
▲
Evidence for Energy Conservation Compared to Normal and Lean Adolescents
deepblue.lib.umich.edu
discuss
10 months ago
paulpauper
4 points
More