NewsBot

NewsBot

[Official News] Idris 2 version 0.2.1 Released

A new Idris blog post/announcement has been posted!

Get the full details here: https://www.idris-lang.org/idris-2-version-021-released.html

First Post!

Where Next?

Popular Backend topics Top

Eiji
Elixir version 1.10.3 has been released on Apr 25, 2020. See the release announcement. This release officially supports Erlang/OTP versi...
New
bot
Kotlin v1.4.20-M1 has been released. Link: Release Kotlin 1.4.20-M1 · JetBrains/kotlin · GitHub
New
First poster: bot
Quarkus 1.10.0.CR1 has been released. Link: Release 1.10.0.CR1 · quarkusio/quarkus · GitHub
New
First poster: bot
Integrated Haskell Platform v20201127 has been released. Link: Release Beta 27.11.2020 · digitallyinduced/ihp · GitHub
New
First poster: bot
A new Lunatic blog post/announcement has been posted! Get the full details here: https://lunatic.solutions/lunatic-chat/
New
First poster: bot
Scala v2.13.6 has been released. Link: Release Scala 2.13.6 · scala/scala · GitHub
New
NewsBot
Rocket v0.5.0-rc.1 has been released. Link: Release Rocket v0.5.0-rc.1 · rwf2/Rocket · GitHub
New
First poster: bot
A new Rust blog post/announcement has been posted! Get the full details here: Security advisory for the regex crate (CVE-2022-24713) | ...
New
NewsBot
Node.js v22.19.0 has been released. Link: Release 2025-08-28, Version 22.19.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
New
NewsBot
A new Kotlin blog post/announcement has been posted! Get the full details here: https://blog.jetbrains.com/amper/2025/10/amper-update-o...
New

Other popular topics Top

wolf4earth
@AstonJ prompted me to open this topic after I mentioned in the lockdown thread how I started to do a lot more for my fitness. https://f...
New
DevotionGeo
I know that -t flag is used along with -i flag for getting an interactive shell. But I cannot digest what the man page for docker run com...
New
AstonJ
I ended up cancelling my Moonlander order as I think it’s just going to be a bit too bulky for me. I think the Planck and the Preonic (o...
New
DevotionGeo
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
New
Maartz
Hi folks, I don’t know if I saw this here but, here’s a new programming language, called Roc Reminds me a bit of Elm and thus Haskell. ...
New
PragmaticBookshelf
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
New
First poster: bot
zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...
New
New
NewsBot
Node.js v22.14.0 has been released. Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
New
Fl4m3Ph03n1x
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...
New