Backend>Official News

Idris 2 version 0.5.1 Released

NewsBot

NewsBot

Idris 2 version 0.5.1 Released

A new Idris blog post/announcement has been posted!

Get the full details here: Idris 2 version 0.5.1 Released

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

Where Next?

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

Popular Backend topics Top

bot
Backend>Official News

Symfony v4.4.14 released!
Symfony v4.4.14 has been released. Link: Release v4.4.14 · symfony/symfony · GitHub
github.com
#framework-release-news/symfony
2 1548 0
New
First poster: KnowledgeIsPower
Backend>Official News

Learn the Kotlin Basics for Free on JetBrains Academy
A new Kotlin blog post/announcement has been posted! Get the full details here: Learn the Kotlin Basics for Free on JetBrains Academy |...
blog.jetbrains.com
/kotlin#official-news
7 1975 3
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

PostgreSQL: New podcast Postgres FM
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: New podcast Postgres FM
postgresql.org
#postgres/postgresql#official-news
0 1797 0
New
NewsBot
Backend>Official News

Go: Traversal-resistant file APIs
A new Go blog post/announcement has been posted! Get the full details here: Traversal-resistant file APIs - The Go Programming Language
go.dev
/go#official-news#apis
0 859 0
New
NewsBot
Backend>Official News

PostgreSQL JDBC 42.7.7 Security update for CVE-2025-49146
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: PostgreSQL JDBC 42.7.7 Security update ...
postgresql.org
/security#postgres/postgresql#official-news
0 1700 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

Kotlin 2.2.20 Released
A new Kotlin blog post/announcement has been posted! Get the full details here: Kotlin 2.2.20 Released | The Kotlin Blog
blog.jetbrains.com
/kotlin#official-news
0 1545 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

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

Concurrent Data Processing in Elixir
Learn different ways of writing concurrent code in Elixir and increase your application's performance, without sacrificing scalability or...
pragprog.com
#pragprog/elixir#published-book/book-concurrent-data-processing-in-elixir
78 6059 24
New
PragmaticBookshelf
Backend>Learning Resources

Programming Phoenix LiveView
Build highly interactive applications without ever leaving Elixir, the way the experts do. Let LiveView take care of performance, scalabi...
pragprog.com
#pragprog/elixir/phoenix#published-book/book-programming-phoenix-liveview
83 11955 26
New
AstonJ
General Dev>Hardware

CharaChorder - type at the speed of thought?
Saw this on TikTok of all places! :lol: Anyone heard of them before? Lite:
/keyboards#charachorder
13 4703 4
New
AstonJ
Science/Tech>Health & Diet

David Sinclair's new Lifespan podcast
We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...
#health#podcasts#bio-hackers#david-sinclair
87 6790 49
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
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
AstonJ
AI>Chat

How to: Run DeepSeek on Mac, Windows, and Linux!
This is a very quick guide, you just need to: Download LM Studio: https://lmstudio.ai/ Click on search Type DeepSeek, then select the o...
#macs/deepseek#guides#lm-studio
14 9328 10
New
PragmaticBookshelf
Backend>Learning Resources

Advanced Functional Programming with Elixir
Use advanced functional programming principles, practical Domain-Driven Design techniques, and production-ready Elixir code to build scal...
joekoski.com
#pragprog/elixir#published-book#functional-programming/book-advanced-functional-programming-with-elixir
43 4989 22
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