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

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

Phel is a functional programming language inspired by Clojure that compiles to PHP
phel-lang/phel-lang. Phel is a functional programming language that compiles to PHP. It is a dialect of Lisp inspired by Clojure and Jan...
github.com
/clojure/php#programming#phel
0 1696 0
New
First poster: bot
Backend>Official News

Scala v2.13.6 released!
Scala v2.13.6 has been released. Link: Release Scala 2.13.6 · scala/scala · GitHub
github.com
/scala#official-news
0 1741 0
New
First poster: bot
Backend>Official News

Node.js v14.18.3 and v12.22.9 released!
Node.js v14.18.3 and v12.22.9 has been released. Link: Release 2022-01-10, Version 14.18.3 'Fermium' (LTS), @richardlau · nodejs/node ·...
github.com
/nodejs#official-news
0 1868 0
New
First poster: bot
Backend>Official News

Node.js v18.16.0 released!
Node.js v18.16.0 has been released. Link: Release 2023-04-12, Version 18.16.0 'Hydrogen' (LTS), @danielleadams · nodejs/node · GitHub
github.com
/nodejs#official-news
0 1687 0
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

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

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

AstonJ
Science/Tech>Tech Chat

What are you watching?
Or looking forward to? :nerd_face:
#community
503 15149 280
New
DevotionGeo
General Dev>Code Editors

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

How fast do you type? Check your WPM here!
Do the test and post your score :nerd_face: :keyboard: If possible, please add info such as the keyboard you’re using, the layout (Qw...
typing-speed-test.aoeu.eu
/keyboards
82 7682 31
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
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Rebecca Skinner (Author) Interview and AMA!
Author Spotlight Rebecca Skinner @RebeccaSkinner Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
#author-spotlight/haskell/book-effective-haskell
106 11719 28
New
DevotionGeo
General Dev>Questions

Do you prefer regular mechanical keyboards or low profile mechanical keyboards and why?
I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...
/keyboards#mechanical-keyboards
27 5496 10
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
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
AstonJ
AI>Chat

Post your DeepSeek results
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
/deepseek
15 4275 15
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 9973 5
New
Back to top

Sponsor Spotlight

Linux New Media

Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.

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