Backend>Official News

Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler

NewsBot

NewsBot

Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler

A new Kotlin blog post/announcement has been posted!

Get the full details here: Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler | The Research Blog

View thread on forum
/kotlin#testing#concurrency#official-news
0 258 0

Where Next?

View thread on forum
kotlin
testing
concurrency
official-news
Home Backend>Official News
/kotlin#testing#concurrency#official-news
0 258 0
Last post

Popular Backend topics Top

First poster: bot
Backend>Official News

Integrated Haskell Platform v20201127 released!
Integrated Haskell Platform v20201127 has been released. Link: Release Beta 27.11.2020 · digitallyinduced/ihp · GitHub
github.com
/haskell#news/ihp
1 1757 1
New
NewsBot
Backend>Official News

PostgreSQL: Announcing the release of Apache AGE 0.3.0
A new PostgreSQL blog post/announcement has been posted! Get the full details here: PostgreSQL: Announcing the release of Apache AGE 0.3.0
postgresql.org
#postgres/postgresql#official-news#graph-databases
2 1645 1
New
First poster: bot
Backend>Official News

Circle: The C++ Automation Language
Circle is a new programming language that extends C++ 17 to support data-driven imperative metaprogramming. Circle combines the immediacy...
circle-lang.org
/c-plus-plus#circle
0 1976 0
New
NewsBot
Backend>Official News

Announcing Rust 1.83.0
A new Rust blog post/announcement has been posted!
blog.rust-lang.org
/rust#official-news
0 5224 0
New
NewsBot
Backend>Official News

Node.js v22.14.0 released!
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 4251 0
New
NewsBot
Backend>Official News

Node.js v22.15.0 released!
Node.js v22.15.0 has been released. Link: Release 2025-04-23, Version 22.15.0 'Jod' (LTS), @UlisesGascon prepared by @RafaelGSS · nodej...
github.com
/nodejs#official-news
0 1911 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

Node.js v20.19.5 released!
Node.js v20.19.5 has been released. Link: Release 2025-09-03, Version 20.19.5 'Iron' (LTS), @marco-ippolito · nodejs/node · GitHub
github.com
/nodejs#official-news
0 2655 0
New
NewsBot
Backend>Official News

Node.js v25.2.1 released!
Node.js v25.2.1 has been released. Link: Release 2025-11-17, Version 25.2.1 (Current), @aduh95 · nodejs/node · GitHub
github.com
/nodejs#official-news
0 887 0
New
NewsBot
Backend>Official News

Announcing Rust 1.92.0
A new Rust blog post/announcement has been posted! Get the full details here: https://blog.rust-lang.org/2025/12/11/Rust-1.92.0/
blog.rust-lang.org
/rust#official-news
0 0 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
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition
Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...
pragprog.com
#pragprog/python/ruby#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition#math#algorithms/js
19 6022 5
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
Rainer
Community>Journals

Programming Erlang Book Club
My first contact with Erlang was about 2 years ago when I used RabbitMQ, which is written in Erlang, for my job. This made me curious and...
/erlang/book-programming-erlang-2nd-edition#book-club
195 6815 95
New
DevotionGeo
General Dev>Dev Chat

The V Programming Language
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
#programminguages/v
21 13874 7
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
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 12337 3
New
PragmaticBookshelf
Backend>Learning Resources

Risk-First Software Development, Second Edition
As digital systems increasingly run the world, mastery of the recurring patterns of software development risk is the key to fast and effe...
pragprog.com
#pragprog#published-book/book-risk-first-software-development-second-edition
12 4217 8
New
pragdave
AI>Learning Resources

A Common-Sense Guide to AI Engineering
Build robust LLM-powered apps, chatbots, and agents while mastering AI engineering principles that will help you outlast the tools and th...
pragprog.com
#pragprog
17 1852 8
New
Back to top

Sponsor Spotlight

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Latest in Kotlin

Kotlin 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