NewsBot
We're Working on the Idris Website
A new Idris blog post/announcement has been posted!
Get the full details here: We're Working on the Idris Website
Popular Backend topics
A new PostgreSQL blog post/announcement has been posted!
Get the full details here: PostgreSQL: Announcing the release of Apache AGE 0.3.0
New
A new Lunatic blog post/announcement has been posted!
Get the full details here: https://lunatic.solutions/lunatic-chat/
New
Julia v1.6.0 has been released.
Link: Release v1.6.0 · JuliaLang/julia · GitHub
New
A new PostgreSQL blog post/announcement has been posted!
Get the full details here: PostgreSQL: dbForge Schema Compare for PostgreSQL 1...
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
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
A new Python blog post/announcement has been posted!
This is the sixth maintenance release of Python 3.13
Python 3.13 is the newest maj...
New
Node.js v24.8.0 has been released.
Link: Release 2025-09-10, Version 24.8.0 (Current), @targos · nodejs/node · GitHub
New
Node.js v25.3.0, v24.13.0 and v22.22.0 has been released.
Link: https://github.com/nodejs/node/releases/tag/v25.3.0
Link: https://git...
New
Node.js v24.15.0 has been released.
Link: https://github.com/nodejs/node/releases/tag/v24.15.0
New
Other popular topics
Instantly view the changes you make to an app with stateful hot reload, and define a declarative UI in the same language as the app logic...
New
Start building native Android apps the modern way in Kotlin with Jetpack's expansive set of tools, libraries, and best practices. Learn h...
New
New
Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...
New
This is going to be a long an frequently posted thread.
While talking to a friend of mine who has taken data structure and algorithm cou...
New
Author Spotlight
Rebecca Skinner
@RebeccaSkinner
Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
New
Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...
New
A Brief Review of the Minisforum V3 AMD Tablet.
Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...
New
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc.
However, I don’t...
New
There’s a GitHub repo at forrestchang/andrej-karpathy-skills that’s sitting at 97.8k stars. It’s a single CLAUDE.md file with four behavi...
New
Sponsor Spotlight
Practical resources that improve the lives of professional developers.
Latest in Idris
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /java
- /clojure
- /emacs
- /haskell
- /typescript
- /svelte
- /onivim
- /kotlin
- /c-plus-plus
- /crystal
- /react
- /tailwind
- /gleam
- /ocaml
- /elm
- /vscode
- /flutter
- /html
- /ash
- /deepseek
- /zig
- /opensuse
- /centos
- /php
- /react-native
- /scala
- /lisp
- /sublime-text
- /textmate
- /debian
- /nixos
- /agda
- /deno
- /django
- /kubuntu
- /arch-linux
- /nodejs
- /spring
- /ubuntu
- /revery
- /manjaro
- /julia
- /quarkus
- /lua
- /diversity
- /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.
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!"
Publishing Linux Magazine, ADMIN, and MakerSpace for 25+ years.