|
Type-Safe Printf() in TypeScript
|
|
0
|
90
|
24 March 2024
|
|
Differential: Type safe RPC that feels like local functions
|
|
0
|
73
|
9 March 2024
|
|
The hunt for the missing data type
|
|
0
|
95
|
5 March 2024
|
|
Type Erasure: The Implementation Details
|
|
0
|
97
|
20 February 2024
|
|
Magika: AI powered fast and efficient file type identification
|
|
0
|
98
|
16 February 2024
|
|
Elixir: Type system updates: moving from research into development
|
|
0
|
367
|
3 July 2023
|
|
Type information for faster Python C extensions
|
|
0
|
155
|
15 January 2024
|
|
Is Objective-C BOOL a boolean type? It depends
|
|
0
|
123
|
10 January 2024
|
|
Hamlet: A type-safe Haml template engine for Go
|
|
0
|
184
|
2 January 2024
|
|
What the heck is a homomorphic mapped type?
|
|
0
|
151
|
29 December 2023
|
|
My proof-of-concept record type
|
|
0
|
129
|
29 December 2023
|
|
Stable Diffusion XL Turbo can generate AI images as fast as you can type
|
|
0
|
142
|
1 December 2023
|
|
USB-C cable with the bandwidth and USB type imprinted on the connector
|
|
0
|
194
|
6 November 2023
|
|
A new F# compiler feature: graph-based type-checking
|
|
0
|
170
|
5 November 2023
|
|
Type Erasure in Rust
|
|
0
|
206
|
25 October 2023
|
|
Go: Everything You Always Wanted to Know About Type Inference - And a Little Bit More
|
|
0
|
340
|
9 October 2023
|
|
Go: Deconstructing Type Parameters
|
|
0
|
211
|
26 September 2023
|
|
Type Systems for Memory Safety
|
|
0
|
181
|
18 September 2023
|
|
A Different Type of SQL Recursion with PostgreSQL
|
|
0
|
231
|
17 September 2023
|
|
Functions and algorithms implemented purely with TypeScript's type system
|
|
0
|
311
|
5 July 2023
|
|
Building Type-safe GraphQL Schemas with TypeScript
|
|
0
|
327
|
29 June 2023
|
|
A few words on Ruby's type annotations state
|
|
1
|
439
|
6 May 2023
|
|
The different uses of Python type hints
|
|
1
|
410
|
6 April 2023
|
|
Type Specialization in Go
|
|
1
|
508
|
5 April 2023
|
|
Svelte: Zero-effort type safety
|
|
1
|
461
|
10 March 2023
|
|
Reveal type in Crystal
|
|
1
|
442
|
6 March 2023
|
|
The Usability of Advanced Type Systems: Rust as a Case Study
|
|
1
|
347
|
22 February 2023
|
|
How Austral’s Linear Type Checker Works
|
|
1
|
345
|
29 January 2023
|
|
The type system is a programmer's best friend
|
|
1
|
334
|
14 January 2023
|
|
Type-safe React Query
|
|
1
|
425
|
8 January 2023
|
