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
Another BEAM language…
The Hamler Programming Language
Hamler is a strongly-typed language with compile-time typechecking and built-in...
New
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
Node.js v15.10.0, v14.16.0 and v12.21.0 has been released.
Link: https://github.com/nodejs/node/releases/tag/v15.10.0
Link: Release 2...
New
A new PostgreSQL blog post/announcement has been posted!
Get the full details here: PostgreSQL: Generate realistic test Data for Postgr...
New
Node.js v14.17.6 and v12.22.6 has been released.
Link: Release 2021-08-31, Version 14.17.6 'Fermium' (LTS), @MylesBorins · nodejs/node ...
New
Node.js v16.17.0 has been released.
Link: https://github.com/nodejs/node/releases/tag/v16.17.0
New
Node.js v18.16.0 has been released.
Link: Release 2023-04-12, Version 18.16.0 'Hydrogen' (LTS), @danielleadams · nodejs/node · GitHub
New
A new Gleam blog post/announcement has been posted!
Get the full details here: Hello echo! Hello git! - Gleam
New
A new Go blog post/announcement has been posted!
Get the full details here: Traversal-resistant file APIs - The Go Programming Language
New
Other popular topics
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
New
We have a thread about the keyboards we have, but what about nice keyboards we come across that we want? If you have seen any that look n...
New
The V Programming Language
Simple language for building maintainable programs
V is already mentioned couple of times in the forum, but I...
New
Use WebRTC to build web applications that stream media and data in real time directly from one user to another, all in the browser.
...
New
Saw this on TikTok of all places! :lol:
Anyone heard of them before?
Lite:
New
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
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
Author Spotlight
Erin Dees
@undees
Welcome to our new author spotlight! We had the pleasure of chatting with Erin Dees, co-author of ...
New
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
New
Sponsor Spotlight
Real-time error tracking, performance insights, and observability for devs.
Latest in Idris
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /svelte
- /onivim
- /typescript
- /kotlin
- /crystal
- /c-plus-plus
- /tailwind
- /react
- /gleam
- /ocaml
- /flutter
- /elm
- /vscode
- /ash
- /html
- /opensuse
- /centos
- /zig
- /deepseek
- /php
- /scala
- /react-native
- /sublime-text
- /lisp
- /textmate
- /debian
- /nixos
- /agda
- /kubuntu
- /django
- /arch-linux
- /deno
- /nodejs
- /ubuntu
- /revery
- /spring
- /manjaro
- /lua
- /diversity
- /julia
- /markdown
- /slackware
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.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
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!"