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
Popular Backend topics
Quarkus 1.9.1.Final has been released.
Link: Release 1.9.1.Final · quarkusio/quarkus · GitHub
New
A new Haskell blog post/announcement has been posted!
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: Generate realistic test Data for Postgr...
New
A new Haskell blog post/announcement has been posted!
Get the full details here: GHC 9.2.1-alpha2 now available — The Glasgow Haskell C...
New
Spring v6.0.0-M1 has been released.
Link: Release v6.0.0-M1 · spring-projects/spring-framework · GitHub
New
A new Crystal blog post/announcement has been posted!
Get the full details here: Crystal's interpreter – A very special holiday present...
New
A new Gleam blog post/announcement has been posted!
Get the full details here: Hello echo! Hello git! - Gleam
New
Node.js v24.7.0 has been released.
Link: Release 2025-08-27, Version 24.7.0 (Current), @targos · nodejs/node · GitHub
New
Node.js v24.8.0 has been released.
Link: Release 2025-09-10, Version 24.8.0 (Current), @targos · nodejs/node · GitHub
New
Other popular topics
New
Curious to know which languages and frameworks you’re all thinking about learning next :upside_down_face:
Perhaps if there’s enough peop...
New
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
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
The File System Access API with Origin Private File System.
WebKit supports new API that makes it possible for web apps to create, open,...
New
Author Spotlight
Jamis Buck
@jamis
This month, we have the pleasure of spotlighting author Jamis Buck, who has written Mazes for Prog...
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
I’m able to do the “artistic” part of game-development; character designing/modeling, music, environment modeling, etc.
However, I don’t...
New
This is a very quick guide, you just need to:
Download LM Studio: https://lmstudio.ai/
Click on search
Type DeepSeek, then select the o...
New
A concise guide to MySQL 9 database administration, covering fundamental concepts, techniques, and best practices.
Neil Smyth
MySQL...
New
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
- /flutter
- /elm
- /vscode
- /ash
- /opensuse
- /html
- /centos
- /php
- /zig
- /deepseek
- /scala
- /sublime-text
- /lisp
- /textmate
- /react-native
- /nixos
- /debian
- /agda
- /kubuntu
- /arch-linux
- /deno
- /django
- /revery
- /ubuntu
- /manjaro
- /nodejs
- /spring
- /diversity
- /lua
- /julia
- /c
- /slackware







