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

bot
Backend>Official News

Kotlin v1.4.20-M1 released!
Kotlin v1.4.20-M1 has been released. Link: Release Kotlin 1.4.20-M1 · JetBrains/kotlin · GitHub
github.com
/kotlin#language-release-news
2 1907 0
New
First poster: bot
Backend>Official News

Node.js v12.20.0, v15.3.0 and v14.15.1 released!
Node.js v12.20.0, v15.3.0 and v14.15.1 has been released. Link: Release 2020-11-24, Version 12.20.0 'Erbium' (LTS), @mylesborins · node...
github.com
#news/nodejs
0 2331 1
New
First poster: bot
Backend>Official News

Lunatic: How I built a telnet chat server in 2021 with WebAssembly
A new Lunatic blog post/announcement has been posted! Get the full details here: https://lunatic.solutions/lunatic-chat/
lunatic.solutions
#chat/wasm#official-news/lunatic
0 1593 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: 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

Laravel v10.0.5 released!
Laravel v10.0.5 has been released. Link: Release v10.0.5 · laravel/laravel · GitHub
github.com
/laravel#official-news
0 1646 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.13.6 is now available
A new Python blog post/announcement has been posted! This is the sixth maintenance release of Python 3.13 Python 3.13 is the newest maj...
pythoninsider.blogspot.com
/python#official-news
0 1417 0
New
NewsBot
Backend>Official News

Ruby 3.4.7 Released
A new Ruby blog post/announcement has been posted!
ruby-lang.org
/ruby#official-news
0 2729 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
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
Margaret
General Dev>Dev Chat

PragProg’s Medium Posts
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
#pragprog#blog-post
1147 29994 760
New
foxtrottwist
General Dev>Dev Chat

Warp—The blazingly fast, Rust-based terminal
A few weeks ago I started using Warp a terminal written in rust. Though in it’s current state of development there are a few caveats (tab...
/rust#terminal
52 6785 22
New
PragmaticBookshelf
Backend>Learning Resources

Effective Haskell
Build efficient applications that exploit the unique benefits of a pure functional language, learning from an engineer who uses Haskell t...
pragprog.com
#pragprog/haskell#published-book/book-effective-haskell
15 10218 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
PragmaticBookshelf
Backend>Learning Resources

C Brain Teasers
25 puzzles that will make you a better C programmer by challenging your knowledge of the language, and explaining the technical details o...
pragprog.com
#pragprog#published-book/c/book-c-brain-teasers
4 3873 2
New
PragmaticBookshelf
Backend>Learning Resources

Server-Driven Web Apps with htmx
Build modern server-driven web applications using htmx. Whatever programming language you use, you’ll write less (and cleaner) code. ...
pragprog.com
#pragprog#web-development#published-book/book-server-driven-web-apps-with-htmx
6 5257 3
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
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

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