RSS feeds
07 Nov 2024
Planet Haskell
Donnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
03 May 2024
blogs.perl.org
Benchmark::DKbench Perl benchmark suite now supports custom benchmarks.
02 May 2024
blogs.perl.org
LPW 2024 - Call For Papers and Sponsors
02 May 2024
blogs.perl.org
Perl Toolchain Summit 2024 - Lisbon Portugal
02 May 2024
blogs.perl.org
Perl Weekly Challenge 267: Line Count
02 May 2024
blogs.perl.org
This week in PSC (146) | 2024-05-02
02 May 2024
Planet Haskell
Tweag I/O: The right words in the right place
02 May 2024
Planet Haskell
Haskell Interlude: 48: José Nuno Oliveira
02 May 2024
Standard C++
User-Defined Formatting in std::format -- Spencer Collyer
01 May 2024
blogs.perl.org
Perl Weekly Challenge 267: Product Sign
01 May 2024
The OCaml Planet
We Host Our First OCaml Retreat in India!
01 May 2024
Planet Haskell
Well-Typed.Com: The Haskell Unfolder Episode 24: generic (un)folds
30 Apr 2024
blogs.perl.org
PTS 2024 - day 1
30 Apr 2024
blogs.perl.org
PTS 2024 - day 2 and 3... the bad days
30 Apr 2024
blogs.perl.org
PTS 2024 - Day 4 - here comes the sun... it's all right!
30 Apr 2024
The OCaml Planet
OCaml Weekly News, 30 Apr 2024
30 Apr 2024
Standard C++
Adding State to the Update Notification Pattern, Part 1 -- Raymond Chen
29 Apr 2024
Planet Haskell
Mark Jason Dominus: Hawat! Hawat! Hawat! A million deaths are not enough for Hawat!
28 Apr 2024
Planet = erlang.
Elixir OTP Design Lessons from Hardware Hosted by Bruce Tate | Erlang Solutions Webinar
28 Apr 2024
Planet Haskell
Mark Jason Dominus: Rod R. Blagojevich will you please go now?
27 Apr 2024
Planet = erlang.
The Potential of Blockchain Technology | Marcus Treacher - ClearBank
27 Apr 2024
Planet = erlang.
The Blockchain Value Opportunity for FinTechs | Simon Taylor - 11:FS
27 Apr 2024
Planet Haskell
GHC Developer Blog: GHC 9.10.1-rc1 is now available
26 Apr 2024
Standard C++
Why you shouldn't have virtual member functions with default parameters -- Andreas Fertig
26 Apr 2024
Standard C++
Looking for Pointers: The C++ Memory Safety Debate -- John Farrier
26 Apr 2024
Standard C++
Embedding (and Extracting) DLLs into EXEs as Binary Resources -- Giovanni Dicanio
26 Apr 2024
Standard C++
CopperSpice: Declarations Gone Wrong -- Copperspice
25 Apr 2024
blogs.perl.org
This week in PSC (145)
25 Apr 2024
The OCaml Planet
OCaml Backtraces on Uncaught Exceptions
25 Apr 2024
Planet Haskell
Tweag I/O: Re-implementing the Nix protocol in Rust
25 Apr 2024
Standard C++
SObjectizer Tales – Epilogue--Marco Arena
24 Apr 2024
blogs.perl.org
Perl Weekly Challenge 266: X Matrix
24 Apr 2024
The OCaml Planet
Under the Hood: Developing Multicore Property-Based Tests for OCaml 5
24 Apr 2024
Newest Python PEPs
PEP 745: Python 3.14 Release Schedule
24 Apr 2024
Planet Haskell
Well-Typed.Com: Improvements to the ghc-debug terminal interface
23 Apr 2024
blogs.perl.org
Perl Weekly Challenge 266: Uncommon Words
23 Apr 2024
The OCaml Planet
OCaml Weekly News, 23 Apr 2024
23 Apr 2024
Planet Haskell
Mark Jason Dominus: R.I.P. Oddbins
23 Apr 2024
Planet Haskell
Mark Jason Dominus: Well, I guess I believe everything now!
22 Apr 2024
blogs.perl.org
Announcing The London Perl and Raku Workshop 2024 (LPW)
22 Apr 2024
Planet Haskell
Mark Jason Dominus: Talking Dog > Stochastic Parrot
22 Apr 2024
Standard C++
When and How Variables are Initialized? - Part 2 -- Sandor Dargo
21 Apr 2024
Planet Haskell
Oleg Grenrus: A note about coercions
20 Apr 2024
Planet Haskell
Magnus Therning: Update to Hackage revisions in Nix
18 Apr 2024
blogs.perl.org
Perl Weekly Challenge 265: 33% Appearance
18 Apr 2024
blogs.perl.org
Perl Weekly Challenge 265: Completing Word
18 Apr 2024
Planet Haskell
Oleg Grenrus: What makes a good compiler warning?
18 Apr 2024
Planet Haskell
Tweag I/O: Cloud Native Computing in 2024—feeling the pulse at Kubecon
18 Apr 2024
Standard C++
SObjectizer Tales – 28. If I had a magic wand....--Marco Arena
18 Apr 2024
Standard C++
Overload 180: C++ Safety, In Context -- Herb Sutter
17 Apr 2024
blogs.perl.org
Phishing Attempt on PAUSE Users
17 Apr 2024
The OCaml Planet
Creating the SyntaxDocumentation Command - Part 1: Merlin
17 Apr 2024
Planet = erlang.
Erlang/OTP 27.0 Release Candidate 3
17 Apr 2024
Planet Haskell
Haskell Interlude: 47: Avi Press
16 Apr 2024
The OCaml Planet
Speeding up MirageVPN and use it in the wild
16 Apr 2024
The OCaml Planet
OCaml Weekly News, 16 Apr 2024
16 Apr 2024
Planet Haskell
GHC Developer Blog: GHC 9.6.5 is now available
16 Apr 2024
Planet Haskell
Chris Reade: PenroseKiteDart User Guide
15 Apr 2024
The OCaml Planet
Frama-C Days 2024
15 Apr 2024
Planet Haskell
GHC Developer Blog: GHC 9.10.1-alpha3 is now available
15 Apr 2024
Planet Haskell
Well-Typed.Com: Choreographing a dance with the GHC specializer (Part 1)
12 Apr 2024
Planet Haskell
Oleg Grenrus: Core Inspection
12 Apr 2024
Standard C++
Results summary: 2024 Annual C++ Developer Survey "Lite"
11 Apr 2024
blogs.perl.org
This week in PSC (144) | 2024-04-11
11 Apr 2024
blogs.perl.org
2024 TPRC Submission Date Extended thru April 20th
11 Apr 2024
Newest Python PEPs
PEP 744: JIT Compilation
11 Apr 2024
Standard C++
SObjectizer Tales – 27. Design ideas--Marco Arena
10 Apr 2024
blogs.perl.org
Perl Weekly Challenge 264: Target Array
10 Apr 2024
The OCaml Planet
Multicore Testing Tools: DSCheck Pt 2
10 Apr 2024
The OCaml Planet
A Preview of Universal Libraries in Dune
09 Apr 2024
blogs.perl.org
Perl Weekly Challenge 264: Greatest English Letter
09 Apr 2024
The OCaml Planet
What's 2024 brought to Melange so far?
09 Apr 2024
The OCaml Planet
OCaml Weekly News, 09 Apr 2024
09 Apr 2024
Planet Haskell
Well-Typed.Com: Haskell development job with Well-Typed
08 Apr 2024
Standard C++
Survey closing soon: 2024 Annual C++ Developer Survey "Lite"
08 Apr 2024
Standard C++
How not to check array size in C++
08 Apr 2024
Standard C++
Trip Report: Spring ISO C++ Meeting in Tokyo, Japan -- Jonathan Müller
07 Apr 2024
Planet Haskell
Abhinav Sarkar: Solving Advent of Code ’23 “Aplenty” by Compiling
04 Apr 2024
blogs.perl.org
This Week in PSC (143)
04 Apr 2024
Standard C++
SObjectizer Tales – 26. Dispatcher selection--Marco Arena
04 Apr 2024
Standard C++
Using Copilot Chat with C++ in VS Code -- Sinem Akinci
04 Apr 2024
Standard C++
GCC 14 -fanalyzer improvements for buffer overflows and more -- David Malcolm
03 Apr 2024
The OCaml Planet
Updates to OCaml.org's Learn Section: Enhancing UI and UX
03 Apr 2024
Standard C++
Pure Virtual C++ 2024 Sessions Announced
03 Apr 2024
Standard C++
2024 Annual C++ Developer Survey "Lite"
02 Apr 2024
blogs.perl.org
Perl Weekly Challenge 263: Target Index
02 Apr 2024
blogs.perl.org
Perl Weekly Challenge 263: Merge Items
02 Apr 2024
blogs.perl.org
A FOSS Ecosystem Checklist for the Benefit of Maintainer Sustainability
02 Apr 2024
The OCaml Planet
OCaml Weekly News, 02 Apr 2024
02 Apr 2024
Planet Haskell
Well-Typed.Com: Calling Haskell from Swift
02 Apr 2024
Planet Haskell
Haskell Interlude: 46: effectfully
01 Apr 2024
blogs.perl.org
A Twist of a Date
01 Apr 2024
Planet Haskell
Oleg Grenrus: Implicit arguments
01 Apr 2024
Planet Haskell
Chris Reade: Graphs, Kites and Darts – and Theorems
01 Apr 2024
Planet Haskell
Chris Reade: Graphs, Kites and Darts – Empires and SuperForce
01 Apr 2024
Planet Haskell
Chris Reade: Graphs, Kites and Darts
29 Mar 2024
Planet Haskell
GHC Developer Blog: GHC 9.10.1-alpha2 is now available
28 Mar 2024
blogs.perl.org
TPRC/Science Track Submission Dates and Deadlines Coming Fast!
28 Mar 2024
blogs.perl.org
This Week in PSC (142)
28 Mar 2024
Standard C++
SObjectizer Tales – 25. Runtime telemetry--Marco Arena
27 Mar 2024
blogs.perl.org
Perl Weekly Challenge 262: Count Equal Divisible
27 Mar 2024
The OCaml Planet
NetHSM: Bringing Open Source to the World of Hardware Security Modules
26 Mar 2024
blogs.perl.org
Perl Weekly Challenge 262: Max Positive Negative
26 Mar 2024
The OCaml Planet
OCaml Weekly News, 26 Mar 2024
26 Mar 2024
Standard C++
C++ and The Next 30 Years -- David Sankel
25 Mar 2024
The OCaml Planet
Frama-Clang v0.0.15 for Frama-C 28.0 Nickel
25 Mar 2024
The OCaml Planet
Opam 102: Pinning Packages
21 Mar 2024
blogs.perl.org
Changes in MooX::Role::Parameterized
21 Mar 2024
blogs.perl.org
Perl Weekly Challenge 261: Multiply by Two
21 Mar 2024
blogs.perl.org
This week in PSC (141) | 2024-03-21
21 Mar 2024
Planet Haskell
Tweag I/O: Evaluating retrieval in RAGs: a practical framework
21 Mar 2024
Standard C++
SObjectizer Tales – 24. Delivering messages at shutdown--Marco Arena
21 Mar 2024
Standard C++
Is shadowing a member variable from a base class a bad thing? Maybe, but maybe not. -- Raymond Chen
20 Mar 2024
blogs.perl.org
Perl Weekly Challenge 261: Element Digit Sum
20 Mar 2024
The OCaml Planet
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
20 Mar 2024
Planet = erlang.
Erlang/OTP 27.0 Release Candidate 2
20 Mar 2024
Standard C++
Providing a stable memory address to an external API
19 Mar 2024
The OCaml Planet
OCaml Weekly News, 19 Mar 2024
19 Mar 2024
The OCaml Planet
CPS Representation and Foundational Design Decisions in Flambda2
19 Mar 2024
Planet = erlang.
A Commentary on Defining Observability
18 Mar 2024
The OCaml Planet
The Flambda2 Snippets, Episode 0
18 Mar 2024
Planet Haskell
Michael Snoyman: How I Stay Organized
18 Mar 2024
Planet Haskell
Haskell Interlude: 45: András Kovács
18 Mar 2024
Standard C++
C++23: More Small Changes -- Sandor Dargo
17 Mar 2024
Planet Haskell
Oleg Grenrus: ST with an early exit
16 Mar 2024
blogs.perl.org
PSC #140 2024-03-14
15 Mar 2024
Standard C++
Starting a C++ project with CMake in 2024
15 Mar 2024
Standard C++
Safety, Revisited -- Lucian Radu Teodorescu
14 Mar 2024
Planet Haskell
Magnus Therning: Hackage revisions in Nix
14 Mar 2024
Standard C++
SObjectizer Tales – 23. Mutable messages--Marco Arena
13 Mar 2024
The OCaml Planet
My experience at IndiaFOSS 2023: Community, Workshop, and Talks
13 Mar 2024
Planet Haskell
GHC Developer Blog: GHC 9.10.1-alpha1 is now available
13 Mar 2024
Standard C++
C++23: Allocator Related Changes -- Sandor Dargo
12 Mar 2024
The OCaml Planet
OCaml Weekly News, 12 Mar 2024
12 Mar 2024
Planet Haskell
Tweag I/O: Software Identifiers through the eyes of Nix
11 Mar 2024
Newest Python PEPs
PEP 743: Add Py_COMPAT_API_VERSION to the Python C API
11 Mar 2024
Planet Haskell
Joachim Breitner: Convenient sandboxed development environment
11 Mar 2024
Standard C++
Announcing the full ACCU 2024 Conference schedule -- ACCU & ShavedYaks
11 Mar 2024
Standard C++
C++20 Concepts Applied – Safe Bitmasks Using Scoped Enums -- Andreas Fertig
09 Mar 2024
blogs.perl.org
Reading sequences from FASTA format alignment by Bio::Perl
09 Mar 2024
Standard C++
Aggregates: C++17 vs. C++20 -- Andreas Fertig
08 Mar 2024
Standard C++
Workshops at using std::cpp 2024 in Madrid
08 Mar 2024
Standard C++
Data Structures and Algorithms with the C++ STL -- John Farrier
07 Mar 2024
The OCaml Planet
A Time for Change: Our Response to the White House Cybersecurity Press Release
07 Mar 2024
The OCaml Planet
Lean 4: When Sound Programs become a Choice
07 Mar 2024
Standard C++
SObjectizer Tales – 22. Performance, part 3--Marco Arena
07 Mar 2024
Standard C++
Using std::expected from C++23 -- Bartlomiej Filipek
05 Mar 2024
The OCaml Planet
OCaml Weekly News, 05 Mar 2024
05 Mar 2024
Planet = erlang.
Scaling a streaming service to hundreds of thousands of concurrent viewers at Veeps
05 Mar 2024
Standard C++
C++23: Bitwise Operations -- Sandor Dargo
01 Mar 2024
The OCaml Planet
Release of Frama-C 28.1 (Nickel)
01 Mar 2024
Planet Haskell
Haskell Interlude: 44: José Manuel Calderón Trilla
01 Mar 2024
Standard C++
C++23 likes to move it! -- Sandor Dargo
29 Feb 2024
Planet Haskell
Gabriella Gonzalez: The siren song of domain-specific languages
29 Feb 2024
Standard C++
SObjectizer Tales – 21. Performance, part 2--Marco Arena
28 Feb 2024
The OCaml Planet
Two Major Improvements in odoc: Introducing Search Engine Integration
28 Feb 2024
Standard C++
Parsing Numbers At Compile Time with C++17, C++23, and C++26 -- Bartlomiej Filipek
27 Feb 2024
The OCaml Planet
OCaml Weekly News, 27 Feb 2024
26 Feb 2024
Standard C++
Class Invariants -- Andrzej Krzemieński
22 Feb 2024
Planet Haskell
Gabriella Gonzalez: Unification-free ("keyword") type checking
22 Feb 2024
Standard C++
SObjectizer Tales – 20. Performance, part 1--Marco Arena
21 Feb 2024
The OCaml Planet
My Experience With Tarides at ICFP 2023!
21 Feb 2024
The OCaml Planet
GPTar
20 Feb 2024
The OCaml Planet
Introducing DBCaml, Database toolkit for OCaml
20 Feb 2024
The OCaml Planet
OCaml Weekly News, 20 Feb 2024
20 Feb 2024
Standard C++
Optimizing the Unoptimizable: A Journey to Faster C++ Compile Times -- Victor Zverovich
19 Feb 2024
The OCaml Planet
Building a Connnection Pool for DBCaml on top of riot
17 Feb 2024
Standard C++
Seastar, ScyllaDB, and C++23
16 Feb 2024
The OCaml Planet
MetAcsl v0.6 for Frama-C 28.0 Nickel
16 Feb 2024
Standard C++
The Case of the Vector With an Impossibly Large Size -- Raymond Chen
15 Feb 2024
Standard C++
SObjectizer Tales – 19. Thread-safe handlers--Marco Arena
14 Feb 2024
The OCaml Planet
Multicore Testing Tools: DSCheck Pt 1
14 Feb 2024
Planet = erlang.
Erlang/OTP 27.0 Release Candidate 1
14 Feb 2024
Standard C++
DR20 - The Equality Operator You Are Looking For -- Sandor Dargo
13 Feb 2024
The OCaml Planet
Announcing Melange 3
13 Feb 2024
The OCaml Planet
Speeding elliptic curve cryptography
13 Feb 2024
The OCaml Planet
OCaml Weekly News, 13 Feb 2024
13 Feb 2024
Standard C++
PVS-Studio 7.29: Boost smart pointers, plugin for Qt Creator on macOS
12 Feb 2024
The OCaml Planet
OCaml: Introduction
11 Feb 2024
The OCaml Planet
Cooperation and Lwt.pause
11 Feb 2024
The OCaml Planet
Cooperation and Lwt.pause
09 Feb 2024
Standard C++
Aggregates: C++17 vs. C++20 -- Andreas Fertig
08 Feb 2024
Planet = erlang.
A Distributed Systems Reading List
07 Feb 2024
The OCaml Planet
Improving OCaml.org to Provide an Engaging UX and Trusted User Resources
07 Feb 2024
Newest Python PEPs
PEP 742: Narrowing types with TypeIs
06 Feb 2024
The OCaml Planet
OCaml Weekly News, 06 Feb 2024
05 Feb 2024
The OCaml Planet
Profiling Dune Builds
03 Feb 2024
The OCaml Planet
Python's `str.__repr__()`
03 Feb 2024
Planet Haskell
Magnus Therning: Bending Warp
31 Jan 2024
The OCaml Planet
Are Your Programs Doing What You Think They're Doing? Introducing Monitoring Tools for Multicore OCaml
30 Jan 2024
The OCaml Planet
OCaml Weekly News, 30 Jan 2024
29 Jan 2024
The OCaml Planet
Space-filling curves, constructively
26 Jan 2024
Planet = erlang.
Counting Forest Fires
25 Jan 2024
Planet Haskell
Joachim Breitner: GHC Steering Committee Retrospective
24 Jan 2024
The OCaml Planet
MirageOS: Designing a More Resilient Networking Stack With µTCP
23 Jan 2024
The OCaml Planet
OCaml Weekly News, 23 Jan 2024
23 Jan 2024
The OCaml Planet
opam 101: the first steps
21 Jan 2024
The OCaml Planet
Outreachy Blog: Everyone Struggles
21 Jan 2024
The OCaml Planet
The OCaml Community
18 Jan 2024
Newest Python PEPs
PEP 741: Python Configuration C API
18 Jan 2024
Planet Haskell
Michael Snoyman: My Best and Worst Deadlock in Rust
17 Jan 2024
The OCaml Planet
What are Data Races? And do They Threaten Your Business?
16 Jan 2024
The OCaml Planet
OCaml Weekly News, 16 Jan 2024
16 Jan 2024
The OCaml Planet
Concepts of Functional Programming
15 Jan 2024
Planet Haskell
Derek Elkins: The Pullback Lemma in Gory Detail (Redux)
15 Jan 2024
Planet Haskell
Monday Morning Haskell: Functional Programming vs. Object Oriented Programming
10 Jan 2024
The OCaml Planet
Meet odoc, OCaml's Documentation Generator
10 Jan 2024
Planet Haskell
Chris Reade: Diagrams for Penrose Tiles
09 Jan 2024
The OCaml Planet
OCaml Weekly News, 09 Jan 2024
08 Jan 2024
Newest Python PEPs
PEP 740: Index support for digital attestations
08 Jan 2024
Planet Haskell
Monday Morning Haskell: How to Write Comments in Haskell
04 Jan 2024
Planet Haskell
Stackage Blog: LTS 22 release for ghc-9.6 and Nightly now on ghc-9.8
03 Jan 2024
Planet Haskell
Derek Elkins: Universal Quantification and Infinite Conjunction
02 Jan 2024
The OCaml Planet
OCaml Weekly News, 02 Jan 2024
01 Jan 2024
Planet Haskell
Monday Morning Haskell: How to Write “Hello World” in Haskell
31 Dec 2023
The OCaml Planet
Parsing with Binary String Pattern Matching
29 Dec 2023
The OCaml Planet
Announcing the ORCHIDE Project: Powering Satellite Innovation
26 Dec 2023
The OCaml Planet
OCaml Weekly News, 26 Dec 2023
26 Dec 2023
Planet Haskell
Sandy Maguire: FRP in Yampa: Part 4: Routing
24 Dec 2023
Planet Haskell
Sandy Maguire: FRP in Yampa: Part 3: Switching
22 Dec 2023
Planet Haskell
Sandy Maguire: FRP in Yampa: Part 2: Arrowized FRP
22 Dec 2023
Planet Haskell
Derek Elkins: What is the coproduct of two groups?
22 Dec 2023
Planet Haskell
Joachim Breitner: The Haskell Interlude Podcast
21 Dec 2023
Planet Haskell
Sandy Maguire: FRP in Yampa: Part 1
20 Dec 2023
The OCaml Planet
OCaml Survey: Developers' Perception, Interest, and Perceived Barriers
19 Dec 2023
The OCaml Planet
OCaml Weekly News, 19 Dec 2023
19 Dec 2023
Newest Python PEPs
PEP 739: Static description file for build details of Python installations
14 Dec 2023
The OCaml Planet
OCaml: Memory Safety and Beyond
13 Dec 2023
The OCaml Planet
Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
12 Dec 2023
The OCaml Planet
Outreachy Blog #1: Introduce Yourself
12 Dec 2023
The OCaml Planet
OCaml Weekly News, 12 Dec 2023
12 Dec 2023
Newest Python PEPs
PEP 738: Adding Android as a supported platform
11 Dec 2023
The OCaml Planet
Florian compiler weekly, 11 December 2023
10 Dec 2023
The OCaml Planet
My Tech Journey and Outreachy Internship.
09 Dec 2023
Planet Haskell
Magnus Therning: Getting Amazonka S3 to work with localstack
05 Dec 2023
The OCaml Planet
International Disability Day 2023: Why It Matters
05 Dec 2023
The OCaml Planet
OCaml Weekly News, 05 Dec 2023
04 Dec 2023
Planet Haskell
Matthew Sackman: Golang Bebop serialisation codec
01 Dec 2023
The OCaml Planet
Rethinking OCaml abstract signatures
30 Nov 2023
The OCaml Planet
Release of Frama-C 28.0 (Nickel)
29 Nov 2023
The OCaml Planet
Unix Module Considered Harmful
29 Nov 2023
Newest Python PEPs
PEP 737: C API to format a type fully qualified name
28 Nov 2023
The OCaml Planet
OCaml Weekly News, 28 Nov 2023
28 Nov 2023
The OCaml Planet
Redeveloping TCP from the ground up
28 Nov 2023
The OCaml Planet
Redeveloping TCP From the Ground Up
28 Nov 2023
The OCaml Planet
Performance Engineering on Hard Mode with Andrew Hunter
28 Nov 2023
Newest Python PEPs
PEP 736: Shorthand syntax for keyword arguments at invocation
21 Nov 2023
The OCaml Planet
How to Install OCaml 5: A Video Tutorial
21 Nov 2023
The OCaml Planet
OCaml Weekly News, 21 Nov 2023
20 Nov 2023
The OCaml Planet
MirageVPN updated (AEAD, NCP)
14 Nov 2023
The OCaml Planet
MirageVPN & tls-crypt-v2
14 Nov 2023
The OCaml Planet
OCaml Weekly News, 14 Nov 2023
09 Nov 2023
The OCaml Planet
OCaml Hacking Day in Chennai!
07 Nov 2023
The OCaml Planet
MetAcsl for Frama-C 27.x Cobalt
07 Nov 2023
The OCaml Planet
OCaml Weekly News, 07 Nov 2023
02 Nov 2023
The OCaml Planet
Building React Server Components in OCaml
01 Nov 2023
The OCaml Planet
WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
31 Oct 2023
The OCaml Planet
OCaml Weekly News, 31 Oct 2023
26 Oct 2023
The OCaml Planet
Beta release of Frama-C 28.0~beta (Nickel)
25 Oct 2023
The OCaml Planet
Tutorial: Building a Browser Extension With Irmin
24 Oct 2023
The OCaml Planet
OCaml Weekly News, 24 Oct 2023
18 Oct 2023
The OCaml Planet
Off to the Races: Using ThreadSanitizer in OCaml
17 Oct 2023
The OCaml Planet
OCaml Weekly News, 17 Oct 2023
16 Oct 2023
Read Rust - All
Why async Rust?
12 Oct 2023
The OCaml Planet
The rest of 2023 in Melange
12 Oct 2023
The OCaml Planet
Opam: Package Manager on Steroids?
10 Oct 2023
The OCaml Planet
Prioritising Mental Health at Tarides
10 Oct 2023
The OCaml Planet
OCaml Weekly News, 10 Oct 2023
09 Oct 2023
The OCaml Planet
Rules of Miou!
04 Oct 2023
The OCaml Planet
Porting OBuilder to FreeBSD
03 Oct 2023
The OCaml Planet
OCaml Weekly News, 03 Oct 2023
27 Sep 2023
The OCaml Planet
Tutorial: How to Port Lwt Applications to Eio
26 Sep 2023
The OCaml Planet
Florian compiler weekly, 26 September 2023
26 Sep 2023
The OCaml Planet
OCaml Weekly News, 26 Sep 2023
20 Sep 2023
The OCaml Planet
A Year of SpaceOS: Showing the World the Benefits of OCaml
20 Sep 2023
The OCaml Planet
Introducing Melange 2.0
19 Sep 2023
The OCaml Planet
OCaml Weekly News, 19 Sep 2023
18 Sep 2023
The OCaml Planet
The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
15 Sep 2023
The OCaml Planet
Our Experience at Tarides: Projects From Our Internships in 2023
14 Sep 2023
The OCaml Planet
Beyond TypeScript: Differences Between Typed Languages
12 Sep 2023
The OCaml Planet
What the interns have wrought, 2023 edition
12 Sep 2023
The OCaml Planet
OCaml Weekly News, 12 Sep 2023
08 Sep 2023
The OCaml Planet
The State of the Art in Functional Programming: Tarides at ICFP 2023
08 Sep 2023
The OCaml Planet
Miou, a simple scheduler for OCaml 5
07 Sep 2023
The OCaml Planet
Release of Frama-Clang 0.0.14
05 Sep 2023
The OCaml Planet
OCaml Weekly News, 05 Sep 2023
01 Sep 2023
The OCaml Planet
Oxidizing OCaml: Data Race Freedom
29 Aug 2023
The OCaml Planet
How to build type-safe State Machines using type-state
29 Aug 2023
The OCaml Planet
OCaml Weekly News, 29 Aug 2023
28 Aug 2023
The OCaml Planet
A quick guide to GADTs and why you ain't gonna need them
24 Aug 2023
The OCaml Planet
How I explore domain problems cheaply and fast with OCaml: modeling a web router
23 Aug 2023
The OCaml Planet
{ hello = `world; }
22 Aug 2023
The OCaml Planet
Building the OCaml GPT library
17 Aug 2023
The OCaml Planet
Your Programming Language and its Impact on the Cybersecurity of Your Application
15 Aug 2023
The OCaml Planet
OCaml Weekly News, 15 Aug 2023
15 Aug 2023
The OCaml Planet
A Poet's Guide to Product Management with Peter Bogart-Johnson
12 Aug 2023
The OCaml Planet
On indefinite truth values
10 Aug 2023
The OCaml Planet
Kcas: Building a Lock-Free STM for OCaml (2/2)
08 Aug 2023
The OCaml Planet
OCaml Weekly News, 08 Aug 2023
07 Aug 2023
The OCaml Planet
Kcas: Building a lock-free STM for OCaml (1/2)
04 Aug 2023
The OCaml Planet
Outreachy Mid-Point Progress
02 Aug 2023
The OCaml Planet
OBuilder on macOS
01 Aug 2023
The OCaml Planet
OCaml Weekly News, 01 Aug 2023
31 Jul 2023
The OCaml Planet
OCaml in Space - Welcome SpaceOS!
27 Jul 2023
The OCaml Planet
Reflections on the MirageOS Retreat in Morocco
27 Jul 2023
The OCaml Planet
Variations on Weihrauch degrees (CiE 2023)
25 Jul 2023
The OCaml Planet
OCaml Weekly News, 25 Jul 2023
20 Jul 2023
The OCaml Planet
Creating a UDP server and client in OCaml
20 Jul 2023
The OCaml Planet
Setting up Opam and MirageOS on MacOS Ventura, on Apple Silicon
19 Jul 2023
The OCaml Planet
Sandmark: Boosting Multicore Projects with Performance Benchmarking
18 Jul 2023
The OCaml Planet
Release of Frama-C 27.1 (Cobalt)
18 Jul 2023
The OCaml Planet
OCaml Weekly News, 18 Jul 2023
18 Jul 2023
The OCaml Planet
Continuity principles and the KLST theorem
12 Jul 2023
The OCaml Planet
OCaml-CI Renovated
11 Jul 2023
The OCaml Planet
OCaml Weekly News, 11 Jul 2023
10 Jul 2023
The OCaml Planet
What's next for Melange
07 Jul 2023
The OCaml Planet
Making OCaml 5 Succeed for Developers and Organisations
06 Jul 2023
The OCaml Planet
We're sponsoring SoME3
05 Jul 2023
The OCaml Planet
Zero-Day Attacks: What Are They, and Can a Language Like OCaml Protect You?
05 Jul 2023
The OCaml Planet
Florian's OCaml compiler weekly, 5 July 2023
04 Jul 2023
The OCaml Planet
OCaml Weekly News, 04 Jul 2023
30 Jun 2023
The OCaml Planet
2022 at OCamlPro
29 Jun 2023
The OCaml Planet
EmelleTV: Talking with Louis Roché about OCaml and Ahrefs
27 Jun 2023
The OCaml Planet
OCaml Weekly News, 27 Jun 2023
27 Jun 2023
The OCaml Planet
Autofonce, GNU Autotests Revisited
21 Jun 2023
The OCaml Planet
Oxidizing OCaml: Rust-Style Ownership
20 Jun 2023
The OCaml Planet
OCaml Receives the ACM SIGPLAN Programming Languages Software Award
20 Jun 2023
The OCaml Planet
Florian's OCaml compiler weekly, 20 June 2023
20 Jun 2023
The OCaml Planet
OCaml Weekly News, 20 Jun 2023
15 Jun 2023
The OCaml Planet
Release of Frama-C 27.0 (Cobalt)
14 Jun 2023
The OCaml Planet
Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
13 Jun 2023
The OCaml Planet
Outreachy Blog #1: Introduce Yourself
13 Jun 2023
The OCaml Planet
First week experience at Outreachy
13 Jun 2023
The OCaml Planet
OCaml Weekly News, 13 Jun 2023
12 Jun 2023
The OCaml Planet
Florian's OCaml compiler weekly, 12 June 2023
11 Jun 2023
The OCaml Planet
Anti-personnel computing
06 Jun 2023
The OCaml Planet
OCaml Weekly News, 06 Jun 2023
05 Jun 2023
The OCaml Planet
Florian's OCaml compiler weekly, 5 June 2023
31 May 2023
The OCaml Planet
Security in opam's cache handling (before 2.1.5)
30 May 2023
The OCaml Planet
Two variants of the Bind rule
30 May 2023
The OCaml Planet
OCaml Weekly News, 30 May 2023
26 May 2023
The OCaml Planet
Oxidizing OCaml: Locality
23 May 2023
The OCaml Planet
OCaml Weekly News, 23 May 2023
23 May 2023
The OCaml Planet
For those who just don’t Git it
18 May 2023
The OCaml Planet
The Future of Programming with Richard Eisenberg
16 May 2023
The OCaml Planet
Beta release of Frama-C 27.0~beta (Cobalt)
16 May 2023
The OCaml Planet
Elegance in OCaml with TJ DeVries
16 May 2023
The OCaml Planet
OCaml Weekly News, 16 May 2023
12 May 2023
The OCaml Planet
Specifying Functions: Two Styles
09 May 2023
The OCaml Planet
OCaml Weekly News, 09 May 2023
05 May 2023
The OCaml Planet
Optimising Archive Node Storage for Tezos
05 May 2023
The OCaml Planet
The MirageOS retreat (01/05/2023)
03 May 2023
The OCaml Planet
Ahrefs is now built with Melange
09 Mar 2023
Read Rust - All
The Registers of Rust
28 Feb 2023
Read Rust - All
Reducing code size in librsvg by removing an unnecessary generic struct
24 Feb 2023
Read Rust - All
Keyword Generics Progress Report: February 2023
17 Feb 2023
Read Rust - All
Why is building a UI in Rust so hard?
14 Feb 2023
Read Rust - All
Parsing TFTP in Rust
14 Feb 2023
Read Rust - All
Rust to WebAssembly the hard way
14 Feb 2023
Read Rust - All
New release
09 Feb 2023
Read Rust - All
Dramatically reducing AccessKit’s memory usage
08 Feb 2023
Read Rust - All
Rustler - Using Rust crates in Elixir
08 Feb 2023
Read Rust - All
Tauri vs Iced vs egui: Rust GUI framework performance comparison
08 Feb 2023
Read Rust - All
The Git source code audit, viewed as a Rust programmer
07 Feb 2023
Read Rust - All
Speeding up Rust semver-checking by over 2000x
06 Feb 2023
Read Rust - All
Exploring Rust for Vulkan drivers, part 1
06 Feb 2023
Read Rust - All
Generate gem skeleton with Rust extension
29 Jan 2023
Read Rust - All
The size of Rust Futures
19 Jan 2023
Read Rust - All
Testing SIMD instructions on ARM with Rust on Android
13 Jan 2023
Read Rust - All
Running Zola on WebAssembly
12 Jan 2023
Read Rust - All
Supporting the Use of Rust in the Chromium Project
11 Jan 2023
Read Rust - All
gccrs in 2022
07 Jan 2023
Read Rust - All
Is coding in Rust as bad as in C++?
07 Jan 2023
Read Rust - All
What Every Rust Developer Should Know About Macro Support in IDEs
22 Dec 2022
Read Rust - All
Announcing KataOS and Sparrow
21 Dec 2022
Read Rust - All
Ten Years of Ru...ewriting my website
21 Dec 2022
Read Rust - All
Rust 2023
09 Dec 2022
Read Rust - All
Building a Rust-y Vim clutch with the Raspberry Pi 2040
07 Dec 2022
Read Rust - All
Helix Release 22.12 Highlights
07 Dec 2022
Read Rust - All
This Month in Rust OSDev: November 2022
06 Dec 2022
Read Rust - All
Launching the 2022 State of Rust Survey
06 Dec 2022
Read Rust - All
KernelCI now testing Linux Rust code
01 Dec 2022
Read Rust - All
Memory Safe Languages in Android 13
30 Nov 2022
Read Rust - All
How much does Rust's bounds checking actually cost?
30 Nov 2022
Read Rust - All
Fedora 38 Looks To Shift RPM To Sequoia, A Rust-Based OpenPGP Parser
30 Nov 2022
Read Rust - All
Out-of-bounds memory access bug
25 Nov 2022
Read Rust - All
Safely writing code that isn't thread-safe
24 Nov 2022
Read Rust - All
Redox OS 0.8.0
24 Nov 2022
Read Rust - All
Rust developers can now generate consistent type schema with Typeshare
22 Nov 2022
Read Rust - All
From AST to bytecode execution in EndBASIC
22 Nov 2022
Read Rust - All
The carcinization of Go programs
22 Nov 2022
Read Rust - All
Flux: Refinement Types for Rust
31 Oct 2022
Read Rust - All
A first look at Rust in the 6.1 kernel
29 Oct 2022
Read Rust - All
Generic associated types to be stable in Rust 1.65
25 Oct 2022
Read Rust - All
Evaluating Build Scripts in the IntelliJ Rust Plugin
21 Oct 2022
Read Rust - All
RAII: Compile-Time Memory Management in C++ and Rust
21 Oct 2022
Read Rust - All
A deeper look into the GCC Rust front-end
21 Oct 2022
Read Rust - All
Rust on Espressif chips - 17-10-2022
21 Oct 2022
Read Rust - All
Progress report on rustc_codegen_cranelift (Okt 2022)
19 Oct 2022
Read Rust - All
Welcoming Sage Griffin: Rust Foundation Communities Advocate
15 Oct 2022
Read Rust - All
retrowin32, a win32 emulator
14 Oct 2022
Read Rust - All
A Memory Safe Implementation of the Network Time Protocol
06 Oct 2022
Read Rust - All
Single Pass Recursion in Rust
06 Oct 2022
Read Rust - All
An Invitation to Rust Maintainers
06 Oct 2022
Read Rust - All
Hard Mode Rust
05 Oct 2022
Read Rust - All
zerocal - A Serverless Calendar App in Rust Running on shuttle.rs
04 Oct 2022
Read Rust - All
Rewriting the Modern Web in Rust
04 Oct 2022
Read Rust - All
How (and why) nextest uses tokio, part 1
04 Oct 2022
Read Rust - All
Implementing truly safe semaphores in rust, and the costs we pay for safety
29 Sep 2022
Read Rust - All
The perils of pinning
29 Sep 2022
Read Rust - All
Futures Concurrency IV: Join Ergonomics
29 Sep 2022
Read Rust - All
cargo careful: run your Rust code with extra careful debug checking
29 Sep 2022
Read Rust - All
Announcing the Rust Style Team
29 Sep 2022
Read Rust - All
Announcing ICU4X 1.0
23 Sep 2022
Read Rust - All
Compiling Rust with GCC: an update
23 Sep 2022
Read Rust - All
A pair of Rust kernel modules
30 Sep 2021
Read Rust - All
Rust for the Polyglot Programmer
04 Aug 2021
Read Rust - All
Adding Rust-Stable libstd Support for Xous
03 Aug 2021
Read Rust - All
The push for GATs stabilization
03 Aug 2021
Read Rust - All
Improvements for #[doc] attributes in Rust
21 Jul 2021
Read Rust - All
Rust 2021 public testing period
06 Apr 2021
Read Rust - All
Rust in the Android platform
18 Mar 2021
Read Rust - All
Building a shared vision for Async Rust
25 Feb 2021
Read Rust - All
Ferrocene Part 3: The Road
28 Jan 2021
Read Rust - All
Rust & the case of the disappearing stack frames
21 Jan 2021
Read Rust - All
Rustdoc performance improvements
21 Jan 2021
Read Rust - All
Rust in Production: 1Password
01 Jan 2021
Read Rust - All
Announcing Rust 1.49.0
16 Dec 2020
Read Rust - All
Sequoia PGP v1.0 Released: The Seedling's a Sapling
14 Dec 2020
Read Rust - All
Launching the Lock Poisoning Survey
09 Dec 2020
Read Rust - All
Announcing Minus, a cross-platform pager
27 Nov 2020
Read Rust - All
Announcing Rustup 1.23.0
27 Nov 2020
Read Rust - All
lib-ruby-parser: A Ruby Parser Written in Rust
24 Nov 2020
Read Rust - All
What the Error Handling Project Group is Working On
19 Nov 2020
Read Rust - All
Announcing Rust 1.48.0
11 Nov 2020
Read Rust - All
Exploring PGO for the Rust compiler
04 Nov 2020
Read Rust - All
Introducing Scipio - a Thread-per-Core Crate for Rust & Linux
21 Oct 2020
Read Rust - All
Non-Generic Inner Functions
12 Oct 2020
Read Rust - All
Rust after the honeymoon
09 Oct 2020
Read Rust - All
Rust in curl with Hyper
08 Oct 2020
Read Rust - All
Announcing Rust 1.47.0
07 Oct 2020
Read Rust - All
Rust + Raspberry Pi Tide Clock
30 Sep 2020
Read Rust - All
Announcing the Portable SIMD Project Group
22 Sep 2020
Read Rust - All
Async Iteration Semantics
22 Sep 2020
Read Rust - All
Porting EBU R128 audio loudness analysis from C to Rust
21 Sep 2020
Read Rust - All
Throw Away Code
21 Sep 2020
Read Rust - All
Low-Level Academy
21 Sep 2020
Read Rust - All
Call for 2021 Roadmap Blogs Ending Soon
21 Sep 2020
Read Rust - All
Rust 2021 – Ethical Development
19 Sep 2020
Read Rust - All
Rust 2021: Make it accessible
19 Sep 2020
Read Rust - All
TL;DR Rust
14 Sep 2020
Read Rust - All
Introducing auditable: audit Rust binaries for known bugs or vulnerabilities in production