|
Type-Level TypeScript
|
|
1
|
44
|
23 September 2022
|
|
Python Type Hints are Turing Complete
|
|
1
|
88
|
12 September 2022
|
|
An essential overview on the most-used barcode types
|
|
2
|
101
|
10 September 2022
|
|
Giant Keyboard Is Just Our Type
|
|
1
|
61
|
30 August 2022
|
|
Every action you take is a vote for the type of person you wish to become
|
|
1
|
74
|
27 August 2022
|
|
Type Checking in Whiley goes Both Ways
|
|
1
|
88
|
23 June 2022
|
|
SteelSeries’ wireless mechanical keyboard can type 2 things with 1 keypress
|
|
1
|
93
|
22 June 2022
|
|
Typeish: A runtime type checker for bash.... in bash
|
|
1
|
91
|
20 June 2022
|
|
The Hidden Dangers of Haskell's Ratio Type
|
|
1
|
167
|
25 May 2022
|
|
Some top 100,000 websites collect everything you type—before you hit submit
|
|
1
|
102
|
15 May 2022
|
|
A Flexible Type System for Fearless Concurrency
|
|
1
|
159
|
13 May 2022
|
|
Erlang: Type-Based Optimizations in the JIT
|
|
1
|
186
|
26 April 2022
|
|
Sorbet: Stripe's Type Checker for Ruby
|
|
1
|
191
|
30 March 2022
|
|
Microsoft announces progress on a completely new type of qubit
|
|
1
|
160
|
16 March 2022
|
|
A complete guide to TypeScript’s never type
|
|
1
|
254
|
12 March 2022
|
|
A Proposal For Type Syntax in JavaScript
|
|
1
|
247
|
11 March 2022
|
|
Keyboard lets people type so fast it’s banned from typing competitions
|
|
7
|
571
|
7 January 2022
|
|
Type: A Directed Typing Experiment (demo)
|
|
1
|
271
|
4 January 2022
|
|
Untapped potential in Rust's type system
|
|
1
|
258
|
16 June 2021
|
|
Introduction to Type Systems (2020)
|
|
1
|
229
|
26 May 2021
|
