1
Pkl, a Programming Language for Configuration
We are delighted to announce the open source first release of Pkl (pronounced Pickle ), a programming language for producing configuration.
2
How I write HTTP services in Go after 13 years
Mat Ryer, principal engineer at Grafana Labs and host of the Go Time podcast, shares what he’s learned from more than a dozen years of writing HTTP services in Go.
3
Writing Gnome Apps with Swift
Swift is well-suited for creating user interfaces thanks to the clean syntax, static typing, and special features making code easier to write. Result builders, combined with Swift’s closure expression syntax, can significantly enhance code readability.
4
Free-threaded CPython is ready to experiment with
An overview of the ongoing efforts to improve and roll out support for free-threaded CPython throughout the Python open source ecosystem
5
Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support.
6
PHP 8.4
PHP 8.4 is a major update of the PHP language. It contains many new features, such as property hooks, asymmetric visibility, an updated DOM API, performance improvements, bug fixes, and general cleanup.
7
Ruby 3.4.0
We are pleased to announce the release of Ruby 3.4.0. Ruby 3.4 adds it block parameter reference,changes Prism as default parser, adds Happy Eyeballs Version...
8
Tcl 9.0
Tcl/Tk 9.0 is the latest major release of both Tcl and Tk. It features many new capabilities, and presents some incompatibilities with Tcl/Tk 8.
9
Swift 6
We’re delighted to announce the general availability of Swift 6. This is a major new release that expands Swift to more platforms and domains.
10
Improvements to static analysis in GCC 14
Learn about static analysis improvements coming in GCC 14 with -fanalyzer, which helps identify issues in C code at compile-time, rather than at runtime.
11
Clojure 1.12.0 is now available
Clojure 1.12.0 is now available! Find download and usage information on the Downloads page.
12
More powerful Go execution traces
New features and improvements to execution traces from the last year.
13
Translation of Rust's core and alloc crates to Coq for formal verification
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…
14
Swift Static Linux SDK
Swift is a general-purpose programming language built using a modern approach to safety, performance, and software design patterns.
15
Swift Homomorphic Encryption
We’re excited to announce a new open source Swift package for homomorphic encryption in Swift: swift-homomorphic-encryption.
16
What I think about Lua after shipping a project with 60k lines of code
Lead programmer talks Lua’s flexibility, challenges, and integration with Defold game engine after 60k lines of code in Craftomation 101.
17
18
Secure Randomness in Go 1.22
ChaCha8Rand is a new cryptographically secure pseudorandom number generator used in Go 1.22.
19
Go Protobuf: The New Opaque API
We are adding a new generated code API to Go Protobuf.
20
Figma’s Journey to TypeScript
Figma's team recently converted one of its codebases from a custom programming language to TypeScript without disrupting a single day of development.
21
22
A brief interview with Awk creator Dr. Brian Kernighan (2022)
Dr. Brian Kernighan is a Canadian computer scientist who contributed to the development of UNIX at B
23
A Lisp compiler to RISC-V written in Lisp
This is a simple experimental Lisp compiler, written in uLisp, that will compile a Lisp function into RISC-V machine code. You can run the compiler on the RISC-V core of a Raspberry Pi Pico 2 (or another RP2350-based board):
24
Why Safety Profiles Failed
As for dangling pointers and for ownership, this model detects all possible errors . This means that we can guarantee that a program is free of uses of invalidated pointers.
25
OpenD, a D language fork that is open to your contributions
Contributing development work upstream to D leadership has always been a very frustrating process. While the oft-repeated claim that D is a closed-source language is not really true (the D-specific parts of the compiler were GPL'd as early as 2002, leading to an all-GPL compiler (what we now know as gdc) being…
26
Pharo 12
Pharo is a pure object-oriented programming language and a powerful environment focused on simplicity and immediate feedback.
27
Typing lists and tuples in Elixir
This article explores the design decisions of typing lists and tuples in Elixir within a sound gradual type system.
28
Translating 10M lines of Java to Kotlin
Meta has been on a years-long undertaking to translate our entire Android codebase from Java to Kotlin. Today, despite having one of the largest Android codebases in the world, we’re well pas…
29
Erlang/OTP 27 Highlights
The official home of the Erlang Programming Language
30
Byte-Sized Swift: Building Tiny Games for the Playdate
I’m excited to share swift-playdate-examples, a technical demonstration of using Swift to build games for Playdate, a handheld game system by Panic.