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

lpil
Backend>Official News

Gleam v0.10 released!
Hi everyone! v0.10 of Gleam is out now! :tada: Here’s a blog post going over the main additions: https://lpil.uk/blog/gleam-v0.10-releas...
/gleam#generaluage-news
25 1517 6
New
First poster: bot
Backend>Official News

Ruby on Rails v6.1.0 released!
Ruby on Rails v6.1.0 has been released. Link: Release 6.1.0 · rails/rails · GitHub
github.com
/ruby/rails#news
0 2037 0
New
First poster: bot
Backend>Official News

Phel is a functional programming language inspired by Clojure that compiles to PHP
phel-lang/phel-lang. Phel is a functional programming language that compiles to PHP. It is a dialect of Lisp inspired by Clojure and Jan...
github.com
/clojure/php#programming#phel
0 1696 0
New
AstonJ
Backend>Official News

Lunatic - An Erlang inspired runtime for all programming languages (WebAssembly)
More cool tech inspired by <span class="hashtag-icon-placeholder"></span>erlang :nerd_face: By combining the fault-tolerance and massiv...
lunatic.solutions
/wasm/lunatic
19 2491 9
New
First poster: dimitarvp
Backend>Official News

Announcing Rust 1.53.0
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rust 1.53.0 | Rust Blog
blog.rust-lang.org
/rust#official-news
24 1892 12
New
First poster: bot
Backend>Official News

Kotlin v1.6.10 released!
Kotlin v1.6.10 has been released. Link: Release Kotlin 1.6.10 · JetBrains/kotlin · GitHub
github.com
/kotlin#official-news
0 1687 0
New
First poster: bot
Backend>Official News

PostgreSQL JDBC 42.3.2/42.2.25 Security update
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: PostgreSQL JDBC 42.3.2/42.2.25 Security...
postgresql.org
/security#postgres/postgresql#official-news
0 1728 0
New
First poster: bot
Backend>Official News

Julia v1.9.0-beta1 released!
Julia v1.9.0-beta1 has been released. Link: Release v1.9.0-beta1 · JuliaLang/julia · GitHub
github.com
/julia#official-news
0 1629 0
New
NewsBot
Backend>Official News

Node.js v24.0.0 released!
Node.js v24.0.0 has been released. Link: Release 2025-05-06, Version 24.0.0 (Current), @RafaelGSS and @juanarbol · nodejs/node · GitHub
github.com
/nodejs/wasm#official-news
0 2077 0
New
NewsBot
Backend>Official News

Node.js v25.3.0, v24.13.0 and v22.22.0 released!
Node.js v25.3.0, v24.13.0 and v22.22.0 has been released. Link: https://github.com/nodejs/node/releases/tag/v25.3.0 Link: https://git...
github.com
/nodejs#official-news
0 0 0
New

Other popular topics Top

Devtalk
General Dev>Dev Chat

HELLO WORLD (Introductions thread!)
Hello Devtalk World! Please let us know a little about who you are and where you’re from :nerd_face:
#community
482 7161 117
New
PragmaticBookshelf
Backend>Learning Resources

Web Development with Clojure, Third Edition
Stop developing web apps with yesterday’s tools. Today, developers are increasingly adopting Clojure as a web-development platform. See f...
pragprog.com
#pragprog#web-development/clojure#published-book/book-web-development-with-clojure-third-edition
5 4584 1
New
DevotionGeo
Backend>Chat

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
#web-frameworks/rust
36 7463 11
New
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
Exadra37
General Dev>Hardware

What monitor(s) do you have for programming?
Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...
#monitors#coding#programming#development
227 11362 88
New
brentjanderson
General Dev>Hardware

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)
Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...
#hardware/keyboards#moonlander#mechanical-keyboards#ortholinear#ergonomic
212 17779 90
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
AstonJ
AI>Chat

How to: Run DeepSeek on Mac, Windows, and Linux!
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
#macs/deepseek#guides#lm-studio
14 9328 10
New
AstonJ
AI>Chat

Post your DeepSeek results
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
/deepseek
15 4275 15
New
CommunityNews
Game Dev>In The News

Grand Theft Auto: Vice City | DOS games in browser
Open-source implementation of the classic GTA engine now running directly in your browser. Experience the reVC technology demo on DOS.Zon...
dos.zone
#games#browser
0 173 0
New
Back to top

Sponsor Spotlight

Pragmatic Studio

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

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