RSS feeds

07 Nov 2024Planet HaskellDonnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
09 Dec 2023Planet HaskellMagnus Therning: Getting Amazonka S3 to work with localstack
08 Dec 2023blogs.perl.orgIs Perl a write only language?
08 Dec 2023blogs.perl.orgSystem Thinking
07 Dec 2023blogs.perl.orgThis Week in PSC (127)
07 Dec 2023Planet HaskellTweag I/O: BazelCon Community Day - Munich
07 Dec 2023Standard C++SObjectizer Tales – 9. Splitting work--Marco Arena
06 Dec 2023blogs.perl.orgPerl Weekly Challenge 246: Linear Recurrence of Second Order
06 Dec 2023Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 16: monads and deriving via
05 Dec 2023The OCaml PlanetInternational Disability Day 2023: Why It Matters
05 Dec 2023The OCaml PlanetOCaml Weekly News, 05 Dec 2023
05 Dec 2023Planet = erlang.🤖 Does Functional Programming Matter To You?
05 Dec 2023Planet HaskellWell-Typed.Com: Haskell Implementors' Workshop 2023
04 Dec 2023blogs.perl.orgThis week in PSC (120) | 2023-10-12
04 Dec 2023blogs.perl.orgThis Week in PSC (121) | 2023-10-19
04 Dec 2023blogs.perl.orgThis week in PSC (122) | 2023-10-26
04 Dec 2023blogs.perl.orgThis week in PSC (123) | 2023-11-09
04 Dec 2023blogs.perl.orgThis Week in PSC (124) | 2023-11-16
04 Dec 2023blogs.perl.orgPerl Weekly Challenge 245: Largest of Three
04 Dec 2023blogs.perl.orgThe YAMLScript Advent Blog
04 Dec 2023blogs.perl.orgPerl Weekly Challenge 246: 6 out of 49
04 Dec 2023blogs.perl.orgThis week in PSC (126) | 2023-11-30
04 Dec 2023Planet HaskellHaskell Interlude: 38: Edwin Brady
04 Dec 2023Planet HaskellMatthew Sackman: Golang Bebop serialisation codec
04 Dec 2023Standard C++How to use std::span from C++20 -- Bartlomiej Filipek
03 Dec 2023Planet HaskellMark Jason Dominus: Compass points in Czech
02 Dec 2023Planet HaskellMark Jason Dominus: Math SE report 2023-10: Peano's definition of addition is not a tautology, and what was great about Ramanujan?
01 Dec 2023The OCaml PlanetRethinking OCaml abstract signatures
01 Dec 2023Planet HaskellMark Jason Dominus: Obsolete spellings and new ligatures in the names of famous persons
30 Nov 2023blogs.perl.orgPerl Weekly Challenge 245: Sort Language
30 Nov 2023The OCaml PlanetRelease of Frama-C 28.0 (Nickel)
30 Nov 2023Planet HaskellKen T Takusagawa: [iuigljdm] and (False,True)
30 Nov 2023Standard C++SObjectizer Tales - 8. Representing errors--Marco Arena
29 Nov 2023The OCaml PlanetUnix Module Considered Harmful
29 Nov 2023Newest Python PEPsPEP 737: Unify type name formatting
29 Nov 2023Standard C++Enodo, Divide et Impera -- Lucian Radu Teodorescu
28 Nov 2023The OCaml PlanetOCaml Weekly News, 28 Nov 2023
28 Nov 2023The OCaml PlanetRedeveloping TCP from the ground up
28 Nov 2023The OCaml PlanetRedeveloping TCP From the Ground Up
28 Nov 2023The OCaml PlanetPerformance Engineering on Hard Mode with Andrew Hunter
28 Nov 2023Planet HaskellMark Jason Dominus: Uncountable sets for seven-year-olds
28 Nov 2023Planet HaskellTweag I/O: Source filtering with file sets
27 Nov 2023blogs.perl.orgCurated list of Perl modules
27 Nov 2023Planet HaskellMark Jason Dominus: A Qmail example of dealing with unavoidable race conditions
27 Nov 2023Planet HaskellMonday Morning Haskell: Black Friday Sale: Last Day!
26 Nov 2023Planet = erlang.How can technology answer the remaining questions in fintech? Fintech Week London Panel discussion
26 Nov 2023Planet = erlang.The Blockchain Value Opportunity for FinTechs | Simon Taylor - 11:FS
25 Nov 2023Standard C++Live and Let Die -- Martin Janzen
24 Nov 2023blogs.perl.orgThis week in PSC (125) | 2023-11-23
24 Nov 2023Planet = erlang.Haydn Jones on getting corporate buy in for blockchain
24 Nov 2023Planet HaskellMonday Morning Haskell: Spotlight: Quick, Focused Haskell Courses
23 Nov 2023blogs.perl.orgPerl Weekly Challenge 244: Group Hero
23 Nov 2023blogs.perl.orgAn Option for Syntax Highlighting on blogs.perl.org
23 Nov 2023Planet HaskellTweag I/O: Separating debug symbols from executables
23 Nov 2023Planet HaskellWell-Typed.Com: Creating a macOS app with Haskell and Swift
23 Nov 2023Standard C++SObjectizer Tales - 7. Agent composition--Marco Arena
22 Nov 2023blogs.perl.orgGerman Perl/Raku Workshop 2024
22 Nov 2023Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 15: interruptible operations
22 Nov 2023Planet HaskellMonday Morning Haskell: Spotlight: In-Depth Haskell Courses!
21 Nov 2023The OCaml PlanetHow to Install OCaml 5: A Video Tutorial
21 Nov 2023The OCaml PlanetOCaml Weekly News, 21 Nov 2023
21 Nov 2023Standard C++Spans, string_view, and Ranges - Four View types (C++17 to C++23) -- Bartlomiej Filipek
20 Nov 2023blogs.perl.orgPerl Weekly Challenge 244: Count Smaller
20 Nov 2023The OCaml PlanetMirageVPN updated (AEAD, NCP)
20 Nov 2023Newest Python PEPsPEP 735: Dependency Groups in pyproject.toml
20 Nov 2023Planet HaskellMonday Morning Haskell: New Course: Solve.hs!
19 Nov 2023blogs.perl.orgHai Julia !
19 Nov 2023blogs.perl.orgPerl Weekly Challenge 243: Floor Sum
19 Nov 2023Planet HaskellMagnus Therning: Making Emacs without terminal emulator a little more usable
17 Nov 2023blogs.perl.orgFinal Call - 2024 TPRC Science Track Survey
17 Nov 2023Standard C++Microsoft Visual C++ at CppCon 2023 Trip Report -- Sinem Akinci
16 Nov 2023blogs.perl.orgPerl Weekly Challenge 243: Reverse Pairs
16 Nov 2023Planet HaskellTweag I/O: Organist: stay sane managing your development environments
16 Nov 2023Planet HaskellMagnus Therning: Using the golang mode shipped with Emacs
16 Nov 2023Standard C++SObjectizer Tales – 6. Is the stream still in progress?--Marco Arena
14 Nov 2023blogs.perl.orgFOSDEM 2024 Call for Participation
14 Nov 2023The OCaml PlanetMirageVPN & tls-crypt-v2
14 Nov 2023The OCaml PlanetOCaml Weekly News, 14 Nov 2023
14 Nov 2023Planet HaskellHaskell Interlude: 37: John MacFarlane
14 Nov 2023Standard C++Faster Hash Maps, Binary Trees etc. Through Data Layout Modification -- Ivica Bogosavljević
13 Nov 2023Planet HaskellMonday Morning Haskell: Ballparking Solutions
12 Nov 2023Standard C++Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA) -- Herb Sutter
10 Nov 2023Planet HaskellGHC Developer Blog: GHC 9.4.8 is now available
10 Nov 2023Standard C++2 Lines Of Code and 3 C++17 Features - The Overload Pattern -- Bartlomiej Filipek
09 Nov 2023The OCaml PlanetOCaml Hacking Day in Chennai!
09 Nov 2023Planet HaskellTweag I/O: Integrating Testwell CTC++ with Bazel
09 Nov 2023Standard C++SObjectizer Tales – 5. Sending commands--Marco Arena
08 Nov 2023blogs.perl.orgPerl Weekly Challenge 242: Flip Matrix
08 Nov 2023Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 14: higher-kinded types
08 Nov 2023Standard C++Promise-Cpp with Boost.Beast -- Richard Thomson
08 Nov 2023Standard C++Beware of Unsafe Conversions from size_t to int -- Giovanni Dicanio
08 Nov 2023Standard C++Intro to C++ Coroutines: Concept -- Ilya Doroshenko
07 Nov 2023blogs.perl.orgPerl Weekly Challenge 242: Missing Members
07 Nov 2023The OCaml PlanetMetAcsl for Frama-C 27.x Cobalt
07 Nov 2023The OCaml PlanetOCaml Weekly News, 07 Nov 2023
07 Nov 2023Planet HaskellDonnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
07 Nov 2023Planet HaskellChris Reade: Graphs, Kites and Darts – and Theorems
06 Nov 2023Newest Python PEPsPEP 734: Multiple Interpreters in the Stdlib
06 Nov 2023Standard C++On Writing Loops in Continuation-passing Style, Part 4 -- Raymond Chen
03 Nov 2023blogs.perl.orgDodging the Go loop trap
02 Nov 2023The OCaml PlanetBuilding React Server Components in OCaml
02 Nov 2023Standard C++SObjectizer Tales – 4. Handling commands--Marco Arena
02 Nov 2023Standard C++Optional Polymorphism by Delegation -- Daniel Lindner
01 Nov 2023The OCaml PlanetWebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
01 Nov 2023Planet HaskellChris Reade: Graphs, Kites and Darts
01 Nov 2023Planet HaskellJoachim Breitner: Joining the Lean FRO
31 Oct 2023The OCaml PlanetOCaml Weekly News, 31 Oct 2023
31 Oct 2023Planet HaskellHaskell Interlude: 36: John Hughes
31 Oct 2023Standard C++On Writing Loops in PPL and Continuation-passing Style, Part 3 -- Raymond Chen
30 Oct 2023blogs.perl.orgSetting up a free Oracle Database for Perl development
30 Oct 2023Planet HaskellSandy Maguire: Certainty by Construction: Done!
29 Oct 2023Planet HaskellJoachim Breitner: Squash your Github PRs with one click
28 Oct 2023blogs.perl.org2024 Perl Conference - Science Track Interest Survey
28 Oct 2023blogs.perl.orgDancer Advent Calendar 2023
28 Oct 2023Standard C++WG21 Varna Trip Report -- David Sankel
28 Oct 2023Standard C++ACCU 2024 Call for Speakers -- ACCU
28 Oct 2023Standard C++CopperSpice: Time to Sort Out std::chrono
27 Oct 2023Standard C++Beautiful C++: 30 Core Guidelines... Book Review -- Bartlomiej Filipek
26 Oct 2023The OCaml PlanetBeta release of Frama-C 28.0~beta (Nickel)
26 Oct 2023Standard C++SObjectizer Tales – 3. Acquisition loop revisited--Marco Arena
25 Oct 2023The OCaml PlanetTutorial: Building a Browser Extension With Irmin
25 Oct 2023Standard C++Meeting C++ 2023 is streaming all tracks from Berlin
25 Oct 2023Standard C++On Writing Loops in PPL and Continuation-passing Style, Part 2 -- Raymond Chen
24 Oct 2023The OCaml PlanetOCaml Weekly News, 24 Oct 2023
23 Oct 2023Newest Python PEPsPEP 8105: 2024 Term Steering Council election
23 Oct 2023Standard C++On Writing Loops in PPL and Continuation-passing Style, Part 1 -- Raymond Chen
21 Oct 2023blogs.perl.orgRecordings of the German Perl Workshop (gpw2023) are online
21 Oct 2023Planet HaskellERDI Gergo: Getting my HomeLab-2 sea legs
20 Oct 2023Planet HaskellChris Reade: Graphs, Kites and Darts – Empires and SuperForce
20 Oct 2023Standard C++2023-10 Mailing Available
19 Oct 2023Standard C++SObjectizer Tales – 2. Can you call me back?--Marco Arena
19 Oct 2023Standard C++Inside STL: The Different Types of Shared Pointer Control Blocks -- Raymond Chen
18 Oct 2023The OCaml PlanetOff to the Races: Using ThreadSanitizer in OCaml
17 Oct 2023The OCaml PlanetOCaml Weekly News, 17 Oct 2023
17 Oct 2023Planet HaskellOleg Grenrus: More traversals and more Cabal SAT
17 Oct 2023Planet HaskellHaskell Interlude: 35: Iavor Diatchki
17 Oct 2023Standard C++How to Use Monadic Operations for `std::optional` in C++23 -- Bartlomiej Filipek
16 Oct 2023blogs.perl.orgConfig::Tiny V 2.30 supports keys with arrays as values
16 Oct 2023Read Rust - AllWhy async Rust?
16 Oct 2023Newest Python PEPsPEP 733: An Evaluation of Python's Public C API
15 Oct 2023Planet = erlang.Show All Telemetry Events in Erlang and Elixir
14 Oct 2023Newest Python PEPsPEP 732: The Python Documentation Editorial Board
13 Oct 2023Standard C++Phantom and Indulgent Shared Pointers -- Raymond Chen
12 Oct 2023Planet HaskellOleg Grenrus: Use traversals for batch operations
12 Oct 2023Planet HaskellSandy Maguire: Certainty by Construction Progress Report 10
12 Oct 2023Standard C++SObjectizer Tales - 1. Producing Images--Marco Arena
11 Oct 2023Newest Python PEPsPEP 731: C API Working Group Charter
11 Oct 2023Standard C++What it means when you convert between different shared_ptrs -- Raymond Chen
10 Oct 2023blogs.perl.orgPerl Weekly Challenge 238: Persistence Sort
10 Oct 2023The OCaml PlanetPrioritising Mental Health at Tarides
10 Oct 2023The OCaml PlanetOCaml Weekly News, 10 Oct 2023
09 Oct 2023blogs.perl.orgAnnouncing Dancer2 1.0.0
09 Oct 2023The OCaml PlanetRules of Miou!
09 Oct 2023Newest Python PEPsPEP 730: Adding iOS as a supported platform
09 Oct 2023Planet HaskellGHC Developer Blog: GHC 9.8.1 is now available
09 Oct 2023Planet HaskellMatt Parsons: Matt von Hagen
09 Oct 2023Standard C++Inside STL: The shared_ptr constructor and enable_shared_from_this -- Raymond Chen
05 Oct 2023Planet HaskellGil Mizrahi: An alternative frontend for Haskell?
05 Oct 2023Standard C++SObjectizer Tales - Prelude--Marco Arena
05 Oct 2023Standard C++Inside STL: The shared_ptr constructor vs make_shared -- Raymond Chen
04 Oct 2023The OCaml PlanetPorting OBuilder to FreeBSD
04 Oct 2023Planet HaskellGabriella Gonzalez: A GHC plugin for OpenTelemetry build metrics
04 Oct 2023Standard C++2023-09 Mailing Available
03 Oct 2023The OCaml PlanetOCaml Weekly News, 03 Oct 2023
03 Oct 2023Standard C++Inside STL: Smart Pointers -- Raymond Chen
02 Oct 2023Planet HaskellHaskell Interlude: 34: Lindsey Kuper
02 Oct 2023Planet HaskellGabriella Gonzalez: My views on NeoHaskell
01 Oct 2023Planet HaskellMagnus Therning: How I use Emacs
30 Sep 2023Planet HaskellGil Mizrahi: Implementing kind inference
30 Sep 2023Planet HaskellMagnus Therning: Using Emacs as $EDITOR
30 Sep 2023Planet HaskellMatthew Sackman: Using rsync for backups
30 Sep 2023Standard C++CppCon 2023 Back to Basics: Algorithms -- Klaus Iglberger
29 Sep 2023Planet HaskellGHC Developer Blog: GHC 9.8.1-rc1 is now available
29 Sep 2023Standard C++CppCon 2023 Powered by AI: A Cambrian Explosion for C++ Software Development Tools -- Emery Berger
29 Sep 2023Standard C++CppCon 2023 The Story on the Misuse of Exceptions and How to Do Better -- Peter Muldoon
29 Sep 2023Standard C++CppCon 2023 A Fast, Compliant JSON Pull Parser for Writing Robust Applications -- Jonathan Müller
28 Sep 2023Standard C++CppCon 2023 Building Effective Embedded Systems: Architectural Best Practices -- Gili Kamma
28 Sep 2023Standard C++Inside STL: The array -- Raymond Chen
28 Sep 2023Standard C++CppCon 2023 C++20 Modules: The Packaging and Binary Redistribution Story -- Luis Caro Campos
27 Sep 2023The OCaml PlanetTutorial: How to Port Lwt Applications to Eio
27 Sep 2023Standard C++CppCon 2023 Finding Your Codebases C++ Roots -- Katherine Rocha
27 Sep 2023Standard C++Meeting C++ 2023 - the last online conference?
26 Sep 2023The OCaml PlanetFlorian compiler weekly, 26 September 2023
26 Sep 2023The OCaml PlanetOCaml Weekly News, 26 Sep 2023
26 Sep 2023Standard C++C++20 Dynamic Allocations at Compile-time -- Andreas Fertig
25 Sep 2023Planet HaskellGHC Developer Blog: GHC 9.6.3 is now available
20 Sep 2023The OCaml PlanetA Year of SpaceOS: Showing the World the Benefits of OCaml
20 Sep 2023Planet = erlang.Erlang/OTP 26.1 Release
20 Sep 2023Planet = erlang.Strong arrows: a new approach to gradual typing
20 Sep 2023Planet HaskellJoey Hess: Haskell webassembly in the browser
19 Sep 2023The OCaml PlanetOCaml Weekly News, 19 Sep 2023
19 Sep 2023Newest Python PEPsPEP 729: Typing governance process
19 Sep 2023Planet HaskellGHC Developer Blog: GHC 9.8.1-alpha4 is now available
19 Sep 2023Planet HaskellGabriella Gonzalez: GHC plugin for HLint
18 Sep 2023The OCaml PlanetThe latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
15 Sep 2023The OCaml PlanetOur Experience at Tarides: Projects From Our Internships in 2023
14 Sep 2023The OCaml PlanetBeyond TypeScript: Differences Between Typed Languages
12 Sep 2023The OCaml PlanetWhat the interns have wrought, 2023 edition
12 Sep 2023The OCaml PlanetOCaml Weekly News, 12 Sep 2023
11 Sep 2023Planet HaskellJoachim Breitner: Left recursive parser combinators via sharing
10 Sep 2023Planet HaskellMichael Snoyman: Owned values and Futures in Rust
08 Sep 2023The OCaml PlanetThe State of the Art in Functional Programming: Tarides at ICFP 2023
08 Sep 2023The OCaml PlanetMiou, a simple scheduler for OCaml 5
07 Sep 2023The OCaml PlanetRelease of Frama-Clang 0.0.14
05 Sep 2023The OCaml PlanetOCaml Weekly News, 05 Sep 2023
05 Sep 2023Planet HaskellLysxia's blog: Abstract nonsense
01 Sep 2023The OCaml PlanetOxidizing OCaml: Data Race Freedom
29 Aug 2023The OCaml PlanetHow to build type-safe State Machines using type-state
29 Aug 2023The OCaml PlanetOCaml Weekly News, 29 Aug 2023
28 Aug 2023The OCaml PlanetA quick guide to GADTs and why you ain't gonna need them
28 Aug 2023Newest Python PEPsPEP 727: Documentation in Annotated Metadata
24 Aug 2023The OCaml PlanetHow I explore domain problems cheaply and fast with OCaml: modeling a web router
23 Aug 2023The OCaml Planet{ hello = `world; }
22 Aug 2023The OCaml PlanetBuilding the OCaml GPT library
17 Aug 2023The OCaml PlanetYour Programming Language and its Impact on the Cybersecurity of Your Application
15 Aug 2023The OCaml PlanetOCaml Weekly News, 15 Aug 2023
15 Aug 2023The OCaml PlanetA Poet's Guide to Product Management with Peter Bogart-Johnson
12 Aug 2023The OCaml PlanetOn indefinite truth values
10 Aug 2023The OCaml PlanetKcas: Building a Lock-Free STM for OCaml (2/2)
08 Aug 2023The OCaml PlanetOCaml Weekly News, 08 Aug 2023
07 Aug 2023The OCaml PlanetKcas: Building a lock-free STM for OCaml (1/2)
04 Aug 2023The OCaml PlanetOutreachy Mid-Point Progress
02 Aug 2023The OCaml PlanetOBuilder on macOS
01 Aug 2023The OCaml PlanetOCaml Weekly News, 01 Aug 2023
31 Jul 2023The OCaml PlanetOCaml in Space - Welcome SpaceOS!
27 Jul 2023The OCaml PlanetReflections on the MirageOS Retreat in Morocco
27 Jul 2023The OCaml PlanetVariations on Weihrauch degrees (CiE 2023)
25 Jul 2023The OCaml PlanetOCaml Weekly News, 25 Jul 2023
20 Jul 2023The OCaml PlanetCreating a UDP server and client in OCaml
20 Jul 2023The OCaml PlanetSetting up Opam and MirageOS on MacOS Ventura, on Apple Silicon
19 Jul 2023The OCaml PlanetSandmark: Boosting Multicore Projects with Performance Benchmarking
18 Jul 2023The OCaml PlanetRelease of Frama-C 27.1 (Cobalt)
18 Jul 2023The OCaml PlanetOCaml Weekly News, 18 Jul 2023
18 Jul 2023The OCaml PlanetContinuity principles and the KLST theorem
14 Jul 2023Planet = erlang.Language Design: When Less is More
12 Jul 2023The OCaml PlanetOCaml-CI Renovated
11 Jul 2023The OCaml PlanetOCaml Weekly News, 11 Jul 2023
07 Jul 2023The OCaml PlanetMaking OCaml 5 Succeed for Developers and Organisations
06 Jul 2023The OCaml PlanetWe're sponsoring SoME3
05 Jul 2023The OCaml PlanetZero-Day Attacks: What Are They, and Can a Language Like OCaml Protect You?
05 Jul 2023The OCaml PlanetFlorian's OCaml compiler weekly, 5 July 2023
04 Jul 2023The OCaml PlanetOCaml Weekly News, 04 Jul 2023
30 Jun 2023The OCaml Planet2022 at OCamlPro
29 Jun 2023The OCaml PlanetEmelleTV: Talking with Louis Roché about OCaml and Ahrefs
27 Jun 2023The OCaml PlanetOCaml Weekly News, 27 Jun 2023
27 Jun 2023The OCaml PlanetAutofonce, GNU Autotests Revisited
22 Jun 2023Planet = erlang.Type system updates: moving from research into development
21 Jun 2023The OCaml PlanetOxidizing OCaml: Rust-Style Ownership
20 Jun 2023The OCaml PlanetOCaml Receives the ACM SIGPLAN Programming Languages Software Award
20 Jun 2023The OCaml PlanetFlorian's OCaml compiler weekly, 20 June 2023
20 Jun 2023The OCaml PlanetOCaml Weekly News, 20 Jun 2023
20 Jun 2023Planet = erlang.Embrace Complexity; Tighten Your Feedback Loops
15 Jun 2023The OCaml PlanetRelease of Frama-C 27.0 (Cobalt)
14 Jun 2023The OCaml PlanetIsomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
13 Jun 2023The OCaml PlanetOutreachy Blog #1: Introduce Yourself
13 Jun 2023The OCaml PlanetFirst week experience at Outreachy
13 Jun 2023The OCaml PlanetOCaml Weekly News, 13 Jun 2023
12 Jun 2023The OCaml PlanetFlorian's OCaml compiler weekly, 12 June 2023
11 Jun 2023The OCaml PlanetAnti-personnel computing
06 Jun 2023The OCaml PlanetOCaml Weekly News, 06 Jun 2023
05 Jun 2023The OCaml PlanetFlorian's OCaml compiler weekly, 5 June 2023
31 May 2023The OCaml PlanetSecurity in opam's cache handling (before 2.1.5)
30 May 2023The OCaml PlanetTwo variants of the Bind rule
30 May 2023The OCaml PlanetOCaml Weekly News, 30 May 2023
26 May 2023The OCaml PlanetOxidizing OCaml: Locality
23 May 2023The OCaml PlanetOCaml Weekly News, 23 May 2023
23 May 2023The OCaml PlanetFor those who just don’t Git it
18 May 2023The OCaml PlanetThe Future of Programming with Richard Eisenberg
16 May 2023The OCaml PlanetBeta release of Frama-C 27.0~beta (Cobalt)
16 May 2023The OCaml PlanetElegance in OCaml with TJ DeVries
16 May 2023The OCaml PlanetOCaml Weekly News, 16 May 2023
12 May 2023The OCaml PlanetSpecifying Functions: Two Styles
09 May 2023The OCaml PlanetOCaml Weekly News, 09 May 2023
05 May 2023The OCaml PlanetOptimising Archive Node Storage for Tezos
05 May 2023The OCaml PlanetThe MirageOS retreat (01/05/2023)
03 May 2023The OCaml PlanetAhrefs is now built with Melange
02 May 2023The OCaml PlanetOCaml Weekly News, 02 May 2023
28 Apr 2023The OCaml PlanetOCaml at MinidebConf TN 2023
28 Apr 2023The OCaml PlanetCyberhackathon Frama-C + Binsec
28 Apr 2023The OCaml PlanetFlorian's OCaml compiler weekly, 28 April 2023
26 Apr 2023The OCaml PlanetLambda Capabilities
25 Apr 2023The OCaml PlanetOCaml Weekly News, 25 Apr 2023
24 Apr 2023The OCaml PlanetFlorian's OCaml compiler weekly, 24 April 2023
18 Apr 2023The OCaml PlanetOCaml Weekly News, 18 Apr 2023
17 Apr 2023The OCaml PlanetFlorian's OCaml compiler weekly, 17 April 2023
14 Apr 2023The OCaml PlanetBuilding reproducible Python environments with XARs
11 Apr 2023The OCaml PlanetFlorian's OCaml compiler weekly, 11 April 2023
11 Apr 2023The OCaml PlanetOCaml Weekly News, 11 Apr 2023
06 Apr 2023The OCaml PlanetBuild faster with Buck2: Our open source build system
05 Apr 2023The OCaml PlanetServer-side rendering React in OCaml
04 Apr 2023The OCaml PlanetOCaml Weekly News, 04 Apr 2023
03 Apr 2023The OCaml PlanetOCaml compiler weekly, 3 April 2023
28 Mar 2023The OCaml PlanetOCaml Weekly News, 28 Mar 2023
27 Mar 2023The OCaml PlanetOCaml compiler weekly, 27 March 2023
22 Mar 2023The OCaml PlanetCompiler Hacking in Cambridge is Back!
21 Mar 2023The OCaml PlanetOCaml Weekly News, 21 Mar 2023
17 Mar 2023The OCaml PlanetCausally talking with @Dinoosaure about Mirage OS 4.0
17 Mar 2023The OCaml PlanetCasually talking about ReScript, OSS, and communities with Patrick Ecker
17 Mar 2023The OCaml PlanetTalking with Jaap Frolich about graphql-ppx
17 Mar 2023The OCaml PlanetTalking with Oscar Spencer about Grain Lang, WASM, PLT and ML
17 Mar 2023The OCaml PlanetCasually talking with Hongbo Zhang
17 Mar 2023The OCaml PlanetCasually talking with Eduardo Rafael about OCaml, Tezos and probably compilers
17 Mar 2023The OCaml PlanetTalking with Anil Madhavapeddy about OCaml, Tezos and @TrustedCarbon
17 Mar 2023The OCaml PlanetCausally talking with Sean Grove about GraphQL, OneGraph and ReasonML
17 Mar 2023The OCaml PlanetCasually talking with Gabriel Radanne about OCaml, meta-programming and much more
17 Mar 2023The OCaml PlanetCasually talking with Craig Ferguson about OCaml, Mirage, Irmin and more
17 Mar 2023The OCaml PlanetTalking with António Monteiro about Melange, Esy, Reason, OCaml and more
17 Mar 2023The OCaml PlanetTalking with Gabriel Nordeborn ReScript, Relay and everything else!
09 Mar 2023Read Rust - AllThe Registers of Rust
08 Mar 2023The OCaml PlanetMore Than a Day: How Does Tarides Promote Women in Tech?
02 Mar 2023The OCaml PlanetThe Journey to OCaml Multicore: Bringing Big Ideas to Life
28 Feb 2023The OCaml PlanetFixed Term (3 years) Engineer Position at CEA LIST - LSL
28 Feb 2023The OCaml PlanetFixed Term (3 years) Computer Scientist Position at CEA LIST - LSL
28 Feb 2023The OCaml Planet3-year Engineer Position at CEA LIST - LSL
28 Feb 2023The OCaml Planet3-year Computer Scientist Position at CEA LIST - LSL
28 Feb 2023Read Rust - AllReducing code size in librsvg by removing an unnecessary generic struct
24 Feb 2023Read Rust - AllKeyword Generics Progress Report: February 2023
17 Feb 2023Read Rust - AllWhy is building a UI in Rust so hard?
15 Feb 2023The OCaml PlanetRelease of Frama-C 26.1 (Iron)
14 Feb 2023Read Rust - AllParsing TFTP in Rust
14 Feb 2023Read Rust - AllRust to WebAssembly the hard way
14 Feb 2023Read Rust - AllNew release
13 Feb 2023The OCaml PlanetFormalizing invisible mathematics
10 Feb 2023The OCaml PlanetExploring strange new worlds of mathematics
09 Feb 2023Read Rust - AllDramatically reducing AccessKit’s memory usage
08 Feb 2023Read Rust - AllRustler - Using Rust crates in Elixir
08 Feb 2023Read Rust - AllTauri vs Iced vs egui: Rust GUI framework performance comparison
08 Feb 2023Read Rust - AllThe Git source code audit, viewed as a Rust programmer
07 Feb 2023Read Rust - AllSpeeding up Rust semver-checking by over 2000x
06 Feb 2023Read Rust - AllExploring Rust for Vulkan drivers, part 1
06 Feb 2023Read Rust - AllGenerate gem skeleton with Rust extension
29 Jan 2023Read Rust - AllThe size of Rust Futures
23 Jan 2023The OCaml PlanetSub-single-instruction Peano to machine integer conversion
19 Jan 2023Read Rust - AllTesting SIMD instructions on ARM with Rust on Android
13 Jan 2023Read Rust - AllRunning Zola on WebAssembly
12 Jan 2023The OCaml PlanetLambda Retreat Report
12 Jan 2023The OCaml PlanetStatically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
12 Jan 2023Read Rust - AllSupporting the Use of Rust in the Chromium Project
11 Jan 2023Read Rust - Allgccrs in 2022
10 Jan 2023The OCaml PlanetEngineer Spotlight: Sudha Parimala
09 Jan 2023The OCaml PlanetWhat if writing tests was a joyful experience?
07 Jan 2023Read Rust - AllIs coding in Rust as bad as in C++?
07 Jan 2023Read Rust - AllWhat Every Rust Developer Should Know About Macro Support in IDEs
05 Jan 2023The OCaml PlanetEngineer Spotlight: Zach Shipko
05 Jan 2023The OCaml PlanetRelease of ocplib-simplex, version 0.5
03 Jan 2023The OCaml PlanetDeploy an SMTP service (3/3)
02 Jan 2023The OCaml PlanetThe Growth of the OCaml Distribution
31 Dec 2022The OCaml PlanetLearning OCaml in 2023
29 Dec 2022The OCaml PlanetEngineer Spotlight: Jules Aguillon
27 Dec 2022The OCaml PlanetLove Rust? Then OCaml's New Eio Library is for You
22 Dec 2022The OCaml PlanetOCaml 5 Multicore Testing Tools
22 Dec 2022Read Rust - AllAnnouncing KataOS and Sparrow
21 Dec 2022The OCaml PlanetAdvanced Merlin Features: Destruct and Construct
21 Dec 2022Read Rust - AllTen Years of Ru...ewriting my website
21 Dec 2022Read Rust - AllRust 2023
20 Dec 2022The OCaml PlanetHow Nomadic Labs Used Multicore Processing to Create a Faster Blockchain
19 Dec 2022The OCaml PlanetOCaml 5 With Multicore Support Is Here!
15 Dec 2022The OCaml PlanetDeploy an SMTP service (2/3)
14 Dec 2022The OCaml PlanetHillingar: MirageOS Unikernels on NixOS
14 Dec 2022The OCaml PlanetWebAssembly/Wasm and OCaml
09 Dec 2022The OCaml PlanetMetAcsl for Frama-C 26.0 Iron
09 Dec 2022Read Rust - AllBuilding a Rust-y Vim clutch with the Raspberry Pi 2040
07 Dec 2022Read Rust - AllHelix Release 22.12 Highlights
07 Dec 2022Read Rust - AllThis Month in Rust OSDev: November 2022
06 Dec 2022Read Rust - AllLaunching the 2022 State of Rust Survey
06 Dec 2022Read Rust - AllKernelCI now testing Linux Rust code
01 Dec 2022Read Rust - AllMemory Safe Languages in Android 13
30 Nov 2022Read Rust - AllHow much does Rust's bounds checking actually cost?
30 Nov 2022Read Rust - AllFedora 38 Looks To Shift RPM To Sequoia, A Rust-Based OpenPGP Parser
30 Nov 2022Read Rust - AllOut-of-bounds memory access bug
25 Nov 2022Read Rust - AllSafely writing code that isn't thread-safe
24 Nov 2022Read Rust - AllRedox OS 0.8.0
24 Nov 2022Read Rust - AllRust developers can now generate consistent type schema with Typeshare
22 Nov 2022Read Rust - AllFrom AST to bytecode execution in EndBASIC
22 Nov 2022Read Rust - AllThe carcinization of Go programs
22 Nov 2022Read Rust - AllFlux: Refinement Types for Rust
31 Oct 2022Read Rust - AllA first look at Rust in the 6.1 kernel
29 Oct 2022Read Rust - AllGeneric associated types to be stable in Rust 1.65
25 Oct 2022Read Rust - AllEvaluating Build Scripts in the IntelliJ Rust Plugin
21 Oct 2022Read Rust - AllRAII: Compile-Time Memory Management in C++ and Rust
21 Oct 2022Read Rust - AllA deeper look into the GCC Rust front-end
21 Oct 2022Read Rust - AllRust on Espressif chips - 17-10-2022
21 Oct 2022Read Rust - AllProgress report on rustc_codegen_cranelift (Okt 2022)
19 Oct 2022Read Rust - AllWelcoming Sage Griffin: Rust Foundation Communities Advocate
15 Oct 2022Read Rust - Allretrowin32, a win32 emulator
14 Oct 2022Read Rust - AllA Memory Safe Implementation of the Network Time Protocol
06 Oct 2022Read Rust - AllSingle Pass Recursion in Rust
06 Oct 2022Read Rust - AllAn Invitation to Rust Maintainers
06 Oct 2022Read Rust - AllHard Mode Rust
05 Oct 2022Read Rust - Allzerocal - A Serverless Calendar App in Rust Running on shuttle.rs
04 Oct 2022Read Rust - AllRewriting the Modern Web in Rust
04 Oct 2022Read Rust - AllHow (and why) nextest uses tokio, part 1
04 Oct 2022Read Rust - AllImplementing truly safe semaphores in rust, and the costs we pay for safety
29 Sep 2022Read Rust - AllThe perils of pinning
29 Sep 2022Read Rust - AllFutures Concurrency IV: Join Ergonomics
29 Sep 2022Read Rust - Allcargo careful: run your Rust code with extra careful debug checking
29 Sep 2022Read Rust - AllAnnouncing the Rust Style Team
29 Sep 2022Read Rust - AllAnnouncing ICU4X 1.0
23 Sep 2022Read Rust - AllCompiling Rust with GCC: an update
23 Sep 2022Read Rust - AllA pair of Rust kernel modules
30 Sep 2021Read Rust - AllRust for the Polyglot Programmer
04 Aug 2021Read Rust - AllAdding Rust-Stable libstd Support for Xous
03 Aug 2021Read Rust - AllThe push for GATs stabilization
03 Aug 2021Read Rust - AllImprovements for #[doc] attributes in Rust
21 Jul 2021Read Rust - AllRust 2021 public testing period
06 Apr 2021Read Rust - AllRust in the Android platform
18 Mar 2021Read Rust - AllBuilding a shared vision for Async Rust
25 Feb 2021Read Rust - AllFerrocene Part 3: The Road
28 Jan 2021Read Rust - AllRust & the case of the disappearing stack frames
21 Jan 2021Read Rust - AllRustdoc performance improvements
21 Jan 2021Read Rust - AllRust in Production: 1Password
01 Jan 2021Read Rust - AllAnnouncing Rust 1.49.0
16 Dec 2020Read Rust - AllSequoia PGP v1.0 Released: The Seedling's a Sapling
14 Dec 2020Read Rust - AllLaunching the Lock Poisoning Survey
09 Dec 2020Read Rust - AllAnnouncing Minus, a cross-platform pager
27 Nov 2020Read Rust - AllAnnouncing Rustup 1.23.0
27 Nov 2020Read Rust - Alllib-ruby-parser: A Ruby Parser Written in Rust
24 Nov 2020Read Rust - AllWhat the Error Handling Project Group is Working On
19 Nov 2020Read Rust - AllAnnouncing Rust 1.48.0
11 Nov 2020Read Rust - AllExploring PGO for the Rust compiler
04 Nov 2020Read Rust - AllIntroducing Scipio - a Thread-per-Core Crate for Rust & Linux
21 Oct 2020Read Rust - AllNon-Generic Inner Functions
12 Oct 2020Read Rust - AllRust after the honeymoon
09 Oct 2020Read Rust - AllRust in curl with Hyper
08 Oct 2020Read Rust - AllAnnouncing Rust 1.47.0
07 Oct 2020Read Rust - AllRust + Raspberry Pi Tide Clock
30 Sep 2020Read Rust - AllAnnouncing the Portable SIMD Project Group
22 Sep 2020Read Rust - AllAsync Iteration Semantics
22 Sep 2020Read Rust - AllPorting EBU R128 audio loudness analysis from C to Rust
21 Sep 2020Read Rust - AllThrow Away Code
21 Sep 2020Read Rust - AllLow-Level Academy
21 Sep 2020Read Rust - AllCall for 2021 Roadmap Blogs Ending Soon
21 Sep 2020Read Rust - AllRust 2021 – Ethical Development
19 Sep 2020Read Rust - AllRust 2021: Make it accessible
19 Sep 2020Read Rust - AllTL;DR Rust
14 Sep 2020Read Rust - AllIntroducing auditable: audit Rust binaries for known bugs or vulnerabilities in production