Submissions from ethz.ch

		Quantum Beauty Contest [pdf] (2023) (ethz.ch)
		1 point by yz-exodao 14 days ago \| past
		Posthammer: Pervasive Browser-Based Rowhammer Attacks (ethz.ch)
		2 points by pjattke 22 days ago \| past \| 1 comment
		DeepPoly: An abstract ___domain for certifying neural networks (2019) (ethz.ch)
		1 point by teleforce 27 days ago \| past
		Sampling Signals on Meet/Join Lattices [pdf] (ethz.ch)
		6 points by teleforce 27 days ago \| past \| 4 comments
		Great Scientific Presentations [pdf] (ethz.ch)
		1 point by schlaepf 30 days ago \| past
		Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad [pdf] (ethz.ch)
		3 points by EvgeniyZh 41 days ago \| past
		Were large soda lakes the cradle of life? (ethz.ch)
		54 points by geox 43 days ago \| past \| 21 comments
		Origin of Life: How microbes laid the foundation for complex cells (ethz.ch)
		3 points by geox 46 days ago \| past
		Advanced Algorithms [pdf] (ethz.ch)
		21 points by ibobev 46 days ago \| past
		Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf] (ethz.ch)
		1 point by harporoeder 68 days ago \| past
		25 years since R-1.0.0 (ethz.ch)
		2 points by rbh42 68 days ago \| past
		Storing CO2 Underground in Switzerland (ethz.ch)
		1 point by moatmoat 69 days ago \| past
		An Experimental Analysis of RowHammer in HBM2 DRAM Chips [pdf] (ethz.ch)
		7 points by pizza 74 days ago \| past
		Zigzags for Greener Construction (ethz.ch)
		1 point by gnabgib 3 months ago \| past
		Chameleon: Taming the transient while reconfiguring BGP (ethz.ch)
		2 points by rayhaanj 3 months ago \| past
		Viper: Verification Infrastructure for Permission-Based Reasoning (ethz.ch)
		2 points by leonry 4 months ago \| past
		Putting out the hardware dumpster fire [pdf] (ethz.ch)
		2 points by fanf2 5 months ago \| past
		The General Theory of Employment, Interest and Money, John Maynard Keynes (1936) [pdf] (ethz.ch)
		3 points by sandwichsphinx 6 months ago \| past
		"Writing reviews for systems conferences" Timothy Roscoe (2007) [pdf] (ethz.ch)
		1 point by sandwichsphinx 6 months ago \| past
		Breaking the Barrier (ethz.ch)
		3 points by pvg 6 months ago \| past
		Evaluation of Rowhammer solutions in DDR5 [pdf] (ethz.ch)
		2 points by swarcher 6 months ago \| past
		One-way street for sound waves (ethz.ch)
		2 points by exz 6 months ago \| past
		ETHZ and EPFL Announce the Swiss National AI Institute (SNAI) (ethz.ch)
		3 points by etoulas 7 months ago \| past \| 1 comment
		Does ignorance promote norm compliance? (ethz.ch)
		2 points by rzk 7 months ago \| past
		Breaking Cryptography in the Wild: Wire (2023) (ethz.ch)
		1 point by ysnp 7 months ago \| past
		New research infrastructure: 'Alps' supercomputer inaugurated (ethz.ch)
		3 points by hubraumhugo 7 months ago \| past
		Artificial muscles propel a robotic leg to walk and jump (ethz.ch)
		2 points by geox 8 months ago \| past
		Predicting Program Properties from Big Code (ethz.ch)
		1 point by johnnyballgame 8 months ago \| past
		Iron as an inexpensive storage medium for hydrogen (ethz.ch)
		160 points by bornelsewhere 8 months ago \| past \| 101 comments
		ETH Zurich Computer Architecture Lecture Playlist (ethz.ch)
		6 points by transpute 8 months ago \| past \| 1 comment
		More