Hacker News new | past | comments | ask | show | jobs | submit | from login
Transparent Architecture (ethz.ch)
3 points by sizzle 2 days ago | past | web | discuss
A biosynthetic dual-core cell computer (ethz.ch)
2 points by sizzle 6 days ago | past | web | discuss
A biosynthetic dual-core cell computer (ethz.ch)
3 points by EndXA 8 days ago | past | web | 1 comment
How to Efficiently Dismantle Networks (ethz.ch)
1 point by rbanffy 16 days ago | past | web
Social media and the concentration of power (ethz.ch)
67 points by arnocaj 30 days ago | past | web | 10 comments
On Formalism in Specifications (1985) [pdf] (ethz.ch)
2 points by Jtsummers 43 days ago | past | web
A brief history of Software engineering [pdf] (ethz.ch)
7 points by wheresvic1 46 days ago | past | web
Visualising Mental Valuation Processes (ethz.ch)
1 point by rbanffy 63 days ago | past | web
Using Commodity DRAM Devices to Generate Random Numbers [pdf] (ethz.ch)
1 point by aburan28 83 days ago | past | web
Leveraging Rust types for modular specification and verification (ethz.ch)
1 point by walterbell 3 months ago | past | web
SafeAI – Abstract Interpretation for Neural Networks (ethz.ch)
2 points by hurrrr 4 months ago | past | web
Physical Adressing on Real Hardware in Isabelle/HOL (ethz.ch)
2 points by utaal 5 months ago | past | web
A Large Scale Study of Data Center Network Reliability [pdf] (ethz.ch)
3 points by programd 5 months ago | past | web
The Rust borrow checker from a different perspective (ethz.ch)
173 points by utaal 5 months ago | past | web | 49 comments
Physical Addressing on Real Hardware in Isabelle/HOL [pdf] (ethz.ch)
22 points by lainon 5 months ago | past | web
ETH researchers uncover security gaps in the 5G mobile communication standard (ethz.ch)
1 point by rbanffy 6 months ago | past | web
DextrES: Wearable Haptic Feedback for Grasping in VR (ethz.ch)
2 points by jcfrei 6 months ago | past | web
Nue Routing: fast, fault-tolerant, 100% applicable, deadlock-free (ethz.ch)
36 points by gbrown_ 6 months ago | past | web | 2 comments
Memory Systems and Memory-Centric Computing Systems (ethz.ch)
1 point by ingve 6 months ago | past | web
Network topologies for large-scale compute centers: It's the diameter (2016) (ethz.ch)
58 points by blopeur 7 months ago | past | web | 11 comments
(guideline) (latex) Small guide on making tables [pdf] (ethz.ch)
2 points by ayy_lmao 7 months ago | past | web
Quantum computing school and hackathon with Scott Aaronson. Zurich 11-14 Sep (ethz.ch)
1 point by sinesha 8 months ago | past | web
Frequency Scaling as a Security Threat on Multicore Systems (ethz.ch)
1 point by Katydid 8 months ago | past | web
Python’s Meta-Object Protocol (2012) [pdf] (ethz.ch)
43 points by tosh 8 months ago | past | web | 9 comments
Nagini: A Static Verifier for Python [pdf] (ethz.ch)
102 points by Klasiaster 9 months ago | past | web | 40 comments
China’s rise as a new AI superpower (ethz.ch)
1 point by newman8r 10 months ago | past | web
Good Ideas, Through the Looking Glass (2005) [pdf] (ethz.ch)
36 points by bshanks 10 months ago | past | web | 3 comments
Evaluating the cost of atomic operations on modern CPU architectures [pdf] (ethz.ch)
2 points by fanf2 11 months ago | past | web
Betrand Meyer: Principles of language design and evolution (1999, PDF) (ethz.ch)
3 points by open-source-ux 12 months ago | past | web
Compiler Construction by Niklaus Wirth [pdf] (ethz.ch)
3 points by rayascott 12 months ago | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: