Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
The Geometry of Schemes [pdf] (ed.ac.uk)
64 points by measurablefunc 24 days ago | past | 22 comments
Before Haskell, there was the Orwell programming language [pdf] (ed.ac.uk)
4 points by KnuthIsGod 44 days ago | past | 1 comment
Programming Language Foundations in Agda (ed.ac.uk)
2 points by amir 69 days ago | past
Initial findings from the DecodeME genome-wide association study of ME/CFS (ed.ac.uk)
4 points by gnabgib 3 months ago | past
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement (ed.ac.uk)
7 points by matt_d 4 months ago | past | 1 comment
New vaccine protects babies from serious lung infection (ed.ac.uk)
7 points by geox 4 months ago | past | 1 comment
Propositions as Types (2014) [pdf] (ed.ac.uk)
108 points by nill0 6 months ago | past | 75 comments
Fear and loathing of the English passive [pdf] (ed.ac.uk)
7 points by fanf2 7 months ago | past
The Land of the Free and the Elements of Style (2010) (ed.ac.uk)
2 points by Tomte 8 months ago | past
Wigner: Unreasonable Effectivenss of Mathematics in the Natural Sciences [pdf] (ed.ac.uk)
1 point by Anon84 8 months ago | past | 1 comment
Image Processing in C (2000) [pdf] (ed.ac.uk)
139 points by nill0 8 months ago | past | 26 comments
Letter from Turing (and Others at Bletchley Park) to Churchill [pdf] (ed.ac.uk)
1 point by invalidOrTaken 10 months ago | past
Lost score revives sound of music from centuries past (ed.ac.uk)
2 points by geox 10 months ago | past
The Cognitive Style of PowerPoint (2006) [pdf] (ed.ac.uk)
132 points by raviisoccupied 10 months ago | past | 75 comments
Axiomatic Set Theory (Tom Leinster) [pdf] (ed.ac.uk)
2 points by bikenaga 11 months ago | past
AI-powered blood test spots earliest breast cancer signs (ed.ac.uk)
1 point by gmays 11 months ago | past
We could write nearly perfect software but we choose not to (ed.ac.uk)
14 points by _27 on Oct 1, 2024 | past | 6 comments
Edinburgh U: UV rays may boost health in low-sunlight countries, study finds (ed.ac.uk)
2 points by janandonly on Aug 21, 2024 | past
Monads for Functional Programming [pdf] (ed.ac.uk)
2 points by ibobev on July 22, 2024 | past
Punctuation and human freedom (1984) [pdf] (ed.ac.uk)
2 points by Tomte on May 14, 2024 | past
Scooping the Loop Snooper (2000) (ed.ac.uk)
80 points by soferio on April 23, 2024 | past | 15 comments
Peter Higgs, who predicted the existence of the Higgs Boson, has died at 94 (ed.ac.uk)
1 point by nithinj on April 15, 2024 | past | 1 comment
Statement on the Death of Professor Peter Higgs from The University of Edinburgh (ed.ac.uk)
1 point by crescit_eundo on April 9, 2024 | past | 1 comment
Reflection Toolkit (ed.ac.uk)
1 point by mooreds on April 1, 2024 | past
Letter to Winston Churchill – Turing et al. (1941) [pdf] (ed.ac.uk)
3 points by georgecmu on Feb 25, 2024 | past
Ultra-hard material(carbon nitrides) to rival diamond discovered (ed.ac.uk)
3 points by Tade0 on Feb 21, 2024 | past
A prettier printer by Philip Wadler (2002) [pdf] (ed.ac.uk)
2 points by stefankuehnel on Feb 20, 2024 | past
Letter from Alan Turing, WGW, CHOA, and PSMBM to Winston Churchill (1941) [pdf] (ed.ac.uk)
1 point by wslh on Jan 28, 2024 | past
Notes on "Enabling Constraints" (ed.ac.uk)
1 point by notarobot123 on Jan 22, 2024 | past
New device could replace animals used in drug and chemical safety testing (ed.ac.uk)
4 points by helsinkiandrew on Dec 27, 2023 | past | 1 comment

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

Search: