| | Evaluating the performance of open source static analysis tools [pdf] (ru.nl) |
| 5 points by ducktective on March 19, 2021 | past | 2 comments |
|
| | The anatomy of the modern window manager (2019) [pdf] (ru.nl) |
| 4 points by a-nikolaev on Dec 21, 2020 | past |
|
| | Show HN: Saturated ASCII Text, the unknown markup language (ru.nl) |
| 2 points by oileurre on Sept 29, 2020 | past | 1 comment |
|
| | The Discoveries of Continuations (1993) [pdf] (ru.nl) |
| 2 points by Jtsummers on Sept 14, 2020 | past |
|
| | 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 |
|
|
| More |
