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!
bot
Share link for this tweet.
Popular Backend topics
Hi everyone! v0.10 of Gleam is out now! :tada:
Here’s a blog post going over the main additions: https://lpil.uk/blog/gleam-v0.10-releas...
New
Quarkus 1.10.0.CR1 has been released.
Link: Release 1.10.0.CR1 · quarkusio/quarkus · GitHub
New
A new Ruby blog post/announcement has been posted!
Get the full details here: Ruby 3.0.0 RC1 Released
New
More cool tech inspired by <span class="hashtag-icon-placeholder"></span>erlang :nerd_face:
By combining the fault-tolerance and massiv...
New
Circle is a new programming language that extends C++ 17 to support data-driven imperative metaprogramming. Circle combines the immediacy...
New
Gleam v0.16.0 and v0.16.0-rc4 has been released.
Link: Release v0.16.0 · gleam-lang/gleam · GitHub
Link: Release v0.16.0-rc4 · gleam-...
New
Today we are happy to announce axum: An easy to use, yet powerful, web framework designed to take full advantage of the Tokio ecosystem. ...
New
V weekly.2021.50.3 has been released.
Link: Release weekly.2021.50.3 · vlang/v · GitHub
New
A new PostgreSQL blog post/announcement has been posted!
Get the full details here: PostgreSQL: PostgreSQL JDBC 42.3.2/42.2.25 Security...
New
A new Gleam blog post/announcement has been posted!
Get the full details here: Hello echo! Hello git! - Gleam
New
Other popular topics
Hello Devtalk World!
Please let us know a little about who you are and where you’re from :nerd_face:
New
Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...
New
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...
New
There’s a whole world of custom keycaps out there that I didn’t know existed!
Check out all of our Keycaps threads here:
https://forum....
New
I’ve been hearing quite a lot of comments relating to the sound of a keyboard, with one of the most desirable of these called ‘thock’, he...
New
Just done a fresh install of macOS Big Sur and on installing Erlang I am getting:
asdf install erlang 23.1.2
Configure failed.
checking ...
New
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
New
Here’s the story how one of the world’s first production deployments of LiveView came to be - and how trying to improve it almost caused ...
New
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
New
I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...
New
Sponsor Spotlight
Real-time error tracking, performance insights, and observability for devs.
Latest in Idris
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /onivim
- /svelte
- /typescript
- /crystal
- /kotlin
- /c-plus-plus
- /tailwind
- /gleam
- /ocaml
- /react
- /elm
- /flutter
- /vscode
- /ash
- /opensuse
- /centos
- /html
- /php
- /deepseek
- /zig
- /scala
- /lisp
- /textmate
- /sublime-text
- /debian
- /nixos
- /agda
- /react-native
- /kubuntu
- /arch-linux
- /django
- /revery
- /ubuntu
- /spring
- /manjaro
- /nodejs
- /diversity
- /lua
- /c
- /slackware
- /julia
- /markdown
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!"