Backend>Official News

My Future with Elixir: set-theoretic types

NewsBot

NewsBot

My Future with Elixir: set-theoretic types

A new Elixir blog post/announcement has been posted!

Get the full details here: My Future with Elixir: set-theoretic types - The Elixir programming language

View thread on forum
/elixir#official-news#types
0 912 0

Where Next?

View thread on forum
elixir
official-news
types
Home Backend>Official News
/elixir#official-news#types
0 912 0
Last post

Popular Backend topics Top

bot
Backend>Official News

Symfony v4.4.14 released!
Symfony v4.4.14 has been released. Link: Release v4.4.14 · symfony/symfony · GitHub
github.com
#framework-release-news/symfony
2 1548 0
New
First poster: bot
Backend>Official News

Announcing Rustup 1.23.0
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rustup 1.23.0 | Rust Blog
blog.rust-lang.org
/rust#news
0 1803 2
New
First poster: bot
Backend>Official News

Quarkus 1.10.3.Final released!
Quarkus 1.10.3.Final has been released. Link: Release 1.10.3.Final · quarkusio/quarkus · GitHub
github.com
#news/quarkus
0 1760 0
New
First poster: bot
Backend>Official News

Node.js v14.18.2 released!
Node.js v14.18.2 has been released. Link: Release 2021-11-30, Version 14.18.2 'Fermium' (LTS), @richardlau · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1778 0
New
NewsBot
Backend>Official News

Node.js v24.1.0 and v22.16.0 released!
Node.js v24.1.0 and v22.16.0 has been released. Link: Release 2025-05-21, Version 24.1.0 (Current), @aduh95 · nodejs/node · GitHub Li...
github.com
/nodejs#official-news
0 1821 0
New
NewsBot
Backend>Official News

PostgreSQL JDBC 42.7.7 Security update for CVE-2025-49146
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: PostgreSQL JDBC 42.7.7 Security update ...
postgresql.org
/security#postgres/postgresql#official-news
0 1700 0
New
NewsBot
Backend>Official News

Node.js v24.5.0 and v22.18.0 released!
Node.js v24.5.0 and v22.18.0 has been released. Link: Release 2025-07-31, Version 24.5.0 (Current), @aduh95 · nodejs/node · GitHub Li...
github.com
/nodejs/wasm#official-news
0 3899 0
New
NewsBot
Backend>Official News

Node.js v20.19.5 released!
Node.js v20.19.5 has been released. Link: Release 2025-09-03, Version 20.19.5 'Iron' (LTS), @marco-ippolito · nodejs/node · GitHub
github.com
/nodejs#official-news
0 2655 0
New
NewsBot
Backend>Official News

Ruby 3.4.6 Released
A new Ruby blog post/announcement has been posted! Get the full details here: Ruby 3.4.6 Released
ruby-lang.org
/ruby#official-news
0 2350 0
New
NewsBot
Backend>Official News

Node.js v25.2.0 and v24.11.1 released!
Node.js v25.2.0 and v24.11.1 has been released. Link: Release 2025-11-11, Version 25.2.0 (Current), @aduh95 · nodejs/node · GitHub Li...
github.com
/nodejs#official-news
0 1638 0
New

Other popular topics Top

PragmaticBookshelf
Game Dev>Learning Resources

The Ray Tracer Challenge
Brace yourself for a fun challenge: build a photorealistic 3D renderer from scratch! In just a couple of weeks, build a ray tracer that r...
pragprog.com
#pragprog#published-book/book-the-ray-tracer-challenge#algorithms
3 6115 0
New
dasdom
General Dev>Dev Chat

Standing Desks
No chair. I have a standing desk. This post was split into a dedicated thread from our thread about chairs :slight_smile:
#workspace#opinions
177 9886 77
New
PragmaticBookshelf
Game Dev>Learning Resources

Apple Game Frameworks and Technologies
Design and develop sophisticated 2D games that are as much fun to make as they are to play. From particle effects and pathfinding to soci...
pragprog.com
#pragprog#ios#game-dev#macos/swift#published-book#apple/book-apple-game-frameworks-and-technologies
30 7995 10
New
AstonJ
General Dev>Dev Chat

Which language or framework do you want to learn next?
Curious to know which languages and frameworks you’re all thinking about learning next :upside_down_face: Perhaps if there’s enough peop...
#community#learning
243 6639 97
New
AstonJ
General Dev>Hardware

Custom keyboard keycaps
There’s a whole world of custom keycaps out there that I didn’t know existed! Check out all of our Keycaps threads here: https://forum....
#hardware/keyboards#keycaps#mechanical-keyboards
15 11086 19
New
Exadra37
Linux>Questions

What is the most minimalist Linux server distro?
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
#linux#servers
66 25846 24
New
PragmaticBookshelf
Backend>Learning Resources

Concurrent Data Processing in Elixir
Learn different ways of writing concurrent code in Elixir and increase your application's performance, without sacrificing scalability or...
pragprog.com
#pragprog/elixir#published-book/book-concurrent-data-processing-in-elixir
78 6059 24
New
PragmaticBookshelf
Backend>Learning Resources

Programming Ruby 3.2 (5th Edition)
Programming Ruby is the most complete book on Ruby, covering both the language itself and the standard library as well as commonly used t...
twitter.com
#pragprog/ruby/rails#published-book/book-programming-ruby-3-2-5th-edition
28 8550 13
New
PragmaticBookshelf
Backend>Learning Resources

Engineering Elixir Applications
Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...
pragprog.com
#pragprog/elixir#published-book/book-engineering-elixir-applications
40 7136 21
New
RobertRichards
Game Dev>Chat

Hair Salon Games for Girls Fun
Hair Salon Games for Girls Fun Girls Hair Saloon game is mainly developed for kids. This game allows users to select virtual avatars to ...
#ios#android#unity#fun
2 3556 1
New
Back to top

Sponsor Spotlight

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

Latest in Elixir

Elixir Portal ❯

Backend>Official News

Backend Official News ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap