Backend>Official News

Idris 2 version 0.2.2 Released

NewsBot

NewsBot

Idris 2 version 0.2.2 Released

A new Idris blog post/announcement has been posted!

Get the full details here: Idris 2 version 0.2.2 Released

View thread on forum
/idris#official-news
0 1414 0

Where Next?

View thread on forum
idris
official-news
Home Backend>Official News
/idris#official-news
0 1414 0
Last post

Popular Backend topics Top

First poster: bot
Backend>Official News

Quarkus 1.10.3.Final released!
Quarkus 1.10.3.Final has been released. Link: Release 1.10.3.Final · quarkusio/quarkus · GitHub
github.com
#news/quarkus
0 1760 0
New
First poster: bot
Backend>Official News

R: Enhancements to HTML Documentation
A new R blog post/announcement has been posted! Get the full details here: Enhancements to HTML Documentation - The R Blog
developer.r-project.org
/r/html#official-news
0 1502 0
New
First poster: KnowledgeIsPower
Backend>Official News

Python 3.14.0rc2 and 3.13.7 are go!
A new Python blog post/announcement has been posted! Get the full details here: Python Insider: Python 3.14.0rc2 and 3.13.7 are go!
pythoninsider.blogspot.com
/python#official-news
1 2400 1
New
NewsBot
Backend>Official News

Ruby 3.4.6 Released
A new Ruby blog post/announcement has been posted! Get the full details here: Ruby 3.4.6 Released
ruby-lang.org
/ruby#official-news
0 2350 0
New
NewsBot
Backend>Official News

Python 3.14.0rc3 is go!
A new Python blog post/announcement has been posted!
pythoninsider.blogspot.com
/python#official-news
0 1970 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
NewsBot
Backend>Official News

Node.js v24.9.0 released!
Node.js v24.9.0 has been released. Link: Release 2025-09-25, Version 24.9.0 (Current), @targos · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1458 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.1.0, v24.11.0 and v22.21.1 released!
Node.js v25.1.0, v24.11.0 and v22.21.1 has been released. Link: Release 2025-10-28, Version 25.1.0 (Current), @aduh95 · nodejs/node · G...
github.com
/nodejs#official-news
0 2057 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
General Dev>Learning Resources

The Pragmatic Programmer, 20th Anniversary Edition
Andy and Dave wrote this influential, classic book to help their clients create better software and rediscover the joy of coding. Almost ...
pragprog.com
#pragprog#published-book/book-the-pragmatic-programmer-20th-anniversary-edition
4 4782 0
New
AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
503 15149 280
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
AstonJ
General Dev>Hardware

BIIP MT3 Extended 2048 Custom Keycap Set (Drop)
This looks like a stunning keycap set :orange_heart: A LEGENDARY KEYBOARD LIVES ON When you bought an Apple Macintosh computer in the e...
/keyboards#apple#keycaps#mechanical-keyboards
14 6713 7
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
mafinar
Backend>Chat

Data Structures and Algorithms with Elixir
This is going to be a long an frequently posted thread. While talking to a friend of mine who has taken data structure and algorithm cou...
/elixir#algorithms#data-structures
108 11869 31
New
Help
Game Dev>Questions

Can I use Java to program a game for Nintendo switch?
I am trying to crate a game for the Nintendo switch, I wanted to use Java as I am comfortable with that programming language. Can you use...
/java#nintendo
8 4771 3
New
First poster: CommunityNews
AI>In The News

How to fix the eyes in AI-generated images
aidemos.info
0 4508 0
New
PragmaticBookshelf
Backend>Learning Resources

Simplicity
Fight complexity and reclaim the original spirit of agility by learning to simplify how you develop software. The result: a more humane a...
pragprog.com
#pragprog#published-book/book-simplicity
10 6553 8
New
PragmaticBookshelf
Backend>Learning Resources

MySQL 9 Essentials
A concise guide to MySQL 9 database administration, covering fundamental concepts, techniques, and best practices. Neil Smyth MySQL...
pragprog.com
#pragprog#published-book/mysql/book-mysql-9-essentials
2 4162 0
New
Back to top

Sponsor Spotlight

coders51

We build reliable cloud platforms for business-critical systems.

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