|
Constraining Go type parameter pointers
|
|
0
|
62
|
7 May 2024
|
|
Type-Safe Printf() in TypeScript
|
|
0
|
112
|
24 March 2024
|
|
Differential: Type safe RPC that feels like local functions
|
|
0
|
85
|
9 March 2024
|
|
The hunt for the missing data type
|
|
0
|
110
|
5 March 2024
|
|
Type Erasure: The Implementation Details
|
|
0
|
117
|
20 February 2024
|
|
Magika: AI powered fast and efficient file type identification
|
|
0
|
115
|
16 February 2024
|
|
Elixir: Type system updates: moving from research into development
|
|
0
|
387
|
3 July 2023
|
|
Type information for faster Python C extensions
|
|
0
|
174
|
15 January 2024
|
|
Is Objective-C BOOL a boolean type? It depends
|
|
0
|
138
|
10 January 2024
|
|
Hamlet: A type-safe Haml template engine for Go
|
|
0
|
202
|
2 January 2024
|
|
What the heck is a homomorphic mapped type?
|
|
0
|
172
|
29 December 2023
|
|
My proof-of-concept record type
|
|
0
|
151
|
29 December 2023
|
|
Stable Diffusion XL Turbo can generate AI images as fast as you can type
|
|
0
|
152
|
1 December 2023
|
|
USB-C cable with the bandwidth and USB type imprinted on the connector
|
|
0
|
215
|
6 November 2023
|
|
A new F# compiler feature: graph-based type-checking
|
|
0
|
182
|
5 November 2023
|
|
Type Erasure in Rust
|
|
0
|
219
|
25 October 2023
|
|
Go: Everything You Always Wanted to Know About Type Inference - And a Little Bit More
|
|
0
|
363
|
9 October 2023
|
|
Go: Deconstructing Type Parameters
|
|
0
|
223
|
26 September 2023
|
|
Type Systems for Memory Safety
|
|
0
|
192
|
18 September 2023
|
|
A Different Type of SQL Recursion with PostgreSQL
|
|
0
|
254
|
17 September 2023
|
|
Functions and algorithms implemented purely with TypeScript's type system
|
|
0
|
333
|
5 July 2023
|
|
Building Type-safe GraphQL Schemas with TypeScript
|
|
0
|
358
|
29 June 2023
|
|
A few words on Ruby's type annotations state
|
|
1
|
464
|
6 May 2023
|
|
The different uses of Python type hints
|
|
1
|
426
|
6 April 2023
|
|
Type Specialization in Go
|
|
1
|
529
|
5 April 2023
|
|
Svelte: Zero-effort type safety
|
|
1
|
483
|
10 March 2023
|
|
Reveal type in Crystal
|
|
1
|
456
|
6 March 2023
|
|
The Usability of Advanced Type Systems: Rust as a Case Study
|
|
1
|
362
|
22 February 2023
|
|
How Austral’s Linear Type Checker Works
|
|
1
|
355
|
29 January 2023
|
|
The type system is a programmer's best friend
|
|
1
|
347
|
14 January 2023
|
