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
Integrated Haskell Platform v20201113 has been released.
Link: Release Beta 13.11.2020 · digitallyinduced/ihp · GitHub
New
Integrated Haskell Platform v20201127 has been released.
Link: Release Beta 27.11.2020 · digitallyinduced/ihp · GitHub
New
A new Haskell blog post/announcement has been posted!
Get the full details here: Status update: GHC on Apple M1 hardware — The Glasgow ...
New
A new Lunatic blog post/announcement has been posted!
Get the full details here: https://lunatic.solutions/lunatic-chat/
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
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
A new Go blog post/announcement has been posted!
Get the full details here: Twelve Years of Go - The Go Programming Language
New
Node.js v22.15.0 has been released.
Link: Release 2025-04-23, Version 22.15.0 'Jod' (LTS), @UlisesGascon prepared by @RafaelGSS · nodej...
New
A new Python blog post/announcement has been posted!
Get the full details here: Python Insider: Python 3.13.5 is now available!
New
Node.js v25.0.0 has been released.
Link: https://github.com/nodejs/node/releases/tag/v25.0.0
New
Other popular topics
Reading something? Working on something? Planning something? Changing jobs even!?
If you’re up for sharing, please let us know what you’...
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
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
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
Rails 7 completely redefines what it means to produce fantastic user experiences and provides a way to achieve all the benefits of single...
New
Build efficient applications that exploit the unique benefits of a pure functional language, learning from an engineer who uses Haskell t...
New
Author Spotlight:
Karl Stolley
@karlstolley
Logic! Rhetoric! Prag! Wow, what a combination. In this spotlight, we sit down with Karl ...
New
Will Swifties’ war on AI fakes spark a deepfake porn reckoning?
New
Node.js v22.14.0 has been released.
Link: Release 2025-02-11, Version 22.14.0 'Jod' (LTS), @aduh95 · nodejs/node · GitHub
New
Ask Me Anything with
Mark Volkmann
@mvolkmann
On February 24 and 25, we are giving you a chance to ask questions of PragProg author M...
New
Sponsor Spotlight
Develop your skills with books, videos, and courses.
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!"