NewsBot

NewsBot

Idris 2 version 0.6.0 Released

A new Idris blog post/announcement has been posted!

Get the full details here: Idris 2 version 0.6.0 Released

Where Next?

Popular Backend topics Top

First poster: bot
Integrated Haskell Platform v20201127 has been released. Link: Release Beta 27.11.2020 · digitallyinduced/ihp · GitHub
New
First poster: bot
Ruby on Rails v6.1.0 has been released. Link: Release 6.1.0 · rails/rails · GitHub
New
First poster: bot
Kotlin v1.6.10 has been released. Link: Release Kotlin 1.6.10 · JetBrains/kotlin · GitHub
New
NewsBot
Node.js v18.19.0 has been released. Link: Release 2023-11-29, Version 18.19.0 'Hydrogen' (LTS), @targos · nodejs/node · GitHub
New
NewsBot
A new Rust blog post/announcement has been posted! Get the full details here: 2024 State of Rust Survey Results | Rust Blog
New
First poster: brennan
A new Gleam blog post/announcement has been posted! Get the full details here: Hello echo! Hello git! - Gleam
New
NewsBot
Node.js v20.19.0 has been released. Link: Release 2025-03-13, Version 20.19.0 'Iron' (LTS), @marco-ippolito · nodejs/node · GitHub
New
NewsBot
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rust 1.87.0 and ten years of Rust! | Rust Blog
New
NewsBot
A new Rust blog post/announcement has been posted! Get the full details here: Announcing Rust 1.88.0 | Rust Blog
New
NewsBot
Node.js v24.9.0 has been released. Link: Release 2025-09-25, Version 24.9.0 (Current), @targos · nodejs/node · GitHub
New

Other popular topics Top

PragmaticBookshelf
Learn from the award-winning programming series that inspired the Elixir language, and go on a step-by-step journey through the most impo...
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
New
New
foxtrottwist
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...
New
PragmaticBookshelf
Build efficient applications that exploit the unique benefits of a pure functional language, learning from an engineer who uses Haskell t...
New
AstonJ
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...
New
PragmaticBookshelf
Programming Ruby is the most complete book on Ruby, covering both the language itself and the standard library as well as commonly used t...
New
First poster: bot
zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. General-purpose programming language and toolchain for maintaini...
New
New