Instagram tests new limits on what types of posts teens can 'repeatedly' see
Types and Neural Networks
Category Theory Illustrated – Types
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
Google VP warns that two types of AI startups may not survive
Stop Using Pseudo-Types
Three types of LLM workloads and how to serve them
Understanding the Types of Data in Data
T-Ruby is Ruby with syntax for types
Set theory with types
Nonprofit news outlets of all types are enjoying revenue growth — but those that focus specifically on local news, rather than state, national, or global news, are doing especially well
The Morning After: Amazon’s Kindle Scribe Colorsoft fuses two types of ereader
Extreme branchless: Expr without GADTs or sum-types
AI system learns from many types of scientific information and runs experiments to discover new materials
The attr() function in CSS now supports types
Verified dynamic programming with Σ-types in Lean
Brown fat “repressor” protein targets cancer-related weight loss | The discovery opens the door to developing treatments for the extreme weight loss, muscle wasting, and malnutrition seen in some types of cancer.
Types of optical systems in a lens designer's toolbox (2020)
Propositions as Types (2014) [pdf]
Handheld detector for all types of ionizing radiation improves radiation safety
