Latest #type Threads 
A new Elixir blog post/announcement has been posted!
Get the full details here: http://elixir-lang.org/blog/2026/01/09/type-inference-o...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.19 released: enhanced type checking, broader ...
New
What is Typed Python? Why is it important for Python developers today? How to can you get started?
New
Using Template Haskell to derive the structure of records and simulate structural subtyping
New
What is the difference between a concept and a type trait? Note that you can create a type trait using a requires-expression: You can als...
New
Why aren’t people writing more types? Perhaps it’s because the intermediate and expert developers deleted the patterns that didn’t work a...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.18 released: type checking of function calls,...
New
Go and Java: Rethinking Type Safety for the Pragmatic Age.
premise I want to explore where mainstream programming languages are headed, ...
New
Sets, types and type checking.
My currently understanding of types
New
How we built a new powerful JSON data type for ClickHouse.
We’re excited to introduce our new and significantly enhanced JSON data type,...
New
This Week's Trending
This Month's Trending
This Year's Trending
What is Typed Python? Why is it important for Python developers today? How to can you get started?
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.19 released: enhanced type checking, broader ...
New
What is the difference between a concept and a type trait? Note that you can create a type trait using a requires-expression: You can als...
New
A new Elixir blog post/announcement has been posted!
Get the full details here: http://elixir-lang.org/blog/2026/01/09/type-inference-o...
New
Why aren’t people writing more types? Perhaps it’s because the intermediate and expert developers deleted the patterns that didn’t work a...
New
Using Template Haskell to derive the structure of records and simulate structural subtyping
New
Last Three Year's Trending
A new Elixir blog post/announcement has been posted!
New
Why We Added TypeScript Configuration Support.
We’re excited to announce support for generating GraphQL schemas with TypeScript.
New
A new Go blog post/announcement has been posted!
Get the full details here: Everything You Always Wanted to Know About Type Inference -...
New
GitHub - ronami/meta-typing: :books: Functions and algorithms implemented purely with TypeScript’s type system.
:books: Functions and al...
New
A few words on Ruby’s type annotations state.
…that were written in a military training camp and accidentally grew to 5k words
New
A Different Type of SQL Recursion with PostgreSQL · vb-consulting/blog · Discussion #1.
A Different Type of SQL Recursion with PostgreSQ...
New
Go and Java: Rethinking Type Safety for the Pragmatic Age.
premise I want to explore where mainstream programming languages are headed, ...
New
How we built a new powerful JSON data type for ClickHouse.
We’re excited to introduce our new and significantly enhanced JSON data type,...
New
Constraining Go type parameter pointers.
A quick note on an FAQ about Go generics
New
Type Erasure in Rust.
Patterns for when dyn isn’t sufficient.
New
A new Elixir blog post/announcement has been posted!
Get the full details here: Elixir v1.18 released: type checking of function calls,...
New
A new F# compiler feature: graph-based type-checking - .NET Blog.
Graph-based type-checking is a new F# compiler flag that allows the co...
New
TypeScript-first schema validation with static type inference.
TypeScript-first schema validation with static type inference
New
Please make more USB-C cables like this.
Elgato has created a great USB-C cable
New
A new Go blog post/announcement has been posted!
Get the full details here: Deconstructing Type Parameters - The Go Programming Language
New
Trending Over Three Years
This Keyboard Lets People Type So Fast It’s Banned From Typing Competitions.
A new peripheral lets you keep typing without ever lifting ...
New
A Proposal For Type Syntax in JavaScript.
Today we’re excited to announce our support and collaboration on a new Stage 0 proposal to bri...
New
TypeScript’s never type is very under-discussed, because it’s not nearly as ubiquitous or inescapable as other types. A TypeScript beginn...
New
Type-Level TypeScript — Introduction.
A course to take your TypeScript skills to the next level!
New
Type.
Type is a directed typing experiment. You choose the direction the
letters should flow.
New
A new Crystal blog post/announcement has been posted!
Get the full details here: Reveal type in Crystal - The Crystal Programming Language
New
Types Of Barcodes - 1D & 2D - Scanbot SDK.
An essential overview on the most-used barcode types. 1D- and 2D-barcodes for retail, log...
New
The Hidden Dangers of Haskell’s Ratio Type.
Haskell’s Rational datatype is useful, but using a type other than Integer with Ratio leads ...
New
Type Specialization in Go.
This post was originally tweets but then things happened, and it needed a new linkable home. Btw, I’m now @co...
New
A new Svelte blog post/announcement has been posted!
Get the full details here: Zero-effort type safety
New
Type-safe React Query.
About the difference between “having types” and “being type-safe”…
New
Python Type Hints are Turing Complete.
Grigore showed that Java generics are Turing complete by describing a
reduction from Turing mach...
New
Abstract
This paper proposes a new type system for concurrent pro- grams, allowing threads to exchange complex object graphs without ris...
New
A new Erlang blog post/announcement has been posted!
Get the full details here: https://www.erlang.org/blog/type-based-optimizations-in...
New
Topological qubits don’t exist yet, but the company is convinced they’ll scale.
New
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
The Pragmatic Studio
20% off any course
Linux New Media
15% off any non-sub item
Simply use coupon code "devtalk.com" at checkout. Where applicable this coupon can be used for an many items and as many times as you like!
Filter by Type:
Popular Tags
- #apple
- #code
- #linux
- #programming
- #web
- #blog-post
- #podcasts
- #video
- #news
- #otp
- #community
- #openai
- #microsoft
- #chatgpt
- #learning
- #github
- #macos
- #new
- #project
- #ai
- #development
- #manning
- #design
- #testing
- #database
- #performance
- #ios
- #internet
- #css
- #android
- #apps
- #nvidia
- #blog
- #guide
- #quantum
- #hardware
- #llm
- #browser
- #intel
- #amazon
- #social
- #privacy
- #liveview
- #games
- #windows
- #musk
- #writing
- #api
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /clojure
- /java
- /emacs
- /haskell
- /svelte
- /onivim
- /typescript
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /flutter
- /elm
- /vscode
- /ash
- /html
- /opensuse
- /zig
- /centos
- /deepseek
- /php
- /scala
- /react-native
- /lisp
- /textmate
- /sublime-text
- /nixos
- /debian
- /agda
- /deno
- /django
- /kubuntu
- /arch-linux
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that move you from confusion to "Aha, now I get it!"
Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.