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

First poster: bot
Backend>Official News

Node.js v12.20.0, v15.3.0 and v14.15.1 released!
Node.js v12.20.0, v15.3.0 and v14.15.1 has been released. Link: Release 2020-11-24, Version 12.20.0 'Erbium' (LTS), @mylesborins · node...
github.com
#news/nodejs
0 2331 1
New
First poster: bot
Backend>Official News

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

Node.js v14.17.6 and v12.22.6 released!
Node.js v14.17.6 and v12.22.6 has been released. Link: Release 2021-08-31, Version 14.17.6 'Fermium' (LTS), @MylesBorins · nodejs/node ...
github.com
/nodejs#official-news
4 1554 1
New
NewsBot
Backend>Official News

Announcing Rust 1.83.0
A new Rust blog post/announcement has been posted!
blog.rust-lang.org
/rust#official-news
0 5224 0
New
NewsBot
Backend>Official News

2024 State of Rust Survey Results
A new Rust blog post/announcement has been posted! Get the full details here: 2024 State of Rust Survey Results | Rust Blog
blog.rust-lang.org
/rust#official-news#survey
0 822 0
New
NewsBot
Backend>Official News

Quarkus 3.21.0.CR1, 3.20.0.CR1 and 3.19.3 released!
Quarkus 3.21.0.CR1, 3.20.0.CR1 and 3.19.3 has been released. Link: Release 3.21.0.CR1 · quarkusio/quarkus · GitHub Link: Release 3.20...
github.com
/quarkus#official-news
0 765 0
New
NewsBot
Backend>Official News

Zig 0.14.1 released!
Zig 0.14.1 has been released. Link: Release 0.14.1 · ziglang/zig · GitHub
github.com
/zig#official-news
0 1879 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.8.0 released!
Node.js v24.8.0 has been released. Link: Release 2025-09-10, Version 24.8.0 (Current), @targos · nodejs/node · GitHub
github.com
/nodejs#official-news
0 2095 0
New
NewsBot
Backend>Official News

Announcing Rust 1.90.0
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rust 1.90.0 | Rust Blog
blog.rust-lang.org
/rust#official-news
0 2263 0
New

Other popular topics Top

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
AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
503 14742 279
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
Margaret
General Dev>Dev Chat

PragProg’s Medium Posts
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
#pragprog#blog-post
1147 29994 760
New
AstonJ
Science/Tech>Health & Diet

David Sinclair's new Lifespan podcast
We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...
#health#podcasts#bio-hackers#david-sinclair
87 6790 49
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Mike Riley (Author) Interview and AMA!
Author Spotlight Mike Riley @mriley This month, we turn the spotlight on Mike Riley, author of Portable Python Projects. Mike’s book ...
#author-spotlight/python#iot/book-portable-python-projects#internet-of-things
62 7035 19
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Rebecca Skinner (Author) Interview and AMA!
Author Spotlight Rebecca Skinner @RebeccaSkinner Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
#author-spotlight/haskell/book-effective-haskell
106 11719 28
New
AstonJ
macOS>Chat

How to block any website on Mac using Little Snitch
If you want a quick and easy way to block any website on your Mac using Little Snitch simply… File > New Rule: And select Deny, O...
#macos#how-to#littlesnitch
5 11227 3
New
hilfordjames
Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
#taskbar-overflow-win-11
3 3715 2
New
NewsBot
Backend>Official News

Node.js v22.14.0 released!
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 4251 0
New
Back to top

Sponsor Spotlight

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

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