Introduction to Homotopy Type Theory
|
|
1
|
352
|
22 December 2022
|
Type-Level TypeScript
|
|
1
|
488
|
23 September 2022
|
Python Type Hints are Turing Complete
|
|
1
|
564
|
12 September 2022
|
An essential overview on the most-used barcode types
|
|
2
|
578
|
10 September 2022
|
Giant Keyboard Is Just Our Type
|
|
1
|
380
|
30 August 2022
|
Every action you take is a vote for the type of person you wish to become
|
|
1
|
386
|
27 August 2022
|
Type Checking in Whiley goes Both Ways
|
|
1
|
411
|
23 June 2022
|
SteelSeries’ wireless mechanical keyboard can type 2 things with 1 keypress
|
|
1
|
407
|
22 June 2022
|
Typeish: A runtime type checker for bash.... in bash
|
|
1
|
439
|
20 June 2022
|
The Hidden Dangers of Haskell's Ratio Type
|
|
1
|
597
|
25 May 2022
|
Some top 100,000 websites collect everything you type—before you hit submit
|
|
1
|
398
|
15 May 2022
|
A Flexible Type System for Fearless Concurrency
|
|
1
|
553
|
13 May 2022
|
Erlang: Type-Based Optimizations in the JIT
|
|
1
|
530
|
26 April 2022
|
Sorbet: Stripe's Type Checker for Ruby
|
|
1
|
536
|
30 March 2022
|
Microsoft announces progress on a completely new type of qubit
|
|
1
|
491
|
16 March 2022
|
A complete guide to TypeScript’s never type
|
|
1
|
768
|
12 March 2022
|
A Proposal For Type Syntax in JavaScript
|
|
1
|
720
|
11 March 2022
|
Keyboard lets people type so fast it’s banned from typing competitions
|
|
7
|
1345
|
7 January 2022
|
Type: A Directed Typing Experiment (demo)
|
|
1
|
643
|
4 January 2022
|
Untapped potential in Rust's type system
|
|
1
|
496
|
16 June 2021
|
Introduction to Type Systems (2020)
|
|
1
|
442
|
26 May 2021
|