Hacker News new | comments | show | ask | jobs | submit | from login
State governments' internet footprints reveal what they do and how they differ (washington.edu)
1 point by mikk14 5 days ago | past | web | discuss
Lazier than Lazy Greedy (washington.edu)
3 points by sytelus 8 days ago | past | web | discuss
Coordination-Free Consistent Transactions Using In-Network Concurrency Control [pdf] (washington.edu)
20 points by gbrown_ 14 days ago | past | web | 2 comments
SMT Solving on an iPhone (washington.edu)
174 points by sidereal 16 days ago | past | web | 35 comments
Generalized Data Structure Synthesis (SIGSOFT Distinguished Paper) [pdf] (washington.edu)
4 points by espeed 28 days ago | past | web
Researchers Develop 3D Printed Objects That Can Track and Store How They Are Use (washington.edu)
2 points by nopacience 37 days ago | past | web
Researchers Develop 3D Printed Objects That Can Track and Store How They Are Use (washington.edu)
1 point by nopacience 37 days ago | past | web
The Language and Notation of Nonlinear Optimization [pdf] (washington.edu)
1 point by sonabinu 41 days ago | past | web
CSE455 – Computer Vision course taught by creator of YOLO algorithm (washington.edu)
3 points by samuelg123 41 days ago | past | web
Framework for Design and Verification of Information Flow Control Systems [pdf] (washington.edu)
2 points by ingve 42 days ago | past | web
Liftoff of a 190 Mg Laser-Powered Aerial Vehicle: Lightest Wireless Robot to Fly [pdf] (washington.edu)
2 points by lainon 44 days ago | past | web
ADINT: Using Targeted Advertising for Personal Surveillance (2017) (washington.edu)
2 points by lainon 57 days ago | past | web
Hyperkernel – A push-button approach to building provably correct OS kernels (washington.edu)
168 points by lainon 72 days ago | past | web | 45 comments
Finding Code That Explodes Under Symbolic Evaluation [pdf] (washington.edu)
6 points by lainon 72 days ago | past | web
KOMA-Script: a versatile LATEX 2ε bundle [pdf] (washington.edu)
2 points by Tomte 76 days ago | past | web
Computational Design for the Next Manufacturing Revolution [pdf] (washington.edu)
1 point by snaky 85 days ago | past | web
Memory Consistency Models: A Tutorial (washington.edu)
2 points by aturley 3 months ago | past | web
Alexa, be my friend: Children talk to technology, but how does it respond? (washington.edu)
73 points by rbanffy 3 months ago | past | web | 75 comments
Why Women Should Code [pdf] (washington.edu)
1 point by seanmcdirmid 3 months ago | past | web
Can you train a neural network using an SMT solver? (washington.edu)
5 points by sidereal 3 months ago | past | web
The Unix-Haters Handbook (1994) (washington.edu)
6 points by mindB 3 months ago | past | web | 1 comment
'Difficult and Dangerous' Work Raises Health Risks for Alaska Salmon Fishermen (washington.edu)
1 point by DoreenMichele 4 months ago | past | web
Battling STEM Stereotypes, UW’s Sapna Cheryan Helps Barbie Evolve (washington.edu)
1 point by newman8r 4 months ago | past | web
Building a Program Synthesizer (washington.edu)
132 points by sidereal 4 months ago | past | web | 24 comments
Interface: Contexualizing the work place of software design in Seattle (washington.edu)
2 points by pnathan 4 months ago | past | web
Value-Suppressing Uncertainty Palettes [pdf] (washington.edu)
1 point by jxub 4 months ago | past | web
Story and Lessons Behind the Evolution of XGBoost (washington.edu)
1 point by sonabinu 4 months ago | past | web
Generalized Data Structure Synthesis [pdf] (washington.edu)
4 points by ketralnis 4 months ago | past | web | 2 comments
802.11 with Multiple Antennas for Dummies (2009) [pdf] (washington.edu)
98 points by gballan 5 months ago | past | web | 10 comments
Soccer on Your Tabletop (washington.edu)
25 points by lainon 5 months ago | past | web | 11 comments
More

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

Search: