|
Elixir v1.18 released: type checking of function calls, Language Server listeners, built-in JSON, and ExUnit improvements
|
|
0
|
11
|
19 December 2024
|
|
Go and Java: Rethinking Type Safety for the Pragmatic Age
|
|
0
|
8
|
27 November 2024
|
|
Sets, types and type checking
|
|
0
|
19
|
1 November 2024
|
|
How we built a new powerful JSON data type for ClickHouse
|
|
0
|
25
|
23 October 2024
|
|
Zod: TypeScript-first schema validation with static type inference
|
|
0
|
17
|
10 October 2024
|
|
Ts-blank-space is a fast type-stripping compiler
|
|
0
|
11
|
27 September 2024
|
|
Constraining Go type parameter pointers
|
|
0
|
159
|
7 May 2024
|
|
Type-Safe Printf() in TypeScript
|
|
0
|
164
|
24 March 2024
|
|
Differential: Type safe RPC that feels like local functions
|
|
0
|
121
|
9 March 2024
|
|
The hunt for the missing data type
|
|
0
|
143
|
5 March 2024
|
|
Type Erasure: The Implementation Details
|
|
0
|
148
|
20 February 2024
|
|
Magika: AI powered fast and efficient file type identification
|
|
0
|
144
|
16 February 2024
|
|
Elixir: Type system updates: moving from research into development
|
|
0
|
434
|
3 July 2023
|
|
Type information for faster Python C extensions
|
|
0
|
217
|
15 January 2024
|
|
Is Objective-C BOOL a boolean type? It depends
|
|
0
|
173
|
10 January 2024
|
|
Hamlet: A type-safe Haml template engine for Go
|
|
0
|
235
|
2 January 2024
|
|
What the heck is a homomorphic mapped type?
|
|
0
|
198
|
29 December 2023
|
|
My proof-of-concept record type
|
|
0
|
176
|
29 December 2023
|
|
Stable Diffusion XL Turbo can generate AI images as fast as you can type
|
|
0
|
192
|
1 December 2023
|
|
USB-C cable with the bandwidth and USB type imprinted on the connector
|
|
0
|
243
|
6 November 2023
|
|
A new F# compiler feature: graph-based type-checking
|
|
0
|
223
|
5 November 2023
|
|
Type Erasure in Rust
|
|
0
|
253
|
25 October 2023
|
|
Go: Everything You Always Wanted to Know About Type Inference - And a Little Bit More
|
|
0
|
460
|
9 October 2023
|
|
Go: Deconstructing Type Parameters
|
|
0
|
255
|
26 September 2023
|
|
Type Systems for Memory Safety
|
|
0
|
216
|
18 September 2023
|
|
A Different Type of SQL Recursion with PostgreSQL
|
|
0
|
291
|
17 September 2023
|
|
Functions and algorithms implemented purely with TypeScript's type system
|
|
0
|
372
|
5 July 2023
|
|
Building Type-safe GraphQL Schemas with TypeScript
|
|
0
|
407
|
29 June 2023
|
|
A few words on Ruby's type annotations state
|
|
0
|
509
|
6 May 2023
|
|
The different uses of Python type hints
|
|
0
|
458
|
6 April 2023
|
