Backend>Official News

Idris 2 version 0.8.0 Released

NewsBot

NewsBot

Idris 2 version 0.8.0 Released

A new Idris blog post/announcement has been posted!

Get the full details here: Idris 2 version 0.8.0 Released

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

Where Next?

View thread on forum
idris
official-news
Home Backend>Official News
/idris#official-news
0 173 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
bot
Backend>Official News

Kotlin v1.4.0 released!
Kotlin v1.4.0 has been released. Link: Release Kotlin 1.4.0 · JetBrains/kotlin · GitHub
/kotlin#language-release-news
1 2050 0
New
First poster: bot
Backend>Official News

Ruby on Rails v6.1.0 released!
Ruby on Rails v6.1.0 has been released. Link: Release 6.1.0 · rails/rails · GitHub
github.com
/ruby/rails#news
0 2037 0
New
First poster: bot
Backend>Official News

Node.js v12.22.0 released!
Node.js v12.22.0 has been released. Link: Release 2021-03-30, Version 12.22.0 'Erbium' (LTS), @richardlau · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1784 0
New
First poster: OvermindDL1
Backend>Official News

Announcing Axum - an easy to use, powerful, web framework for Tokio (Tokio is an asynchronous runtime for the Rust programming language)
Today we are happy to announce axum: An easy to use, yet powerful, web framework designed to take full advantage of the Tokio ecosystem. ...
tokio.rs
/rust#tokio#axum
13 4370 5
New
First poster: bot
Backend>Official News

PostgreSQL JDBC 42.3.2/42.2.25 Security update
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: PostgreSQL JDBC 42.3.2/42.2.25 Security...
postgresql.org
/security#postgres/postgresql#official-news
0 1728 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
First poster: bot
Backend>Official News

Node.js v16.17.0 released!
Node.js v16.17.0 has been released. Link: https://github.com/nodejs/node/releases/tag/v16.17.0
github.com
/nodejs#official-news
0 1491 0
New
NewsBot
Backend>Official News

What’s Next for Kotlin Multiplatform and Compose Multiplatform – August 2025 Update
A new Kotlin blog post/announcement has been posted! Get the full details here: What’s Next for Kotlin Multiplatform and Compose Multip...
blog.jetbrains.com
/kotlin#official-news#compose
0 2458 0
New
NewsBot
Backend>Official News

Node.js v24.7.0 released!
Node.js v24.7.0 has been released. Link: Release 2025-08-27, Version 24.7.0 (Current), @targos · nodejs/node · GitHub
github.com
/nodejs#official-news
0 2875 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
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
PragmaticBookshelf
General Dev>Learning Resources

Seven More Languages in Seven Weeks
Learn from the award-winning programming series that inspired the Elixir language, and go on a step-by-step journey through the most impo...
pragprog.com
#pragprog/elixir/julia/lua#published-book#factor/elm#minikanren/idris/book-seven-more-languages-in-seven-weeks
4 5862 0
New
AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
498 13326 269
New
Exadra37
General Dev>Hardware

What monitor(s) do you have for programming?
Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...
#monitors#coding#programming#development
227 11362 88
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
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
243 6639 97
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
Frontend>Chat

Online Hand to eye coordination test
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
#online-tools
4 4562 1
New
First poster: AstonJ
General Dev>In The News

Jan: An open source alternative to ChatGPT that runs on the desktop
Jan | Rethink the Computer. Jan turns your computer into an AI machine by running LLMs locally on your computer. It’s a privacy-focus, l...
jan.ai
#desktop#chatgpt
4 5652 4
New
Back to top

Sponsor Spotlight

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

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