Backend>Official News

Idris 2 version 0.6.0 Released

NewsBot

NewsBot

Idris 2 version 0.6.0 Released

A new Idris blog post/announcement has been posted!

Get the full details here: Idris 2 version 0.6.0 Released

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

Where Next?

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

Popular Backend topics Top

AstonJ
Backend>Official News

The Hamler Programming Language
Another BEAM language… The Hamler Programming Language Hamler is a strongly-typed language with compile-time typechecking and built-in...
/erlang#beam/hamler
13 2659 2
New
First poster: bot
Backend>Official News

Kotlin v1.4.20 released!
Kotlin v1.4.20 has been released. Link: Release Kotlin 1.4.20 · JetBrains/kotlin · GitHub
github.com
/kotlin
0 1636 1
New
First poster: bot
Backend>Official News

Haskell: Status update: GHC on Apple M1 hardware
A new Haskell blog post/announcement has been posted! Get the full details here: Status update: GHC on Apple M1 hardware — The Glasgow ...
haskell.org
#hardware/haskell#apple#official-news
0 1621 0
New
NewsBot
Backend>Official News

Node.js v21.6.2, v20.11.1 and v18.19.1 released!
Node.js v21.6.2, v20.11.1 and v18.19.1 has been released. Link: Release 2024-02-14, Version 21.6.2 (Current), @RafaelGSS · nodejs/node ...
github.com
/nodejs#official-news
0 1259 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

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

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

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

Django security releases issued: 5.2.7, 5.1.13, and 4.2.25
A new Django blog post/announcement has been posted!
djangoproject.com
/django/security#official-news
0 2358 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

AstonJ
General Dev>Hardware

Which keyboard do you have?
If it’s a mechanical keyboard, which switches do you have? Would you recommend it? Why? What will your next keyboard be? Pics always w...
#hardware/keyboards#sticky#mechanical-keyboards
144 9115 50
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
Exadra37
Linux>Questions

What is the most minimalist Linux server distro?
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
#linux#servers
66 25846 24
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
PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1
Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...
pragprog.com
#pragprog/python#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-in-python-volume-1
24 5988 11
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
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
RobertRichards
Game Dev>Chat

Hair Salon Games for Girls Fun
Hair Salon Games for Girls Fun Girls Hair Saloon game is mainly developed for kids. This game allows users to select virtual avatars to ...
#ios#android#unity#fun
2 3556 1
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
Fl4m3Ph03n1x
AI>Questions

What are the best text-to-speech ai generation tools that you can run locally?
Background Lately I am in a quest to find a good quality TTS ai generation tool to run locally in order to create audio for some videos I...
#ai#text-to-speech
6 8411 3
New
Back to top

Sponsor Spotlight

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

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