Search: ftp | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Scheme: An Interpreter for Extended Lambda Calculus (1975) [pdf] (repository.readscheme.org)

7 points

13 years ago

812.

Tagless-Final Style (2020) (okmij.org)

7 points

3 years ago

813.

Lambda Calculus and Lambda Calculators (okmij.org)

7 points

18 years ago

814.

An approach to systems verification (1989) [pdf] (cs.utexas.edu)

7 points

11 years ago

815.

LibreSSL 4.0.0 (ftp.openbsd.org)

6 points

2 years ago

816.

NASA Researcher: If Aliens Kill Us All It’s Because We Deserve It (arxiv.org)

6 points

15 years ago

817.

LibreSSL 3.4.0 Released (ftp.openbsd.org)

6 points

5 years ago

818.

Contagion Externality of a Superspreading Event: Sturgis Bike Rally and COVID19 [pdf] (ftp.iza.org)

6 points

6 years ago

819.

gedit Port for Windows (ftp.gnome.org)

5 points

17 years ago

820.

Face Masks Considerably Reduce Covid-19 Cases in Germany [pdf] (ftp.iza.org)

5 points

6 years ago

821.

The Unix Time-Sharing System, unpublished draft (1971) [pdf] (ftp.math.utah.edu)

5 points

11 years ago

822.

Unix pipes as IO Monads (okmij.org)

5 points

18 years ago

823.

An introduction to V – the vlang – DebConf22 [video] (chuangtzu.ftp.acc.umu.se)

5 points

4 years ago

824.

Strong Static Type Checking for Functional Common Lisp [pdf] (cs.utexas.edu)

5 points

7 years ago

825.

GNU Finger (ftp.gnu.org)

5 points

7 years ago

826.

How France became the DDR in just one year [video] (ftp.halifax.rwth-aachen.de)

5 points

10 years ago

827.

First stable version of Firefox 64-bit for Windows (ftp.mozilla.org)

4 points

11 years ago

828.

USA: Legalization of marijuana caused a reduction of rapes and thefts [pdf] (ftp.iza.org)

4 points

9 years ago

829.

Performance Improvements in C Code Using Micro-Optimizations (ftp)

4 points

10 years ago

830.

A Fast, Minimal Memory, Consistent Hash Algorithm [pdf] (arxiv.org)

4 points

12 years ago

831.

OpenBSD fixes use-after-free race condition in OpenSSL (ftp.openbsd.org)

4 points

12 years ago

832.

Beyond Dynamic vs. Static Types (2015) [video] (ftp.heanet.ie)

4 points

6 years ago

833.

The clusterfuck hidden in the Kubernetes code base (ftp.osuosl.org)

4 points

7 years ago

834.

101 High-Frequency Trading Signals [pdf] (arxiv.org)

4 points

10 years ago

835.

Back to the Future: Squeak, a Practical Smalltalk Written in Itself (1997) (ftp.squeak.org)

4 points

11 years ago

836.

How OCaml's type checker works - or what polymorphism and GC have in common (okmij.org)

4 points

13 years ago

837.

Folding in Parallel (okmij.org)

4 points

14 days ago

838.

Evidence for Energy Conservation Compared to Normal and Lean Adolescents (deepblue.lib.umich.edu)

4 points

9 months ago

839.

Having an Effect (2016) (okmij.org)

4 points

a year ago

840.

Micro Logic 6502 Quick Reference Card (1980) [pdf] (mirrors.apple2.org.za)

4 points

2 years ago