|
Type Systems for Memory Safety
|
|
0
|
54
|
18 September 2023
|
|
A Different Type of SQL Recursion with PostgreSQL
|
|
0
|
59
|
17 September 2023
|
|
Functions and algorithms implemented purely with TypeScript's type system
|
|
0
|
107
|
5 July 2023
|
|
Elixir: Type system updates: moving from research into development
|
|
0
|
118
|
3 July 2023
|
|
Building Type-safe GraphQL Schemas with TypeScript
|
|
0
|
118
|
29 June 2023
|
|
A few words on Ruby's type annotations state
|
|
1
|
226
|
6 May 2023
|
|
The different uses of Python type hints
|
|
1
|
216
|
6 April 2023
|
|
Type Specialization in Go
|
|
1
|
269
|
5 April 2023
|
|
Svelte: Zero-effort type safety
|
|
1
|
264
|
10 March 2023
|
|
Reveal type in Crystal
|
|
1
|
222
|
6 March 2023
|
|
The Usability of Advanced Type Systems: Rust as a Case Study
|
|
1
|
213
|
22 February 2023
|
|
How Austral’s Linear Type Checker Works
|
|
1
|
195
|
29 January 2023
|
|
The type system is a programmer's best friend
|
|
1
|
203
|
14 January 2023
|
|
Type-safe React Query
|
|
1
|
231
|
8 January 2023
|
|
Introduction to Homotopy Type Theory
|
|
1
|
201
|
22 December 2022
|
|
Type-Level TypeScript
|
|
1
|
335
|
23 September 2022
|
|
Python Type Hints are Turing Complete
|
|
1
|
396
|
12 September 2022
|
|
An essential overview on the most-used barcode types
|
|
2
|
391
|
10 September 2022
|
|
Giant Keyboard Is Just Our Type
|
|
1
|
243
|
30 August 2022
|
|
Every action you take is a vote for the type of person you wish to become
|
|
1
|
270
|
27 August 2022
|
|
Type Checking in Whiley goes Both Ways
|
|
1
|
298
|
23 June 2022
|
|
SteelSeries’ wireless mechanical keyboard can type 2 things with 1 keypress
|
|
1
|
290
|
22 June 2022
|
|
Typeish: A runtime type checker for bash.... in bash
|
|
1
|
292
|
20 June 2022
|
|
The Hidden Dangers of Haskell's Ratio Type
|
|
1
|
425
|
25 May 2022
|
|
Some top 100,000 websites collect everything you type—before you hit submit
|
|
1
|
291
|
15 May 2022
|
|
A Flexible Type System for Fearless Concurrency
|
|
1
|
396
|
13 May 2022
|
|
Erlang: Type-Based Optimizations in the JIT
|
|
1
|
404
|
26 April 2022
|
|
Sorbet: Stripe's Type Checker for Ruby
|
|
1
|
425
|
30 March 2022
|
|
Microsoft announces progress on a completely new type of qubit
|
|
1
|
360
|
16 March 2022
|
|
A complete guide to TypeScript’s never type
|
|
1
|
530
|
12 March 2022
|
