Hacker News
- Golden Rules of Interface Design (2013) https://www.cs.umd.edu/~ben/goldenrules.html 166 comments
- Revisit Trusting trustlessness? exploits in curve and polynetwork [pdf] https://www.cs.umd.edu/~gasarch/BLOGPAPERS/cbit-4-2.pdf 7 comments
- Social processes and proofs of theorems and programs (1979) [pdf] https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf 7 comments
- Investigating Influencer VPN Ads on YouTube [pdf] https://www.cs.umd.edu/~dml/papers/vpn-ads-oakland22.pdf 74 comments
- Compiler Development with Racket https://www.cs.umd.edu/class/fall2021/cmsc430/Intro.html 2 comments
- Spying with Your Robot Vacuum Cleaner: Eavesdropping via Lidar Sensors [pdf] https://www.cs.umd.edu/~nirupam/images/2_publication/papers/LidarPhone_SenSys20_nirupam.pdf 68 comments
- Tutorial on Good Lisp Programming Style (1993) [pdf] https://www.cs.umd.edu/~nau/cmsc421/norvig-lisp-style.pdf 32 comments
- Achieving Safety Incrementally with Checked C https://www.cs.umd.edu/~mwh/papers/ruef18checkedc-incr.html 21 comments
- The P=?NP Poll (2002) [pdf] http://www.cs.umd.edu/~gasarch/papers/poll.pdf 83 comments
- Loop Unrolling https://www.cs.umd.edu/class/fall2001/cmsc411/proj01/proja/loop.html 4 comments
- Setuid Demystified [pdf] http://www.cs.umd.edu/~jkatz/TEACHING/comp_sec_F04/downloads/setuid.pdf 2 comments
- History of the treemap filesystem viewers http://www.cs.umd.edu/hcil/treemap-history/index.shtml 10 comments
Lobsters
- Investigating Influencer VPN Ads on YouTube https://www.cs.umd.edu/~dml/papers/vpn-ads-oakland22.pdf 2 comments networking , pdf , security
- Locksmith - Practical, Static, Race Detection for C http://www.cs.umd.edu/~mwh/papers/locksmith-journal.pdf 2 comments c , compsci , pdf
- The Magic of XOR https://www.cs.umd.edu/class/sum2003/cmsc311/Notes/BitOp/xor.html 5 comments math
- The original Waterfall paper was anti-Waterfall? (1970) https://www.cs.umd.edu/class/spring2003/cmsc838p/Process/waterfall.pdf 12 comments pdf , practices , programming
- The Need for a More Complex Class of Functions https://www.cs.umd.edu/~kulaksor/complex_funcs.md.html 39 comments programming
- Verifying Typeclasses with Refinement Types https://www.cs.umd.edu/~mwh/papers/lh-typeclasses-draft.pdf 10 comments haskell
- Verified Quantum Computing http://www.cs.umd.edu/~rrand/vqc/ 2 comments coq
- Bill Gasarch has published a new poll on P versus NP. 88% of respondents believe P≠NP (2002: 61%, 2012: 83%). https://www.cs.umd.edu/users/gasarch/blogpapers/pollpaper3.pdf 62 comments programming
- Achieving Safety Incrementally with Checked C https://www.cs.umd.edu/~mwh/papers/ruef18checkedc-incr.html 107 comments programming
- Rust being taught at University of Maryland, College Park! https://www.cs.umd.edu/class/spring2018/cmsc330/ 18 comments rust
- The Relationship Between COBOL and Computer Science https://www.cs.umd.edu/~ben/papers/schneiderman1985relationship.pdf 24 comments programming
- TIL the terms Big-Endian and Little-Endian were borrowed from Gulliver's Travels to describe bit order in Computer Architecture https://www.cs.umd.edu/class/sum2003/cmsc311/Notes/Data/endian.html 54 comments programmertil
- Practically Accurate Floating-Point Math [PDF] http://www.cs.umd.edu/~ntoronto/papers/toronto-2014cise-floating-point.pdf 47 comments programming
- (pdf) Tutorial on Good Lisp Programming Style by Norvig & Pitman (circa 1992-3) http://cs.umd.edu/~nau/cmsc421/norvig-lisp-style.pdf 10 comments programming
- Permacoin: proof-of-storage as a mining algo, with a clever signature scheme to prevent outsourcing http://cs.umd.edu/~amiller/permacoin.pdf 13 comments ethereum
- “Understanding the Stack” http://www.cs.umd.edu/class/spring2003/cmsc311/notes/mips/stack.html 12 comments programming
- Optimal solution to Google's Egg Game http://www.cs.umd.edu/~gordon/ysp/egg.pdf 23 comments compsci
- Lightweight Monadic Programming in ML http://www.cs.umd.edu/~mwh/papers/swamy11monad.html 4 comments programming
- Is Code Optimization Research Relevant? [pdf] http://www.cs.umd.edu/~pugh/iscodeoptimizationrelevant.pdf 39 comments programming
- Diamondback Ruby: static type inference system for Ruby and program analysis framework in OCaml http://www.cs.umd.edu/projects/pl/druby/ 10 comments programming
- HCI User Advocate discusses some issues with the Windows 7 taskbar http://www.cs.umd.edu/~bederson/user-advocate/2009/01/windows-7-taskbar-so-close.html 20 comments programming
- Treemaps for space-constrained visualization of hierarchies http://www.cs.umd.edu/hcil/treemap-history/ 3 comments programming
- Did you know about the Treemap data visualisation method? http://www.cs.umd.edu/hcil/treemap-history/index.shtml 2 comments science
- Tutorial on Good Lisp Programming Style (by Peter Norvig) http://www.cs.umd.edu/~nau/cmsc421/norvig-lisp-style.pdf#search=%22good%20lisp%20programming%22 11 comments programming
Lambda the Ultimate
- Lightweight Monadic Programming in ML http://www.cs.umd.edu/~mwh/papers/swamy11monad.html 35 comments Category Theory , Functional , Implementation , Semantics , Type Theory
- An Interview with the Diamondback Ruby Team http://www.cs.umd.edu/projects/PL/druby/index.html 1 comment Ruby , Type Theory
- The Java Memory Model http://www.cs.umd.edu/~pugh/java/memoryModel/ 0 comments general
- How To Steal Code or Inventing The Wheel Only Once http://www.cs.umd.edu/users/cml/cstyle/steal.html 10 comments Software-Eng