Backend>Official News

Elixir: Lazier Binary Decision Diagrams (BDDs) for set-theoretic types

NewsBot

NewsBot

Elixir: Lazier Binary Decision Diagrams (BDDs) for set-theoretic types

A new Elixir blog post/announcement has been posted!

Get the full details here: Lazier Binary Decision Diagrams (BDDs) for set-theoretic types - The Elixir programming language

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

Where Next?

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

Popular Backend topics Top

NewsBot
Backend>Official News

PostgreSQL: Announcing the release of Apache AGE 0.3.0
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: Announcing the release of Apache AGE 0.3.0
postgresql.org
#postgres/postgresql#official-news#graph-databases
2 1645 1
New
First poster: KnowledgeIsPower
Backend>Official News

Learn the Kotlin Basics for Free on JetBrains Academy
A new Kotlin blog post/announcement has been posted! Get the full details here: Learn the Kotlin Basics for Free on JetBrains Academy |...
blog.jetbrains.com
/kotlin#official-news
7 1975 3
New
First poster: OvermindDL1
Backend>Official News

Lunatic: Writing Rust the Elixir way
A new Lunatic blog post/announcement has been posted! Get the full details here: https://lunatic.solutions/writing-rust-the-elixir-way/
lunatic.solutions
/elixir/rust#official-news/lunatic#writing
19 1601 6
New
First poster: dimitarvp
Backend>Official News

V weekly.2022.06 released!
V weekly.2022.06 has been released. Link: Release weekly.2022.06 · vlang/v · GitHub
github.com
/v#official-news
6 1753 2
New
First poster: bot
Backend>Official News

PostgreSQL: New podcast Postgres FM
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: New podcast Postgres FM
postgresql.org
#postgres/postgresql#official-news
0 1797 0
New
First poster: bot
Backend>Official News

Laravel v10.0.5 released!
Laravel v10.0.5 has been released. Link: Release v10.0.5 · laravel/laravel · GitHub
github.com
/laravel#official-news
0 1646 0
New
First poster: brennan
Backend>Official News

Gleam: Hello echo! Hello git!
A new Gleam blog post/announcement has been posted! Get the full details here: Hello echo! Hello git! - Gleam
gleam.run
#echo/gleam#git#official-news
2 893 2
New
NewsBot
Backend>Official News

Node.js v24.4.1, v22.17.1 and v20.19.4 released!
Node.js v24.4.1, v22.17.1 and v20.19.4 has been released. Link: Release 2025-07-15, Version 24.4.1 (Current), @RafaelGSS · nodejs/node ...
github.com
/nodejs#official-news
0 1805 0
New
NewsBot
Backend>Official News

Node.js v24.9.0 released!
Node.js v24.9.0 has been released. Link: Release 2025-09-25, Version 24.9.0 (Current), @targos · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1458 0
New
NewsBot
Backend>Official News

Kotlin: Amper Update, October 2025 – Compose Hot Reload and UX Improvements
A new Kotlin blog post/announcement has been posted! Get the full details here: Amper Update, October 2025 – Compose Hot Reload and UX ...
blog.jetbrains.com
/kotlin#official-news#compose
0 2401 0
New

Other popular topics Top

Exadra37
Linux>Questions

AMD or Intel for Programming with Linux as the OS?
I am thinking in building or buy a desktop computer for programing, both professionally and on my free time, and my choice of OS is Linux...
#mobile#android#web-development#linux#desktop-computer#mobile-development
36 6006 10
New
AstonJ
General Dev>Code Editors

Poll: Which code editor do you use?
You might be thinking we should just ask who’s not using VSCode :joy: however there are some new additions in the space that might give V...
#community#polls/vim/emacs#code-editors/vscode#notepad/sublime-text#atom/textmate#codespaces#brackets/onivim#geany
121 5796 61
New
Rainer
Community>Journals

Programming Erlang Book Club
My first contact with Erlang was about 2 years ago when I used RabbitMQ, which is written in Erlang, for my job. This made me curious and...
/erlang/book-programming-erlang-2nd-edition#book-club
195 6815 95
New
DevotionGeo
General Dev>Dev Chat

The V Programming Language
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
#programminguages/v
21 13874 7
New
Maartz
General Dev>Dev Chat

Roc Language - a new purely functional programming language built for speed and ergonomics
Hi folks, I don’t know if I saw this here but, here’s a new programming language, called Roc Reminds me a bit of Elm and thus Haskell. ...
#programminguages#functional-programming
49 5164 14
New
PragmaticBookshelf
Backend>Learning Resources

Effective Haskell
Build efficient applications that exploit the unique benefits of a pure functional language, learning from an engineer who uses Haskell t...
pragprog.com
#pragprog/haskell#published-book/book-effective-haskell
15 10218 1
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
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1
Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...
pragprog.com
#pragprog/python#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-in-python-volume-1
24 5988 11
New
AstonJ
AI>In The News

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each
This is cool! DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON We just witnessed something incredible: the largest open-s...
#ai#macs/deepseek
0 6695 1
New
PragmaticBookshelf
Backend>Learning Resources

Advanced Functional Programming with Elixir
Use advanced functional programming principles, practical Domain-Driven Design techniques, and production-ready Elixir code to build scal...
joekoski.com
#pragprog/elixir#published-book#functional-programming/book-advanced-functional-programming-with-elixir
43 4989 22
New
Back to top

Sponsor Spotlight

AppSignal

Catch errors, track performance, monitor hosts and more.

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