NewsBot
Idris 2 version 0.2.2 Released
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.2.2 Released
Popular Backend topics
A new Python blog post/announcement has been posted!
Get the full details here: http://feedproxy.google.com/~r/PythonInsider/~3/1uMoG-S...
New
Symfony v5.2.0-BETA1 has been released.
Link: Release v5.2.0-BETA1 · symfony/symfony · GitHub
New
Kotlin v1.4.20 has been released.
Link: Release Kotlin 1.4.20 · JetBrains/kotlin · GitHub
New
Node.js v12.20.0, v15.3.0 and v14.15.1 has been released.
Link: Release 2020-11-24, Version 12.20.0 'Erbium' (LTS), @mylesborins · node...
New
Vapor 4.37.0 has been released.
Link: Release Streaming files as partial content · vapor/vapor · GitHub
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 Crystal blog post/announcement has been posted!
Get the full details here: Crystal 0.36.1 released! - The Crystal Programming Lan...
New
Kotlin v1.6.10-RC has been released.
Link: Release Kotlin 1.6.10-RC · JetBrains/kotlin · GitHub
New
Node.js v14.19.1 and v12.22.11 has been released.
Link: Release 2022-03-17, Version 14.19.1 'Fermium' (LTS), @richardlau · nodejs/node ...
New
Julia v1.9.0-beta1 has been released.
Link: Release v1.9.0-beta1 · JuliaLang/julia · GitHub
New
Other popular topics
I’ve been really enjoying obsidian.md:
It is very snappy (even though it is based on Electron). I love that it is all local by defaul...
New
I am thinking in building or buy a desktop computer for programing, both professionally and on my free time, and my choice of OS is Linux...
New
poll
poll
Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
New
Not sure if following fits exactly this thread, or if we should have a hobby thread…
For many years I’m designing and building model air...
New
Hello everyone! This thread is to tell you about what authors from The Pragmatic Bookshelf are writing on Medium.
New
Author Spotlight
James Stanier
@jstanier
James Stanier, author of Effective Remote Work , discusses how to rethink the office as we e...
New
I have always used antique keyboards like Cherry MX 1800 or Cherry MX 8100 and almost always have modified the switches in some way, like...
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
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
We build trusted fault-tolerant systems that scale to billions of users.
Latest in Idris
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /onivim
- /svelte
- /typescript
- /crystal
- /c-plus-plus
- /kotlin
- /tailwind
- /gleam
- /ocaml
- /react
- /flutter
- /elm
- /vscode
- /ash
- /opensuse
- /centos
- /php
- /deepseek
- /html
- /zig
- /scala
- /sublime-text
- /textmate
- /nixos
- /debian
- /lisp
- /agda
- /react-native
- /kubuntu
- /arch-linux
- /revery
- /ubuntu
- /django
- /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'll move you from confusion to "Aha, now I get it!"