|
Type Systems for Memory Safety
|
|
0
|
50
|
18 September 2023
|
|
A Different Type of SQL Recursion with PostgreSQL
|
|
0
|
53
|
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
|
224
|
6 May 2023
|
|
The different uses of Python type hints
|
|
1
|
211
|
6 April 2023
|
|
Type Specialization in Go
|
|
1
|
265
|
5 April 2023
|
|
Svelte: Zero-effort type safety
|
|
1
|
261
|
10 March 2023
|
|
Reveal type in Crystal
|
|
1
|
222
|
6 March 2023
|
|
The Usability of Advanced Type Systems: Rust as a Case Study
|
|
1
|
209
|
22 February 2023
|
|
How Austral’s Linear Type Checker Works
|
|
1
|
194
|
29 January 2023
|
|
The type system is a programmer's best friend
|
|
1
|
202
|
14 January 2023
|
|
Type-safe React Query
|
|
1
|
229
|
8 January 2023
|
|
Introduction to Homotopy Type Theory
|
|
1
|
198
|
22 December 2022
|
|
Type-Level TypeScript
|
|
1
|
332
|
23 September 2022
|
|
Python Type Hints are Turing Complete
|
|
1
|
395
|
12 September 2022
|
|
An essential overview on the most-used barcode types
|
|
2
|
387
|
10 September 2022
|
|
Giant Keyboard Is Just Our Type
|
|
1
|
242
|
30 August 2022
|
|
Every action you take is a vote for the type of person you wish to become
|
|
1
|
268
|
27 August 2022
|
|
Type Checking in Whiley goes Both Ways
|
|
1
|
297
|
23 June 2022
|
|
SteelSeries’ wireless mechanical keyboard can type 2 things with 1 keypress
|
|
1
|
289
|
22 June 2022
|
|
Typeish: A runtime type checker for bash.... in bash
|
|
1
|
291
|
20 June 2022
|
|
The Hidden Dangers of Haskell's Ratio Type
|
|
1
|
424
|
25 May 2022
|
|
Some top 100,000 websites collect everything you type—before you hit submit
|
|
1
|
290
|
15 May 2022
|
|
A Flexible Type System for Fearless Concurrency
|
|
1
|
393
|
13 May 2022
|
|
Erlang: Type-Based Optimizations in the JIT
|
|
1
|
403
|
26 April 2022
|
|
Sorbet: Stripe's Type Checker for Ruby
|
|
1
|
424
|
30 March 2022
|
|
Microsoft announces progress on a completely new type of qubit
|
|
1
|
359
|
16 March 2022
|
|
A complete guide to TypeScript’s never type
|
|
1
|
524
|
12 March 2022
|
