|
Svelte: Zero-effort type safety
|
|
1
|
128
|
10 March 2023
|
|
Reveal type in Crystal
|
|
1
|
94
|
6 March 2023
|
|
The Usability of Advanced Type Systems: Rust as a Case Study
|
|
1
|
120
|
22 February 2023
|
|
How Austral’s Linear Type Checker Works
|
|
1
|
99
|
29 January 2023
|
|
The type system is a programmer's best friend
|
|
1
|
117
|
14 January 2023
|
|
Type-safe React Query
|
|
1
|
117
|
8 January 2023
|
|
Introduction to Homotopy Type Theory
|
|
1
|
108
|
22 December 2022
|
|
Type-Level TypeScript
|
|
1
|
206
|
23 September 2022
|
|
Python Type Hints are Turing Complete
|
|
1
|
265
|
12 September 2022
|
|
An essential overview on the most-used barcode types
|
|
2
|
267
|
10 September 2022
|
|
Giant Keyboard Is Just Our Type
|
|
1
|
170
|
30 August 2022
|
|
Every action you take is a vote for the type of person you wish to become
|
|
1
|
179
|
27 August 2022
|
|
Type Checking in Whiley goes Both Ways
|
|
1
|
206
|
23 June 2022
|
|
SteelSeries’ wireless mechanical keyboard can type 2 things with 1 keypress
|
|
1
|
202
|
22 June 2022
|
|
Typeish: A runtime type checker for bash.... in bash
|
|
1
|
203
|
20 June 2022
|
|
The Hidden Dangers of Haskell's Ratio Type
|
|
1
|
312
|
25 May 2022
|
|
Some top 100,000 websites collect everything you type—before you hit submit
|
|
1
|
205
|
15 May 2022
|
|
A Flexible Type System for Fearless Concurrency
|
|
1
|
293
|
13 May 2022
|
|
Erlang: Type-Based Optimizations in the JIT
|
|
1
|
317
|
26 April 2022
|
|
Sorbet: Stripe's Type Checker for Ruby
|
|
1
|
327
|
30 March 2022
|
|
Microsoft announces progress on a completely new type of qubit
|
|
1
|
273
|
16 March 2022
|
|
A complete guide to TypeScript’s never type
|
|
1
|
401
|
12 March 2022
|
|
A Proposal For Type Syntax in JavaScript
|
|
1
|
397
|
11 March 2022
|
|
Keyboard lets people type so fast it’s banned from typing competitions
|
|
7
|
837
|
7 January 2022
|
|
Type: A Directed Typing Experiment (demo)
|
|
1
|
386
|
4 January 2022
|
|
Untapped potential in Rust's type system
|
|
1
|
356
|
16 June 2021
|
|
Introduction to Type Systems (2020)
|
|
1
|
314
|
26 May 2021
|
