| | A Methodology for Penetration Testing Docker Systems [pdf] (ru.nl) |
|
1 point by kiyanwang on June 28, 2020 | past
|
|
| | Dutch antennas unfolded behind the moon (ru.nl) |
|
105 points by sohkamyung on Nov 30, 2019 | past | 21 comments
|
|
| | A theory of diagnosis from first principles [pdf] (ru.nl) |
|
3 points by fasinfranco on Nov 18, 2019 | past
|
|
| | The anatomy of the modern window manager [pdf] (ru.nl) |
|
6 points by VanLaser on Sept 13, 2019 | past
|
|
| | Is ZF a hack? (2006) [pdf] (ru.nl) |
|
1 point by pera on May 12, 2019 | past
|
|
| | Telescopes in space for even sharper images of black holes (ru.nl) |
|
3 points by okket on May 6, 2019 | past
|
|
| | Functional Pearl: I am not a Number – I am a Free Variable (2004) [pdf] (ru.nl) |
|
43 points by pera on March 28, 2019 | past | 1 comment
|
|
| | Grammatical Inference Using the Z3 SMT Solver (ru.nl) |
|
2 points by alex_hirner on Feb 23, 2019 | past
|
|
| | What is the value of a robot life? (ru.nl) |
|
1 point by EndXA on Feb 10, 2019 | past
|
|
| | What is the value of a robot life? (ru.nl) |
|
2 points by headalgorithm on Feb 10, 2019 | past
|
|
| | QED Manifesto (ru.nl) |
|
2 points by octosphere on Dec 22, 2018 | past
|
|
| | Formalizing 100 Theorems (ru.nl) |
|
91 points by espeed on Nov 23, 2018 | past | 25 comments
|
|
| | Self-encrypting deception: weaknesses in the encryption of solid state drives [pdf] (ru.nl) |
|
2 points by BurnGpuBurn on Nov 9, 2018 | past | 1 comment
|
|
| | Self-encrypting deception: weaknesses in the encryption of solid state drives [pdf] (ru.nl) |
|
1 point by isido on Nov 6, 2018 | past
|
|
| | Self-encrypting deception: weaknesses in the encryption of solid state drives [pdf] (ru.nl) |
|
4 points by Ypetrolio on Nov 5, 2018 | past
|
|
| | Security problem with widely used computer storage devices (ru.nl) |
|
4 points by asciick on Nov 5, 2018 | past
|
|
| | The power of pi: design patterns for dependently-types programming [pdf] (ru.nl) |
|
1 point by fanf2 on June 9, 2018 | past
|
|
| | Clean – A functional programming language (ru.nl) |
|
129 points by EvergreenTree on Dec 16, 2017 | past | 66 comments
|
|
| | Visual brain predicts future events based on past experience (ru.nl) |
|
1 point by mnkc on May 29, 2017 | past
|
|
| | Super-sized memory is trainable and long lasting (ru.nl) |
|
1 point by nreece on March 9, 2017 | past
|
|
| | The Challenge of Computer Mathematics [pdf] (ru.nl) |
|
7 points by btrask on Oct 31, 2016 | past
|
|
| | A Categorical Basis for Conditional Probability [pdf] (ru.nl) |
|
2 points by adamnemecek on Aug 24, 2016 | past
|
|
| | Clean (programming language) (ru.nl) |
|
2 points by lcnmrn on Aug 4, 2016 | past
|
|
| | Learn Quantum Mechanics with Haskell [pdf] (ru.nl) |
|
2 points by setra on July 31, 2016 | past
|
|
| | Formalizing 100 Theorems (ru.nl) |
|
5 points by kawera on June 18, 2016 | past
|
|
| | Security Without Identification: Transaction Systems Make Big Brother Obsolete [pdf] (ru.nl) |
|
2 points by ingve on Feb 22, 2016 | past
|
|
| | Security without Identification (1985) [pdf] (ru.nl) |
|
20 points by raldu on Feb 21, 2016 | past | 1 comment
|
|
| | Linguists to Publish Journal Articles in 'Fair' Open Access (ru.nl) |
|
1 point by Bootvis on Oct 17, 2015 | past
|
|
| | Computerising Mathematical Text (ru.nl) |
|
12 points by nabla9 on May 5, 2015 | past | 1 comment
|
|
| | The Discoveries of Continuations (1993) [pdf] (ru.nl) |
|
28 points by brudgers on March 23, 2015 | past | 3 comments
|
|
|
|
More |
