Hacker News
- A Tale of Two Mice: Sustainable Electronics Design and Prototyping [pdf] https://homes.cs.washington.edu/~vsiyer/Papers/biomouse-chi22.pdf 12 comments
- A Case for an Open Source CS Curriculum [pdf] (2018) https://homes.cs.washington.edu/~tom/talks/edslides.pdf 14 comments
- Reticle: Virtual Machine for Programming Modern FPGAs [pdf] https://homes.cs.washington.edu/~vegaluis/pubs/pldi21_vega_reticle.pdf 8 comments
- MusicNet (2016) https://homes.cs.washington.edu/~thickstn/musicnet.html 6 comments
- Entropy: An Introduction https://homes.cs.washington.edu/~ewein/blog/2020/07/14/entropy/ 32 comments
- Unifying Logical and Statistical AI (2006) [pdf] https://homes.cs.washington.edu/~pedrod/papers/aaai06c.pdf 4 comments
- Coordination-Free Consistent Transactions Using In-Network Concurrency Control [pdf] https://homes.cs.washington.edu/~lijl/papers/eris-sosp17.pdf 2 comments
- SMT Solving on an iPhone https://homes.cs.washington.edu/~bornholt/post/z3-iphone.html 35 comments
- Building a Program Synthesizer https://homes.cs.washington.edu/~bornholt/post/building-synthesizer.html 24 comments
- Generalized Data Structure Synthesis [pdf] https://homes.cs.washington.edu/~mernst/pubs/generalized-synthesis-icse2018.pdf 2 comments
- LoRa Backscatter [pdf] https://homes.cs.washington.edu/~gshyam/Papers/loRaBackscatter.pdf 39 comments
- Barriers to Equality in Academia: Women in Computer Science at MIT (1983) https://homes.cs.washington.edu/~lazowska/mit/ 33 comments
- Storing Data in DNA [pdf] https://homes.cs.washington.edu/~luisceze/publications/dnastorage-asplos16.pdf 17 comments
- Introduction to Boosted Trees [pdf] http://homes.cs.washington.edu/~tqchen/data/pdf/BoostedTree.pdf 10 comments
- Rule Induction and Instance Based Learning – A Unified Approach (1995) [pdf] http://homes.cs.washington.edu/~pedrod/papers/ijcai95.pdf 3 comments
- Function Inheritance Is Fun and Easy http://homes.cs.washington.edu/~asampson/blog/functioninheritance.html 7 comments
- Rosette – A solver-aided programming language http://homes.cs.washington.edu/~emina/rosette/ 2 comments
- A Few Useful Things to Know about Machine Learning [pdf] https://homes.cs.washington.edu/~pedrod/papers/cacm12.pdf 18 comments
- Classless OOP [pdf] http://homes.cs.washington.edu/~djg/teachingMaterials/gpl/lectures/lec26.pdf 13 comments
- A Few Useful Things to Know about Machine Learning [pdf] http://homes.cs.washington.edu/~pedrod/papers/cacm12.pdf 3 comments
- An FPGA Is an Impoverished Accelerator http://homes.cs.washington.edu/~asampson/blog/fpga.html 39 comments
- How Not to Measure Computer System Performance https://homes.cs.washington.edu/~bornholt/post/performance-evaluation.html 13 comments
- Hooknook: Like GitHub Pages for Your Server http://homes.cs.washington.edu/~asampson/blog/hooknook.html 2 comments
- Ambient Backscatter: Wireless Communication Out of Thin Air [pdf] http://homes.cs.washington.edu/~gshyam/Papers/amb.pdf 42 comments
- Supposed to make a neural network for university project, don't know where to start. https://homes.cs.washington.edu/~ranjay/visualgenome/index.html 6 comments learnmachinelearning
- how to write tech paper https://homes.cs.washington.edu/~mernst/advice/write-technical-paper.html 8 comments compsci
- The Unix Haters' Handbook (Take it with many grains of salt) https://homes.cs.washington.edu/~weise/unix-haters.html 71 comments linux
- SMT Solving on an iPhone - Why buy an expensive desktop computer when your iPhone is a faster SMT solver? https://homes.cs.washington.edu/~bornholt/post/z3-iphone.html 50 comments programming
- SMT Solving is fast on an iPhone https://homes.cs.washington.edu/~bornholt/post/z3-iphone.html 19 comments hardware
- Building a program synthesis tool to generate programs from specifications https://homes.cs.washington.edu/~bornholt/post/building-synthesizer.html 33 comments programming
- Elementary Number Theory in a Proof Assistant https://homes.cs.washington.edu/~thickstn/docs/lean.pdf 10 comments math
- Dependent Case Analysis in Coq without Axioms https://homes.cs.washington.edu/~jrw12/dep-destruct.html 4 comments coq
- MapReduce: A major step backwards https://homes.cs.washington.edu/~billhowe/mapreduce_a_major_step_backwards.html 41 comments programming
- Exercises on Generalizing the Induction Hypothesis https://homes.cs.washington.edu/~jrw12/InductionExercises.html 2 comments coq
- Dependent Case Analysis in Coq without Axioms http://homes.cs.washington.edu/~jrw12/dep-destruct.html 2 comments coq
- Why Is Snapchat So Popular? http://homes.cs.washington.edu/~yoshi/papers/snapchat-FC2014.pdf 18 comments startups
- How Not to Measure Computer System Performance https://homes.cs.washington.edu/~bornholt/post/performance-evaluation.html 3 comments programming