Hacker News
- Schrödinger's CRCs (2010) https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.178.4330&rep=rep1&type=pdf 5 comments
- Oberon – The Overlooked Jewel (2000) [pdf] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.7173&rep=rep1&type=pdf 23 comments
- Why Functional Programming Matters [pdf] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.63.7911&rep=rep1&type=pdf 3 comments
- Why you should never, ever, ever use fibonacci for benchmarking http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4124 18 comments
- Y in Practical Programs [pdf] http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=599706815304116F92FE8C621F8C0F45?doi=10.1.1.16.3065&rep=rep1&type=pdf 2 comments
Lobsters
- Dynamically Scoped Functions as the Essence of AOP (2003) https://citeseerx.ist.psu.edu/document?doi=8914f753f0965810c0a75df2d34a637a176ea20b 2 comments lisp , pdf , plt
- What's the modern idiomatic way to write this? / Inductive typeclasses with Nat https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.22.2636&rep=rep1&type=pdf 6 comments haskell
- Interesting read on the history of Television and the NBA. Discussions about shortened seasons and complaints about commentators have existed since the 60’s. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.26.1281&rep=rep1&type=pdf#page36 5 comments nba
- History of Homological Algebra by Charles Weibel (pdf) http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.155.2773&rep=rep1&type=pdf 5 comments math
- [D] In TD learning is there a way to have the network predict the scale of the reward and take advantage of that? http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.452.7280&rep=rep1&type=pdf 7 comments reinforcementlearning
- Why the question of free will cannot arise in Buddhist philosophy - Jay Garfield http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.641.5781&rep=rep1&type=pdf 14 comments philosophy
- Modern Irish: A Case Study in Language Revival Failure (Carnie, 1995) http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.505.8352&rep=rep1&type=pdf 31 comments linguistics
- Paper on N-version Polyglot programming? http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.363 4 comments compsci
- "A Defense of Quinean Naturalism" by Lars Bergström http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.574.3964&rep=rep1&type=pdf 3 comments philosophy
- 'My body has a mind of its own' - Daniel C. Dennett http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.488.8473&rep=rep1&type=pdf 52 comments philosophy
- Essentials of Standard ML Modules http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.208.9430&rep=rep1&type=pdf 3 comments sml
- Is there a (free) application that visualizes the vowels you're pronouncing in real time? http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.130.7673&rep=rep1&type=pdf 12 comments linguistics
- Hundreds of Impossibility Results for Distributed Computing http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.9472 5 comments compsci
- Manually mount LUKS Enc. drive with key. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.87.7761&rep=rep1&type=pdf 4 comments linux
- My new favorite paper: Pessimal Algorithms and Simplexity Analysis [PDF] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.116.9158&rep=rep1&type=pdf 44 comments programming
- Occam's Hammer http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.8836 3 comments math
- What about the ImplicitParams Haskell Language Extension? http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.9849 17 comments haskell
- Automated Antenna Design with Evolutionary Algorithms [PDF] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.102.9841&rep=rep1&type=pdf 4 comments compsci
- What is the difference between proofs and programs? [pdf] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.59.4712&rep=rep1&type=pdf 5 comments compsci
- Model Problems in PDE-Constrained Optimization [PDF] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.122.1838&rep=rep1&type=pdf 3 comments math
- On Killing a Hydra [pdf] http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=796e15ef424dfeb6490fa19284a73724?doi=10.1.1.86.7871&rep=rep1&type=pdf 3 comments compsci
- The Haskell Road to Logic, Math and Programming [pdf] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.137.9312&rep=rep1&type=pdf 5 comments haskell
- The Yampa Arcade: Implementing Space Invaders with Functional Reactive Programming [PDF] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.8016&rep=rep1&type=pdf&rct=j&q=yampa%20arcade&ei=p2b6tpv4hmoblae0luw4da&usg=afqjcneiw_izq9qag-jc8rbgfx9981rjbw&sig2=k1v5vp6kh16b3u0-wnv00w 11 comments gamedev
- "Nobody had thought about the moon when specifying how the [nuclear missile warning] system should act." [PDF] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.92.105&rep=rep1&type=pdf 11 comments programming
- Why Functional Programming Matters [free pdf download] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.63.7911&rep=rep1&type=pdf 68 comments programming
- Putting Curry-Howard to work (Ωmega is a haskell-like language with dependent types). http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.8326 10 comments programming
- Why you should never, ever, ever use fibonacci for benchmarking http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4124 5 comments haskell
- "The use of Haskell was suggested by Edsger W. Dijkstra": Enumerating the Strings of a Regular Expression http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5185 7 comments haskell
- How Prolog was used for the development of Erlang http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.3972 5 comments programming
- Collecting More Garbage http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.1254 3 comments haskell
- CiteSeerX - Scientific Literature Digital Library and Search Engine http://citeseerx.ist.psu.edu/ 6 comments programming
- Optimizing direct threaded code by selective inlining http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.23.8829&rep=rep1&type=pdf 4 comments compsci
- Combining analyses, combining optimizations: Constant Propagation, Unreachable Code Elimination, Global Congruence Finding and Global Value Numbering in one pass http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.8510 12 comments programming
Lambda the Ultimate
- Parametric Prediction of Heap Memory Requirements http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.7116 2 comments OOP , Theory
- Automatic Staged Compilation http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.6636 0 comments Implementation , Theory
- Revisiting Coroutines http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.4017 12 comments Semantics , Theory