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

bot
Backend>Official News

Kotlin v1.4.0 released!
Kotlin v1.4.0 has been released. Link: Release Kotlin 1.4.0 · JetBrains/kotlin · GitHub
/kotlin#language-release-news
1 2050 0
New
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
ManningBooks
Backend>Official News

Deep Learning with Python, Second Edition
Deep Learning with Python, Second Edition is a comprehensive introduction to the field of deep learning using Python and the powerful Ker...
#manning/python#machine-learning#tensorflow#deep-learning#computer-vision
3 2178 0
New
First poster: bot
Backend>Official News

Node.js v14.18.3 and v12.22.9 released!
Node.js v14.18.3 and v12.22.9 has been released. Link: Release 2022-01-10, Version 14.18.3 'Fermium' (LTS), @richardlau · nodejs/node ·...
github.com
/nodejs#official-news
0 1868 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
First poster: bot
Backend>Official News

Node.js v18.16.0 released!
Node.js v18.16.0 has been released. Link: Release 2023-04-12, Version 18.16.0 'Hydrogen' (LTS), @danielleadams · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1687 0
New
NewsBot
Backend>Official News

Zig 0.13.0 released!
Zig 0.13.0 has been released. Link: Release 0.13.0 · ziglang/zig · GitHub
github.com
/zig#official-news
0 1291 0
New
NewsBot
Backend>Official News

Python 3.14.0a7, 3.13.3, 3.12.10, 3.11.12, 3.10.17 and 3.9.22 are now available
A new Python blog post/announcement has been posted! Get the full details here: Python Insider: Python 3.14.0a7, 3.13.3, 3.12.10, 3.11....
pythoninsider.blogspot.com
/python#official-news
0 978 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
NewsBot
Backend>Official News

Node.js v25.0.0 released!
Node.js v25.0.0 has been released. Link: Release 2025-10-15, Version 25.0.0 (Current), @RafaelGSS · nodejs/node · GitHub
github.com
/nodejs/wasm#official-news
0 2627 0
New

Other popular topics Top

Devtalk
General Dev>Dev Chat

What dev-related stuff have you been up to?
Reading something? Working on something? Planning something? Changing jobs even!? If you’re up for sharing, please let us know what you’...
#community
1063 23050 405
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
PragmaticBookshelf
Game Dev>Learning Resources

Hands-on Rust: Effective Learning through 2D Game Development and Play
Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters...
pragprog.com
#pragprog/rust#published-book/book-hands-on-rust
117 10879 30
New
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
30 8077 9
New
PragmaticBookshelf
Frontend>Learning Resources

Modern CSS with Tailwind
Tailwind CSS is an exciting new CSS framework that allows you to design your site by composing simple utility classes to create complex e...
pragprog.com
#pragprog/tailwind#published-book/book-modern-css-with-tailwind
12 5813 4
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
First poster: AstonJ
General Dev>In The News

Jan: An open source alternative to ChatGPT that runs on the desktop
Jan | Rethink the Computer. Jan turns your computer into an AI machine by running LLMs locally on your computer. It’s a privacy-focus, l...
jan.ai
#desktop#chatgpt
4 5652 4
New
sir.laksmana_wenk
Game Dev>Questions

I want to learn how make a game, but where should I start?
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc. However, I don’t...
#game-dev
15 4965 9
New
AstonJ
Backend>Questions

Psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory
If you’re getting errors like this: psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
#macos/rails/postgresql
1 5553 1
New
PragmaticBookshelf
Backend>Learning Resources

Agile Web Development with Rails 8
Get the comprehensive, insider information you need for Rails 8 with the new edition of this award-winning classic. Sam Ruby @rubys ...
pragprog.com
#pragprog#web-development/ruby/rails#published-book/book-agile-web-development-with-rails-8
12 7404 7
New
Back to top

Sponsor Spotlight

Honeybadger

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

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