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
Popular Backend topics
Kotlin v1.4.0 has been released.
Link: Release Kotlin 1.4.0 · JetBrains/kotlin · GitHub
New
Gleam v0.11.0 is out! As per usual I’ve made a post giving an overview of what’s new. Check it out here -> https://lpil.uk/blog/gleam-...
New
Quarkus 1.10.0.CR1 has been released.
Link: Release 1.10.0.CR1 · quarkusio/quarkus · GitHub
New
Integrated Haskell Platform v20201127 has been released.
Link: Release Beta 27.11.2020 · digitallyinduced/ihp · GitHub
New
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...
New
Spring v5.1.20.RELEASE, v5.2.12.RELEASE and v5.3.2 has been released.
Link: Release v5.1.20.RELEASE · spring-projects/spring-framework ...
New
phel-lang/phel-lang.
Phel is a functional programming language that compiles to PHP. It is a dialect of Lisp inspired by Clojure and Jan...
New
Kotlin v1.6.10 has been released.
Link: Release Kotlin 1.6.10 · JetBrains/kotlin · GitHub
New
A new Gleam blog post/announcement has been posted!
Get the full details here: Hello echo! Hello git! - Gleam
New
Node.js v24.0.0 has been released.
Link: Release 2025-05-06, Version 24.0.0 (Current), @RafaelGSS and @juanarbol · nodejs/node · GitHub
New
Other popular topics
I’m thinking of buying a monitor that I can rotate to use as a vertical monitor?
Also, I want to know if someone is using it for program...
New
poll
poll
Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
New
Small essay with thoughts on macOS vs. Linux:
I know @Exadra37 is just waiting around the corner to scream at me “I TOLD YOU SO!!!” but I...
New
In case anyone else is wondering why Ruby 3 doesn’t show when you do asdf list-all ruby :man_facepalming: do this first:
asdf plugin-upd...
New
Intensively researching Erlang books and additional resources on it, I have found that the topic of using Regular Expressions is either c...
New
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...
New
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
I am trying to crate a game for the Nintendo switch, I wanted to use Java as I am comfortable with that programming language. Can you use...
New
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
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
Sponsor Spotlight
Catch errors, track performance, monitor hosts and more.
Latest in Idris
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /python
- /rails
- /js
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /svelte
- /onivim
- /typescript
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /elm
- /flutter
- /vscode
- /ash
- /html
- /opensuse
- /centos
- /php
- /zig
- /deepseek
- /scala
- /lisp
- /sublime-text
- /textmate
- /react-native
- /nixos
- /debian
- /agda
- /kubuntu
- /arch-linux
- /django
- /deno
- /ubuntu
- /revery
- /manjaro
- /nodejs
- /spring
- /diversity
- /lua
- /julia
- /slackware
- /c
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that move you from confusion to "Aha, now I get it!"