Backend>Official News

[Official News] Idris 2 version 0.2.1 Released

NewsBot

NewsBot

[Official News] Idris 2 version 0.2.1 Released

A new Idris blog post/announcement has been posted!

Get the full details here: https://www.idris-lang.org/idris-2-version-021-released.html

1 comment
#news/idris
1 1415 1

First Post!

Where Next?

View thread on forum
idris
news
Home Backend>Official News
#news/idris
1 1415 1
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

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

dbForge Schema Compare for PostgreSQL 1.2 Released with a Bunch of New Features
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: dbForge Schema Compare for PostgreSQL 1...
postgresql.org
#postgres/postgresql#official-news
0 1648 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

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
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

Python 3.14 release candidate 1 is go!
A new Python blog post/announcement has been posted! Get the full details here: Python Insider: Python 3.14 release candidate 1 is go!
pythoninsider.blogspot.com
/python#official-news
0 1789 0
New
NewsBot
Backend>Official News

Node.js v22.19.0 released!
Node.js v22.19.0 has been released. Link: Release 2025-08-28, Version 22.19.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 4086 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

PostgreSQL 18.1, 17.7, 16.11, 15.15, 14.20, and 13.23 Released!
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: PostgreSQL 18.1, 17.7, 16.11, 15.15, 14...
postgresql.org
#postgres/postgresql#official-news
0 1439 0
New

Other popular topics Top

PragmaticBookshelf
Backend>Learning Resources

Programming Machine Learning
Machine learning can be intimidating, with its reliance on math and algorithms that most programmers don't encounter in their regular wor...
pragprog.com
#pragprog#ai/python#published-book/book-programming-machine-learning#math#algorithms
6 5350 3
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
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
DevotionGeo
General Dev>Code Editors

Dendron: a personal knowledge management tool on top of VSCode
/vscode#visual-studio-code
30 8077 9
New
Exadra37
Linux>Chat

RancherOS is in end of life
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
#linux#rancheros
10 6358 6
New
First poster: CommunityNews
AI>In The News

How to fix the eyes in AI-generated images
aidemos.info
0 4508 0
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Peter Ullrich (Author) Interview and AMA!
Author Spotlight: Peter Ullrich @PJUllrich Data is at the core of every business, but it is useless if nobody can access and analyze ...
/elixir/phoenix/book-building-table-views-with-phoenix-liveview
72 4765 21
New
PragmaticBookshelf
Backend>Learning Resources

Engineering Elixir Applications
Develop, deploy, and debug BEAM applications using BEAMOps: a new paradigm that focuses on scalability, fault tolerance, and owning each ...
pragprog.com
#pragprog/elixir#published-book/book-engineering-elixir-applications
40 7136 21
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
General Dev>Learning Resources

Write Better with Vale
Lint your docs like code: turn any style guide into enforceable rules with Vale and publish clear, consistent content every time. ...
pragprog.com
#pragprog#published-book#vale/book-write-better-with-vale
8 3707 4
New
Back to top

Sponsor Spotlight

EEF

Supporting innovation across the BEAM ecosystem.

Latest in Idris

Idris 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