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

Julia v1.5.2 released!
Julia v1.5.2 has been released. Link: Release v1.5.2 · JuliaLang/julia · GitHub
github.com
/julia#language-release-news
1 1662 0
New
First poster: bot
Backend>Official News

Node.js v14.19.0 released!
Node.js v14.19.0 has been released. Link: Release 2022-02-01, Version 14.19.0 'Fermium' (LTS), @richardlau · nodejs/node · GitHub
github.com
/nodejs#official-news
0 2050 0
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
NewsBot
Backend>Official News

R on 64-bit ARM Windows
A new R blog post/announcement has been posted! Get the full details here: R on 64-bit ARM Windows - The R Blog
blog.r-project.org
/r#windows#arm#official-news
0 1149 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

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
First poster: AstonJ
Backend>Official News

Python 3.13.5 is now available!
A new Python blog post/announcement has been posted! Get the full details here: Python Insider: Python 3.13.5 is now available!
pythoninsider.blogspot.com
/python#official-news
0 2274 1
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

Ruby 3.4.7 Released
A new Ruby blog post/announcement has been posted!
ruby-lang.org
/ruby#official-news
0 2729 0
New
NewsBot
Backend>Official News

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

Other popular topics Top

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
DevotionGeo
Backend>Questions

Can someone explain the -t option/flag in docker run command?
I know that -t flag is used along with -i flag for getting an interactive shell. But I cannot digest what the man page for docker run com...
#docker
7 10261 2
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
247 7246 91
New
PragmaticBookshelf
Data Science

Genetic Algorithms in Elixir
From finance to artificial intelligence, genetic algorithms are a powerful tool with a wide array of applications. But you don't need an ...
#pragprog#ai/elixir#published-book/book-genetic-algorithms-in-elixir
25 5243 6
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
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
husaindevelop
Android>Questions

Clipboard readtext not working in android webview
Inside our android webview app, we are trying to paste the copied content from another app eg (notes) using navigator.clipboard.readtext ...
#android#clipboard
1 5651 0
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
AnfaengerAlex
Android>Questions

Unresolved Reference to android in build.gradle.kts – Beginner Issue
Hello, I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...
#binding
0 7460 2
New
xiji2646-netizen
AI>Chat

Claude Code's entire source just leaked (512K lines) - anyone else digging through it?
Woke up to this today: Claude Code’s complete source code exposed via npm source map. Not a snippet. All 512,000 lines. 1,900 TypeScript ...
#claude
6 8359 5
New
Back to top

Sponsor Spotlight

Manning

Develop your skills with books, videos, and courses.

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