Hacker News
- Where do type systems come from? (2017) http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from 185 comments
- Where Do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/ 164 comments
Lobsters
- Where do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from 21 comments compsci , programming
- Limitations in rust's type system when it comes to supporting commutative mathematical operations https://neosmart.net/blog/2022/prettysize-0-3-release-and-a-weakness-in-rusts-type-system/ 6 comments api , plt , rust
- Where do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from/ 21 comments programming
- Is there anyway using the rust type system to annotate that two pointers/slices come from the same buffer? https://stackoverflow.com/questions/36382190/rust-is-there-an-opposite-for-split-at-mut-i-e-join-mut 10 comments rust
- A sound static type system comes to Dart http://news.dartlang.org/2016/11/dart-strong-mode-and-ahead-of-time_30.html 11 comments programming
- Dart 2.0 is coming: Strong mode becomes the standard type system for Dart https://jaxenter.com/dart-2-0-strong-mode-135438.html 8 comments programming
- Hello r/statistics, I recently worked with one of my professors to come up with a type of modeling system, and wanted to know what y'all thought! https://drive.google.com/file/d/1iPvsoFPs8pKeTSzZDx3oIndNQMNPonN9/view?usp=sharing 10 comments statistics
- Several hospitals in Germany have come under attack by ransomware, a type of virus that locks files and demands cash to free data it maliciously encrypted. It will take weeks until all systems are up and running again http://www.dw.com/en/hackers-hold-german-hospital-data-hostage/a-19076030 3 comments worldnews
- A new era of CAPTCHA is coming: scientists create new sliding CAPTCHA system with >90% (vs current 76% rate) success rate and no need to type. http://phys.org/news/2012-12-minteye-no-type-captcha.html 3 comments science
- An MIT researcher has come up with a new computational model that can analyze any type of complex network -- biological, social or electronic -- and reveal the critical points that can be used to control the entire system http://feeds.sciencedaily.com/~r/sciencedaily/~3/roftef469cc/110512104220.htm 3 comments technology
- An MIT researcher has come up with a new computational model that can analyze any type of complex network -- biological, social or electronic -- and reveal the critical points that can be used to control the entire system http://feeds.sciencedaily.com/~r/sciencedaily/~3/roftef469cc/110512104220.htm 154 comments science