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
Kotlin v1.4.20-M1 has been released.
Link: Release Kotlin 1.4.20-M1 · JetBrains/kotlin · GitHub
New
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
Julia v1.5.4 has been released.
Link: Release v1.5.4 · JuliaLang/julia · GitHub
New
Circle is a new programming language that extends C++ 17 to support data-driven imperative metaprogramming. Circle combines the immediacy...
New
A new Ruby blog post/announcement has been posted!
Get the full details here: CVE-2021-28966: Path traversal in Tempfile on Windows
New
Scala v2.13.6 has been released.
Link: Release Scala 2.13.6 · scala/scala · GitHub
New
A new Rust blog post/announcement has been posted!
Get the full details here: Announcing Rust 1.53.0 | Rust Blog
New
Julia v1.7.0-beta2 has been released.
Link: Release v1.7.0-beta2 · JuliaLang/julia · GitHub
New
Deep Learning with Python, Second Edition is a comprehensive introduction to the field of deep learning using Python and the powerful Ker...
New
A new Rust blog post/announcement has been posted!
Get the full details here: Security advisory for the regex crate (CVE-2022-24713) | ...
New
Other popular topics
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
Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters...
New
New
Tailwind CSS is an exciting new CSS framework that allows you to design your site by composing simple utility classes to create complex e...
New
Biggest jackpot ever apparently! :upside_down_face:
I don’t (usually) gamble/play the lottery, but working on a program to predict the...
New
Was just curious to see if any were around, found this one:
I got 51/100:
Not sure if it was meant to buy I am sure at times the b...
New
Author Spotlight:
VM Brasseur
@vmbrasseur
We have a treat for you today! We turn the spotlight onto Open Source as we sit down with V...
New
If you’re getting errors like this:
psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
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
Sponsor Spotlight
We build trusted fault-tolerant systems that scale to billions of users.
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
- /typescript
- /svelte
- /crystal
- /kotlin
- /c-plus-plus
- /tailwind
- /gleam
- /react
- /ocaml
- /flutter
- /elm
- /vscode
- /ash
- /html
- /opensuse
- /centos
- /php
- /deepseek
- /zig
- /scala
- /lisp
- /sublime-text
- /textmate
- /nixos
- /debian
- /react-native
- /agda
- /kubuntu
- /arch-linux
- /django
- /revery
- /ubuntu
- /spring
- /manjaro
- /nodejs
- /diversity
- /lua
- /julia
- /slackware
- /c
- /neovim
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!"