| | The refrigerator as a harbinger of a better life (ru.nl) |
|
1 point by geox 61 days ago | past
|
|
| | Can you feel sorry for a robot? (ru.nl) |
|
2 points by geox 73 days ago | past | 1 comment
|
|
| | AGI is far from inevitable (ru.nl) |
|
162 points by mpweiher 3 months ago | past | 243 comments
|
|
| | "I've Got Nothing to Hide" and Other Misunderstandings of Privacy (2008) [pdf] (ru.nl) |
|
35 points by sensanaty 6 months ago | past | 5 comments
|
|
| | Diamagnetic Levitation (ru.nl) |
|
2 points by thunderbong 10 months ago | past
|
|
| | Formalizing 100 Theorems (ru.nl) |
|
66 points by bindidwodtj on Nov 2, 2023 | past | 52 comments
|
|
| | Diamagnetic Levitation of Frogs and Others (ru.nl) |
|
1 point by capableweb on Aug 4, 2023 | past
|
|
| | Quantum Gravity 2023 July 10-14 2023 (ru.nl) |
|
1 point by raattgift on July 11, 2023 | past
|
|
| | Eventually everything will evaporate, not only black holes (ru.nl) |
|
53 points by geox on June 2, 2023 | past | 55 comments
|
|
| | Structured probabilistic reasoning (2021, pdf) (ru.nl) |
|
2 points by sieste on Dec 23, 2022 | past
|
|
| | Formalizing 100 Theorems (ru.nl) |
|
3 points by lorepieri on Dec 11, 2022 | past
|
|
| | Hacking SSD’s: how a hobby project went out of control (ru.nl) |
|
2 points by pieterr on Nov 20, 2022 | past
|
|
| | New view on the brain: It’s all in the connections (ru.nl) |
|
2 points by gmays on Nov 5, 2022 | past
|
|
| | Formal Proof Sketches (2003) [pdf] (ru.nl) |
|
30 points by larve on Aug 22, 2022 | past | 17 comments
|
|
| | If a quality of video meeting degrades, we start talking louder and gesticulate (ru.nl) |
|
2 points by giuliomagnifico on April 14, 2022 | past | 1 comment
|
|
| | The antiscientifical revolution and mathematics (1998) [pdf] (ru.nl) |
|
2 points by leonry on Feb 5, 2022 | past | 1 comment
|
|
| | The Clean Language (ru.nl) |
|
87 points by michaelsbradley on Dec 23, 2021 | past | 43 comments
|
|
| | Path Integral Control Theory (ru.nl) |
|
2 points by sebg on Nov 26, 2021 | past
|
|
| | A Sequent Calculus for Type Theory [pdf] (ru.nl) |
|
2 points by danny00 on Nov 3, 2021 | past
|
|
| | Diamagnetic Levitation (1997) (ru.nl) |
|
30 points by lvncelot on Oct 29, 2021 | past | 7 comments
|
|
| | Lambda Calculus for Engineers [pdf] (ru.nl) |
|
1 point by algebraically on Oct 25, 2021 | past
|
|
| | Superconductivity in cuprates: ‘from max to min dissipation’ – a new paradigm? (ru.nl) |
|
2 points by curmudgeon22 on Sept 9, 2021 | past
|
|
| | Diamagnetic Levitation – Levitating a Living Frog (1997) (ru.nl) |
|
2 points by WillDaSilva on Aug 23, 2021 | past
|
|
| | Attacking the Stack [pdf] (ru.nl) |
|
2 points by bdrum on March 19, 2021 | past | 1 comment
|
|
| | 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
|
|
|
|
More |
