Type-Safe Printf() in TypeScript
|
|
0
|
57
|
24 March 2024
|
Differential: Type safe RPC that feels like local functions
|
|
0
|
58
|
9 March 2024
|
The hunt for the missing data type
|
|
0
|
77
|
5 March 2024
|
Type Erasure: The Implementation Details
|
|
0
|
84
|
20 February 2024
|
Magika: AI powered fast and efficient file type identification
|
|
0
|
81
|
16 February 2024
|
Elixir: Type system updates: moving from research into development
|
|
0
|
336
|
3 July 2023
|
Type information for faster Python C extensions
|
|
0
|
140
|
15 January 2024
|
Is Objective-C BOOL a boolean type? It depends
|
|
0
|
106
|
10 January 2024
|
Hamlet: A type-safe Haml template engine for Go
|
|
0
|
164
|
2 January 2024
|
What the heck is a homomorphic mapped type?
|
|
0
|
142
|
29 December 2023
|
My proof-of-concept record type
|
|
0
|
116
|
29 December 2023
|
Stable Diffusion XL Turbo can generate AI images as fast as you can type
|
|
0
|
129
|
1 December 2023
|
USB-C cable with the bandwidth and USB type imprinted on the connector
|
|
0
|
173
|
6 November 2023
|
A new F# compiler feature: graph-based type-checking
|
|
0
|
151
|
5 November 2023
|
Type Erasure in Rust
|
|
0
|
187
|
25 October 2023
|
Go: Everything You Always Wanted to Know About Type Inference - And a Little Bit More
|
|
0
|
311
|
9 October 2023
|
Go: Deconstructing Type Parameters
|
|
0
|
199
|
26 September 2023
|
Type Systems for Memory Safety
|
|
0
|
170
|
18 September 2023
|
A Different Type of SQL Recursion with PostgreSQL
|
|
0
|
215
|
17 September 2023
|
Functions and algorithms implemented purely with TypeScript's type system
|
|
0
|
283
|
5 July 2023
|
Building Type-safe GraphQL Schemas with TypeScript
|
|
0
|
303
|
29 June 2023
|
A few words on Ruby's type annotations state
|
|
1
|
414
|
6 May 2023
|
The different uses of Python type hints
|
|
1
|
389
|
6 April 2023
|
Type Specialization in Go
|
|
1
|
489
|
5 April 2023
|
Svelte: Zero-effort type safety
|
|
1
|
444
|
10 March 2023
|
Reveal type in Crystal
|
|
1
|
419
|
6 March 2023
|
The Usability of Advanced Type Systems: Rust as a Case Study
|
|
1
|
333
|
22 February 2023
|
How Austral’s Linear Type Checker Works
|
|
1
|
330
|
29 January 2023
|
The type system is a programmer's best friend
|
|
1
|
320
|
14 January 2023
|
Type-safe React Query
|
|
1
|
401
|
8 January 2023
|