Search: cornell.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

The most dangerous code: Validating SSL certs in non-browser software (2012) [pdf]

5 months ago

14 points

212.

I survived the “Destroying Angel” (2006)

blog.mycology.cornell.edu

5 years ago

14 points

213.

ROSCoq – Robots Powered by Constructive Reals

11 years ago

14 points

214.

Russian trolls tried to distract voters with music tweets in 2016

news.cornell.edu

4 years ago

14 points

215.

Bar Induction Is Compatible with Constructive Type Theory [pdf]

7 years ago

14 points

216.

Scholarfy: bookmarklet to reclaim Google Scholar

cam.cornell.edu

14 years ago

13 points

217.

David Marr (father of the field of computational neuroscience)

kybele.psych.cornell.edu

17 years ago

13 points

218.

Magnetically regulated gene therapy offers precise brain-circuit control

news.weill.cornell.edu

2 years ago

13 points

219.

Chemists cook up three atom-thick electronic sheets

news.cornell.edu

11 years ago

13 points

220.

Networks, Crowds, and Markets: Reasoning About a Highly Connected World

17 years ago

13 points

221.

Private equity ownership of nursing homes linked to lower quality of care

news.weill.cornell.edu

5 years ago

13 points

222.

Cornell Study Favors Open Plan Offices

iwsp.human.cornell.edu

12 years ago

12 points

223.

Bril: An Intermediate Language for Teaching Compilers

2 years ago

12 points

224.

Puzzles and Paradoxes in Mathematical Induction [pdf]

math.cornell.edu

11 years ago

12 points

225.

Efficient Reconciliation and Flow Control for Anti-Entropy Protocols

16 years ago

12 points

226.

Cornell "Designing with Microcontrollers" Class Final Projects

instruct1.cit.cornell.edu

17 years ago

11 points

227.

China’s segregated school system hinders migrants

news.cornell.edu

4 years ago

11 points

228.

Haskell Logo Contest Results

17 years ago

10 points

229.

Flattening ASTs and other compiler data structures (2023)

2 years ago

10 points

230.

International partnership aims to improve sorghum breeding

news.cornell.edu

4 years ago

10 points

231.

Thompson’s Group F (2004) [pdf]

pi.math.cornell.edu

3 years ago

10 points

232.

Reticle: A Virtual Machine for Programming Modern FPGAs [pdf]

5 years ago

10 points

233.

Nexus: An Operating System for Trustworthy Computing

17 years ago

9 points

234.

Carbon dioxide – not water – triggers explosive volcanoes

news.cornell.edu

3 years ago

9 points

235.

The Incomplete Guide to the Art of Discovery (1991)

ecommons.cornell.edu

11 years ago

9 points

236.

Quantum Computer Science (2007)

lassp.cornell.edu

11 years ago

9 points

237.

Tool Transforms World Landmark Photos into 4D Experiences

news.cornell.edu

6 years ago

9 points

238.

The Cult of Posits

6 years ago

8 points

239.

ArXiv Business Model

confluence.cornell.edu

13 years ago

8 points

240.

New French Fries Don't Need Freezing or Refrigeration

news.cornell.edu

5 years ago

7 points