RSS feeds
07 Nov 2024
Planet Haskell
Donnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
09 Dec 2023
Planet Haskell
Magnus Therning: Getting Amazonka S3 to work with localstack
08 Dec 2023
blogs.perl.org
Is Perl a write only language?
08 Dec 2023
blogs.perl.org
System Thinking
07 Dec 2023
blogs.perl.org
This Week in PSC (127)
07 Dec 2023
Planet Haskell
Tweag I/O: BazelCon Community Day - Munich
07 Dec 2023
Standard C++
SObjectizer Tales – 9. Splitting work--Marco Arena
06 Dec 2023
blogs.perl.org
Perl Weekly Challenge 246: Linear Recurrence of Second Order
06 Dec 2023
Planet Haskell
Well-Typed.Com: The Haskell Unfolder Episode 16: monads and deriving via
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
05 Dec 2023
Planet = erlang.
🤖 Does Functional Programming Matter To You?
05 Dec 2023
Planet Haskell
Well-Typed.Com: Haskell Implementors' Workshop 2023
04 Dec 2023
blogs.perl.org
This week in PSC (120) | 2023-10-12
04 Dec 2023
blogs.perl.org
This Week in PSC (121) | 2023-10-19
04 Dec 2023
blogs.perl.org
This week in PSC (122) | 2023-10-26
04 Dec 2023
blogs.perl.org
This week in PSC (123) | 2023-11-09
04 Dec 2023
blogs.perl.org
This Week in PSC (124) | 2023-11-16
04 Dec 2023
blogs.perl.org
Perl Weekly Challenge 245: Largest of Three
04 Dec 2023
blogs.perl.org
The YAMLScript Advent Blog
04 Dec 2023
blogs.perl.org
Perl Weekly Challenge 246: 6 out of 49
04 Dec 2023
blogs.perl.org
This week in PSC (126) | 2023-11-30
04 Dec 2023
Planet Haskell
Haskell Interlude: 38: Edwin Brady
04 Dec 2023
Planet Haskell
Matthew Sackman: Golang Bebop serialisation codec
04 Dec 2023
Standard C++
How to use std::span from C++20 -- Bartlomiej Filipek
03 Dec 2023
Planet Haskell
Mark Jason Dominus: Compass points in Czech
02 Dec 2023
Planet Haskell
Mark Jason Dominus: Math SE report 2023-10: Peano's definition of addition is not a tautology, and what was great about Ramanujan?
01 Dec 2023
The OCaml Planet
Rethinking OCaml abstract signatures
01 Dec 2023
Planet Haskell
Mark Jason Dominus: Obsolete spellings and new ligatures in the names of famous persons
30 Nov 2023
blogs.perl.org
Perl Weekly Challenge 245: Sort Language
30 Nov 2023
The OCaml Planet
Release of Frama-C 28.0 (Nickel)
30 Nov 2023
Planet Haskell
Ken T Takusagawa: [iuigljdm] and (False,True)
30 Nov 2023
Standard C++
SObjectizer Tales - 8. Representing errors--Marco Arena
29 Nov 2023
The OCaml Planet
Unix Module Considered Harmful
29 Nov 2023
Newest Python PEPs
PEP 737: Unify type name formatting
29 Nov 2023
Standard C++
Enodo, Divide et Impera -- Lucian Radu Teodorescu
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
Planet Haskell
Mark Jason Dominus: Uncountable sets for seven-year-olds
28 Nov 2023
Planet Haskell
Tweag I/O: Source filtering with file sets
27 Nov 2023
blogs.perl.org
Curated list of Perl modules
27 Nov 2023
Planet Haskell
Mark Jason Dominus: A Qmail example of dealing with unavoidable race conditions
27 Nov 2023
Planet Haskell
Monday Morning Haskell: Black Friday Sale: Last Day!
26 Nov 2023
Planet = erlang.
How can technology answer the remaining questions in fintech? Fintech Week London Panel discussion
26 Nov 2023
Planet = erlang.
The Blockchain Value Opportunity for FinTechs | Simon Taylor - 11:FS
25 Nov 2023
Standard C++
Live and Let Die -- Martin Janzen
24 Nov 2023
blogs.perl.org
This week in PSC (125) | 2023-11-23
24 Nov 2023
Planet = erlang.
Haydn Jones on getting corporate buy in for blockchain
24 Nov 2023
Planet Haskell
Monday Morning Haskell: Spotlight: Quick, Focused Haskell Courses
23 Nov 2023
blogs.perl.org
Perl Weekly Challenge 244: Group Hero
23 Nov 2023
blogs.perl.org
An Option for Syntax Highlighting on blogs.perl.org
23 Nov 2023
Planet Haskell
Tweag I/O: Separating debug symbols from executables
23 Nov 2023
Planet Haskell
Well-Typed.Com: Creating a macOS app with Haskell and Swift
23 Nov 2023
Standard C++
SObjectizer Tales - 7. Agent composition--Marco Arena
22 Nov 2023
blogs.perl.org
German Perl/Raku Workshop 2024
22 Nov 2023
Planet Haskell
Well-Typed.Com: The Haskell Unfolder Episode 15: interruptible operations
22 Nov 2023
Planet Haskell
Monday Morning Haskell: Spotlight: In-Depth Haskell Courses!
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
21 Nov 2023
Standard C++
Spans, string_view, and Ranges - Four View types (C++17 to C++23) -- Bartlomiej Filipek
20 Nov 2023
blogs.perl.org
Perl Weekly Challenge 244: Count Smaller
20 Nov 2023
The OCaml Planet
MirageVPN updated (AEAD, NCP)
20 Nov 2023
Newest Python PEPs
PEP 735: Dependency Groups in pyproject.toml
20 Nov 2023
Planet Haskell
Monday Morning Haskell: New Course: Solve.hs!
19 Nov 2023
blogs.perl.org
Hai Julia !
19 Nov 2023
blogs.perl.org
Perl Weekly Challenge 243: Floor Sum
19 Nov 2023
Planet Haskell
Magnus Therning: Making Emacs without terminal emulator a little more usable
17 Nov 2023
blogs.perl.org
Final Call - 2024 TPRC Science Track Survey
17 Nov 2023
Standard C++
Microsoft Visual C++ at CppCon 2023 Trip Report -- Sinem Akinci
16 Nov 2023
blogs.perl.org
Perl Weekly Challenge 243: Reverse Pairs
16 Nov 2023
Planet Haskell
Tweag I/O: Organist: stay sane managing your development environments
16 Nov 2023
Planet Haskell
Magnus Therning: Using the golang mode shipped with Emacs
16 Nov 2023
Standard C++
SObjectizer Tales – 6. Is the stream still in progress?--Marco Arena
14 Nov 2023
blogs.perl.org
FOSDEM 2024 Call for Participation
14 Nov 2023
The OCaml Planet
MirageVPN & tls-crypt-v2
14 Nov 2023
The OCaml Planet
OCaml Weekly News, 14 Nov 2023
14 Nov 2023
Planet Haskell
Haskell Interlude: 37: John MacFarlane
14 Nov 2023
Standard C++
Faster Hash Maps, Binary Trees etc. Through Data Layout Modification -- Ivica Bogosavljević
13 Nov 2023
Planet Haskell
Monday Morning Haskell: Ballparking Solutions
12 Nov 2023
Standard C++
Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA) -- Herb Sutter
10 Nov 2023
Planet Haskell
GHC Developer Blog: GHC 9.4.8 is now available
10 Nov 2023
Standard C++
2 Lines Of Code and 3 C++17 Features - The Overload Pattern -- Bartlomiej Filipek
09 Nov 2023
The OCaml Planet
OCaml Hacking Day in Chennai!
09 Nov 2023
Planet Haskell
Tweag I/O: Integrating Testwell CTC++ with Bazel
09 Nov 2023
Standard C++
SObjectizer Tales – 5. Sending commands--Marco Arena
08 Nov 2023
blogs.perl.org
Perl Weekly Challenge 242: Flip Matrix
08 Nov 2023
Planet Haskell
Well-Typed.Com: The Haskell Unfolder Episode 14: higher-kinded types
08 Nov 2023
Standard C++
Promise-Cpp with Boost.Beast -- Richard Thomson
08 Nov 2023
Standard C++
Beware of Unsafe Conversions from size_t to int -- Giovanni Dicanio
08 Nov 2023
Standard C++
Intro to C++ Coroutines: Concept -- Ilya Doroshenko
07 Nov 2023
blogs.perl.org
Perl Weekly Challenge 242: Missing Members
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
07 Nov 2023
Planet Haskell
Donnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
07 Nov 2023
Planet Haskell
Chris Reade: Graphs, Kites and Darts – and Theorems
06 Nov 2023
Newest Python PEPs
PEP 734: Multiple Interpreters in the Stdlib
06 Nov 2023
Standard C++
On Writing Loops in Continuation-passing Style, Part 4 -- Raymond Chen
03 Nov 2023
blogs.perl.org
Dodging the Go loop trap
02 Nov 2023
The OCaml Planet
Building React Server Components in OCaml
02 Nov 2023
Standard C++
SObjectizer Tales – 4. Handling commands--Marco Arena
02 Nov 2023
Standard C++
Optional Polymorphism by Delegation -- Daniel Lindner
01 Nov 2023
The OCaml Planet
WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
01 Nov 2023
Planet Haskell
Chris Reade: Graphs, Kites and Darts
01 Nov 2023
Planet Haskell
Joachim Breitner: Joining the Lean FRO
31 Oct 2023
The OCaml Planet
OCaml Weekly News, 31 Oct 2023
31 Oct 2023
Planet Haskell
Haskell Interlude: 36: John Hughes
31 Oct 2023
Standard C++
On Writing Loops in PPL and Continuation-passing Style, Part 3 -- Raymond Chen
30 Oct 2023
blogs.perl.org
Setting up a free Oracle Database for Perl development
30 Oct 2023
Planet Haskell
Sandy Maguire: Certainty by Construction: Done!
29 Oct 2023
Planet Haskell
Joachim Breitner: Squash your Github PRs with one click
28 Oct 2023
blogs.perl.org
2024 Perl Conference - Science Track Interest Survey
28 Oct 2023
blogs.perl.org
Dancer Advent Calendar 2023
28 Oct 2023
Standard C++
WG21 Varna Trip Report -- David Sankel
28 Oct 2023
Standard C++
ACCU 2024 Call for Speakers -- ACCU
28 Oct 2023
Standard C++
CopperSpice: Time to Sort Out std::chrono
27 Oct 2023
Standard C++
Beautiful C++: 30 Core Guidelines... Book Review -- Bartlomiej Filipek
26 Oct 2023
The OCaml Planet
Beta release of Frama-C 28.0~beta (Nickel)
26 Oct 2023
Standard C++
SObjectizer Tales – 3. Acquisition loop revisited--Marco Arena
25 Oct 2023
The OCaml Planet
Tutorial: Building a Browser Extension With Irmin
25 Oct 2023
Standard C++
Meeting C++ 2023 is streaming all tracks from Berlin
25 Oct 2023
Standard C++
On Writing Loops in PPL and Continuation-passing Style, Part 2 -- Raymond Chen
24 Oct 2023
The OCaml Planet
OCaml Weekly News, 24 Oct 2023
23 Oct 2023
Newest Python PEPs
PEP 8105: 2024 Term Steering Council election
23 Oct 2023
Standard C++
On Writing Loops in PPL and Continuation-passing Style, Part 1 -- Raymond Chen
21 Oct 2023
blogs.perl.org
Recordings of the German Perl Workshop (gpw2023) are online
21 Oct 2023
Planet Haskell
ERDI Gergo: Getting my HomeLab-2 sea legs
20 Oct 2023
Planet Haskell
Chris Reade: Graphs, Kites and Darts – Empires and SuperForce
20 Oct 2023
Standard C++
2023-10 Mailing Available
19 Oct 2023
Standard C++
SObjectizer Tales – 2. Can you call me back?--Marco Arena
19 Oct 2023
Standard C++
Inside STL: The Different Types of Shared Pointer Control Blocks -- Raymond Chen
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
17 Oct 2023
Planet Haskell
Oleg Grenrus: More traversals and more Cabal SAT
17 Oct 2023
Planet Haskell
Haskell Interlude: 35: Iavor Diatchki
17 Oct 2023
Standard C++
How to Use Monadic Operations for `std::optional` in C++23 -- Bartlomiej Filipek
16 Oct 2023
blogs.perl.org
Config::Tiny V 2.30 supports keys with arrays as values
16 Oct 2023
Read Rust - All
Why async Rust?
16 Oct 2023
Newest Python PEPs
PEP 733: An Evaluation of Python's Public C API
15 Oct 2023
Planet = erlang.
Show All Telemetry Events in Erlang and Elixir
14 Oct 2023
Newest Python PEPs
PEP 732: The Python Documentation Editorial Board
13 Oct 2023
Standard C++
Phantom and Indulgent Shared Pointers -- Raymond Chen
12 Oct 2023
Planet Haskell
Oleg Grenrus: Use traversals for batch operations
12 Oct 2023
Planet Haskell
Sandy Maguire: Certainty by Construction Progress Report 10
12 Oct 2023
Standard C++
SObjectizer Tales - 1. Producing Images--Marco Arena
11 Oct 2023
Newest Python PEPs
PEP 731: C API Working Group Charter
11 Oct 2023
Standard C++
What it means when you convert between different shared_ptrs -- Raymond Chen
10 Oct 2023
blogs.perl.org
Perl Weekly Challenge 238: Persistence Sort
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
blogs.perl.org
Announcing Dancer2 1.0.0
09 Oct 2023
The OCaml Planet
Rules of Miou!
09 Oct 2023
Newest Python PEPs
PEP 730: Adding iOS as a supported platform
09 Oct 2023
Planet Haskell
GHC Developer Blog: GHC 9.8.1 is now available
09 Oct 2023
Planet Haskell
Matt Parsons: Matt von Hagen
09 Oct 2023
Standard C++
Inside STL: The shared_ptr constructor and enable_shared_from_this -- Raymond Chen
05 Oct 2023
Planet Haskell
Gil Mizrahi: An alternative frontend for Haskell?
05 Oct 2023
Standard C++
SObjectizer Tales - Prelude--Marco Arena
05 Oct 2023
Standard C++
Inside STL: The shared_ptr constructor vs make_shared -- Raymond Chen
04 Oct 2023
The OCaml Planet
Porting OBuilder to FreeBSD
04 Oct 2023
Planet Haskell
Gabriella Gonzalez: A GHC plugin for OpenTelemetry build metrics
04 Oct 2023
Standard C++
2023-09 Mailing Available
03 Oct 2023
The OCaml Planet
OCaml Weekly News, 03 Oct 2023
03 Oct 2023
Standard C++
Inside STL: Smart Pointers -- Raymond Chen
02 Oct 2023
Planet Haskell
Haskell Interlude: 34: Lindsey Kuper
02 Oct 2023
Planet Haskell
Gabriella Gonzalez: My views on NeoHaskell
01 Oct 2023
Planet Haskell
Magnus Therning: How I use Emacs
30 Sep 2023
Planet Haskell
Gil Mizrahi: Implementing kind inference
30 Sep 2023
Planet Haskell
Magnus Therning: Using Emacs as $EDITOR
30 Sep 2023
Planet Haskell
Matthew Sackman: Using rsync for backups
30 Sep 2023
Standard C++
CppCon 2023 Back to Basics: Algorithms -- Klaus Iglberger
29 Sep 2023
Planet Haskell
GHC Developer Blog: GHC 9.8.1-rc1 is now available
29 Sep 2023
Standard C++
CppCon 2023 Powered by AI: A Cambrian Explosion for C++ Software Development Tools -- Emery Berger
29 Sep 2023
Standard C++
CppCon 2023 The Story on the Misuse of Exceptions and How to Do Better -- Peter Muldoon
29 Sep 2023
Standard C++
CppCon 2023 A Fast, Compliant JSON Pull Parser for Writing Robust Applications -- Jonathan Müller
28 Sep 2023
Standard C++
CppCon 2023 Building Effective Embedded Systems: Architectural Best Practices -- Gili Kamma
28 Sep 2023
Standard C++
Inside STL: The array -- Raymond Chen
28 Sep 2023
Standard C++
CppCon 2023 C++20 Modules: The Packaging and Binary Redistribution Story -- Luis Caro Campos
27 Sep 2023
The OCaml Planet
Tutorial: How to Port Lwt Applications to Eio
27 Sep 2023
Standard C++
CppCon 2023 Finding Your Codebases C++ Roots -- Katherine Rocha
27 Sep 2023
Standard C++
Meeting C++ 2023 - the last online conference?
26 Sep 2023
The OCaml Planet
Florian compiler weekly, 26 September 2023
26 Sep 2023
The OCaml Planet
OCaml Weekly News, 26 Sep 2023
26 Sep 2023
Standard C++
C++20 Dynamic Allocations at Compile-time -- Andreas Fertig
25 Sep 2023
Planet Haskell
GHC Developer Blog: GHC 9.6.3 is now available
20 Sep 2023
The OCaml Planet
A Year of SpaceOS: Showing the World the Benefits of OCaml
20 Sep 2023
Planet = erlang.
Erlang/OTP 26.1 Release
20 Sep 2023
Planet = erlang.
Strong arrows: a new approach to gradual typing
20 Sep 2023
Planet Haskell
Joey Hess: Haskell webassembly in the browser
19 Sep 2023
The OCaml Planet
OCaml Weekly News, 19 Sep 2023
19 Sep 2023
Newest Python PEPs
PEP 729: Typing governance process
19 Sep 2023
Planet Haskell
GHC Developer Blog: GHC 9.8.1-alpha4 is now available
19 Sep 2023
Planet Haskell
Gabriella Gonzalez: GHC plugin for HLint
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
11 Sep 2023
Planet Haskell
Joachim Breitner: Left recursive parser combinators via sharing
10 Sep 2023
Planet Haskell
Michael Snoyman: Owned values and Futures in Rust
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
05 Sep 2023
Planet Haskell
Lysxia's blog: Abstract nonsense
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
28 Aug 2023
Newest Python PEPs
PEP 727: Documentation in Annotated Metadata
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
14 Jul 2023
Planet = erlang.
Language Design: When Less is More
12 Jul 2023
The OCaml Planet
OCaml-CI Renovated
11 Jul 2023
The OCaml Planet
OCaml Weekly News, 11 Jul 2023
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
22 Jun 2023
Planet = erlang.
Type system updates: moving from research into development
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
20 Jun 2023
Planet = erlang.
Embrace Complexity; Tighten Your Feedback Loops
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
02 May 2023
The OCaml Planet
OCaml Weekly News, 02 May 2023
28 Apr 2023
The OCaml Planet
OCaml at MinidebConf TN 2023
28 Apr 2023
The OCaml Planet
Cyberhackathon Frama-C + Binsec
28 Apr 2023
The OCaml Planet
Florian's OCaml compiler weekly, 28 April 2023
26 Apr 2023
The OCaml Planet
Lambda Capabilities
25 Apr 2023
The OCaml Planet
OCaml Weekly News, 25 Apr 2023
24 Apr 2023
The OCaml Planet
Florian's OCaml compiler weekly, 24 April 2023
18 Apr 2023
The OCaml Planet
OCaml Weekly News, 18 Apr 2023
17 Apr 2023
The OCaml Planet
Florian's OCaml compiler weekly, 17 April 2023
14 Apr 2023
The OCaml Planet
Building reproducible Python environments with XARs
11 Apr 2023
The OCaml Planet
Florian's OCaml compiler weekly, 11 April 2023
11 Apr 2023
The OCaml Planet
OCaml Weekly News, 11 Apr 2023
06 Apr 2023
The OCaml Planet
Build faster with Buck2: Our open source build system
05 Apr 2023
The OCaml Planet
Server-side rendering React in OCaml
04 Apr 2023
The OCaml Planet
OCaml Weekly News, 04 Apr 2023
03 Apr 2023
The OCaml Planet
OCaml compiler weekly, 3 April 2023
28 Mar 2023
The OCaml Planet
OCaml Weekly News, 28 Mar 2023
27 Mar 2023
The OCaml Planet
OCaml compiler weekly, 27 March 2023
22 Mar 2023
The OCaml Planet
Compiler Hacking in Cambridge is Back!
21 Mar 2023
The OCaml Planet
OCaml Weekly News, 21 Mar 2023
17 Mar 2023
The OCaml Planet
Causally talking with @Dinoosaure about Mirage OS 4.0
17 Mar 2023
The OCaml Planet
Casually talking about ReScript, OSS, and communities with Patrick Ecker
17 Mar 2023
The OCaml Planet
Talking with Jaap Frolich about graphql-ppx
17 Mar 2023
The OCaml Planet
Talking with Oscar Spencer about Grain Lang, WASM, PLT and ML
17 Mar 2023
The OCaml Planet
Casually talking with Hongbo Zhang
17 Mar 2023
The OCaml Planet
Casually talking with Eduardo Rafael about OCaml, Tezos and probably compilers
17 Mar 2023
The OCaml Planet
Talking with Anil Madhavapeddy about OCaml, Tezos and @TrustedCarbon
17 Mar 2023
The OCaml Planet
Causally talking with Sean Grove about GraphQL, OneGraph and ReasonML
17 Mar 2023
The OCaml Planet
Casually talking with Gabriel Radanne about OCaml, meta-programming and much more
17 Mar 2023
The OCaml Planet
Casually talking with Craig Ferguson about OCaml, Mirage, Irmin and more
17 Mar 2023
The OCaml Planet
Talking with António Monteiro about Melange, Esy, Reason, OCaml and more
17 Mar 2023
The OCaml Planet
Talking with Gabriel Nordeborn ReScript, Relay and everything else!
09 Mar 2023
Read Rust - All
The Registers of Rust
08 Mar 2023
The OCaml Planet
More Than a Day: How Does Tarides Promote Women in Tech?
02 Mar 2023
The OCaml Planet
The Journey to OCaml Multicore: Bringing Big Ideas to Life
28 Feb 2023
The OCaml Planet
Fixed Term (3 years) Engineer Position at CEA LIST - LSL
28 Feb 2023
The OCaml Planet
Fixed Term (3 years) Computer Scientist Position at CEA LIST - LSL
28 Feb 2023
The OCaml Planet
3-year Engineer Position at CEA LIST - LSL
28 Feb 2023
The OCaml Planet
3-year Computer Scientist Position at CEA LIST - LSL
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?
15 Feb 2023
The OCaml Planet
Release of Frama-C 26.1 (Iron)
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
13 Feb 2023
The OCaml Planet
Formalizing invisible mathematics
10 Feb 2023
The OCaml Planet
Exploring strange new worlds of mathematics
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
23 Jan 2023
The OCaml Planet
Sub-single-instruction Peano to machine integer conversion
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
The OCaml Planet
Lambda Retreat Report
12 Jan 2023
The OCaml Planet
Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
12 Jan 2023
Read Rust - All
Supporting the Use of Rust in the Chromium Project
11 Jan 2023
Read Rust - All
gccrs in 2022
10 Jan 2023
The OCaml Planet
Engineer Spotlight: Sudha Parimala
09 Jan 2023
The OCaml Planet
What if writing tests was a joyful experience?
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
05 Jan 2023
The OCaml Planet
Engineer Spotlight: Zach Shipko
05 Jan 2023
The OCaml Planet
Release of ocplib-simplex, version 0.5
03 Jan 2023
The OCaml Planet
Deploy an SMTP service (3/3)
02 Jan 2023
The OCaml Planet
The Growth of the OCaml Distribution
31 Dec 2022
The OCaml Planet
Learning OCaml in 2023
29 Dec 2022
The OCaml Planet
Engineer Spotlight: Jules Aguillon
27 Dec 2022
The OCaml Planet
Love Rust? Then OCaml's New Eio Library is for You
22 Dec 2022
The OCaml Planet
OCaml 5 Multicore Testing Tools
22 Dec 2022
Read Rust - All
Announcing KataOS and Sparrow
21 Dec 2022
The OCaml Planet
Advanced Merlin Features: Destruct and Construct
21 Dec 2022
Read Rust - All
Ten Years of Ru...ewriting my website
21 Dec 2022
Read Rust - All
Rust 2023
20 Dec 2022
The OCaml Planet
How Nomadic Labs Used Multicore Processing to Create a Faster Blockchain
19 Dec 2022
The OCaml Planet
OCaml 5 With Multicore Support Is Here!
15 Dec 2022
The OCaml Planet
Deploy an SMTP service (2/3)
14 Dec 2022
The OCaml Planet
Hillingar: MirageOS Unikernels on NixOS
14 Dec 2022
The OCaml Planet
WebAssembly/Wasm and OCaml
09 Dec 2022
The OCaml Planet
MetAcsl for Frama-C 26.0 Iron
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