RSS feeds

07 Nov 2024Planet HaskellDonnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
14 Apr 2024Planet HaskellMark Jason Dominus: Stuff that is backwards in Australia
14 Apr 2024Planet HaskellMark Jason Dominus: Stuff that is and isn't backwards in Australia
13 Apr 2024Planet HaskellMark Jason Dominus: 3-coloring the vertices of an icosahedron
12 Apr 2024Planet HaskellOleg Grenrus: Core Inspection
12 Apr 2024Standard C++Results summary: 2024 Annual C++ Developer Survey "Lite"
11 Apr 2024blogs.perl.orgThis week in PSC (144) | 2024-04-11
11 Apr 2024blogs.perl.org2024 TPRC Submission Date Extended thru April 20th
11 Apr 2024Newest Python PEPsPEP 744: JIT Compilation
11 Apr 2024Planet HaskellChris Reade: PenroseKiteDart User Guide
11 Apr 2024Standard C++SObjectizer Tales – 27. Design ideas--Marco Arena
10 Apr 2024blogs.perl.orgPerl Weekly Challenge 264: Target Array
10 Apr 2024The OCaml PlanetMulticore Testing Tools: DSCheck Pt 2
09 Apr 2024blogs.perl.orgPerl Weekly Challenge 264: Greatest English Letter
09 Apr 2024The OCaml PlanetOCaml Weekly News, 09 Apr 2024
09 Apr 2024Planet = erlang.Modern Log Management Enables Observability at Scale for Complex Systems | Erlang Solutions Webinar
09 Apr 2024Planet HaskellWell-Typed.Com: Haskell development job with Well-Typed
08 Apr 2024Standard C++Survey closing soon: 2024 Annual C++ Developer Survey "Lite"
08 Apr 2024Standard C++How not to check array size in C++
08 Apr 2024Standard C++Trip Report: Spring ISO C++ Meeting in Tokyo, Japan -- Jonathan Müller
07 Apr 2024Planet HaskellAbhinav Sarkar: Solving Advent of Code ’23 “Aplenty” by Compiling
05 Apr 2024Planet = erlang.Haydn Jones on getting corporate buy in for blockchain
04 Apr 2024blogs.perl.orgThis Week in PSC (143)
04 Apr 2024Standard C++SObjectizer Tales – 26. Dispatcher selection--Marco Arena
04 Apr 2024Standard C++Using Copilot Chat with C++ in VS Code -- Sinem Akinci
04 Apr 2024Standard C++GCC 14 -fanalyzer improvements for buffer overflows and more -- David Malcolm
03 Apr 2024The OCaml PlanetUpdates to OCaml.org's Learn Section: Enhancing UI and UX
03 Apr 2024Standard C++Pure Virtual C++ 2024 Sessions Announced
03 Apr 2024Standard C++2024 Annual C++ Developer Survey "Lite"
02 Apr 2024blogs.perl.orgPerl Weekly Challenge 263: Target Index
02 Apr 2024blogs.perl.orgPerl Weekly Challenge 263: Merge Items
02 Apr 2024blogs.perl.orgA FOSS Ecosystem Checklist for the Benefit of Maintainer Sustainability
02 Apr 2024The OCaml PlanetOCaml Weekly News, 02 Apr 2024
02 Apr 2024Planet HaskellWell-Typed.Com: Calling Haskell from Swift
02 Apr 2024Planet HaskellHaskell Interlude: 46: effectfully
01 Apr 2024blogs.perl.orgA Twist of a Date
01 Apr 2024Planet HaskellOleg Grenrus: Implicit arguments
01 Apr 2024Planet HaskellChris Reade: Graphs, Kites and Darts – and Theorems
01 Apr 2024Planet HaskellChris Reade: Graphs, Kites and Darts – Empires and SuperForce
01 Apr 2024Planet HaskellChris Reade: Graphs, Kites and Darts
29 Mar 2024Planet HaskellGHC Developer Blog: GHC 9.10.1-alpha2 is now available
28 Mar 2024blogs.perl.orgTPRC/Science Track Submission Dates and Deadlines Coming Fast!
28 Mar 2024blogs.perl.orgThis Week in PSC (142)
28 Mar 2024Standard C++SObjectizer Tales – 25. Runtime telemetry--Marco Arena
27 Mar 2024blogs.perl.orgPerl Weekly Challenge 262: Count Equal Divisible
27 Mar 2024The OCaml PlanetNetHSM: Bringing Open Source to the World of Hardware Security Modules
26 Mar 2024blogs.perl.orgPerl Weekly Challenge 262: Max Positive Negative
26 Mar 2024The OCaml PlanetOCaml Weekly News, 26 Mar 2024
26 Mar 2024Standard C++C++ and The Next 30 Years -- David Sankel
25 Mar 2024blogs.perl.orgUsing peppers with Crypt::Passphrase
25 Mar 2024The OCaml PlanetFrama-Clang v0.0.15 for Frama-C 28.0 Nickel
25 Mar 2024The OCaml PlanetOpam 102: Pinning Packages
25 Mar 2024Planet = erlang.What Should FinTech Learn From Telecom? Portfolio Conference, Banking Technology 2021
21 Mar 2024blogs.perl.orgChanges in MooX::Role::Parameterized
21 Mar 2024blogs.perl.orgPerl Weekly Challenge 261: Multiply by Two
21 Mar 2024blogs.perl.orgThis week in PSC (141) | 2024-03-21
21 Mar 2024Planet HaskellTweag I/O: Evaluating retrieval in RAGs: a practical framework
21 Mar 2024Standard C++SObjectizer Tales – 24. Delivering messages at shutdown--Marco Arena
21 Mar 2024Standard C++Is shadowing a member variable from a base class a bad thing? Maybe, but maybe not. -- Raymond Chen
20 Mar 2024blogs.perl.orgPerl Weekly Challenge 261: Element Digit Sum
20 Mar 2024The OCaml PlanetEio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
20 Mar 2024Planet = erlang.Erlang/OTP 27.0 Release Candidate 2
20 Mar 2024Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 22: foldr-build fusion
20 Mar 2024Standard C++Providing a stable memory address to an external API
19 Mar 2024The OCaml PlanetOCaml Weekly News, 19 Mar 2024
19 Mar 2024The OCaml PlanetCPS Representation and Foundational Design Decisions in Flambda2
19 Mar 2024Planet = erlang.A Commentary on Defining Observability
18 Mar 2024The OCaml PlanetThe Flambda2 Snippets, Episode 0
18 Mar 2024Planet HaskellMichael Snoyman: How I Stay Organized
18 Mar 2024Planet HaskellHaskell Interlude: 45: András Kovács
18 Mar 2024Standard C++C++23: More Small Changes -- Sandor Dargo
17 Mar 2024Planet HaskellOleg Grenrus: ST with an early exit
16 Mar 2024blogs.perl.orgPSC #140 2024-03-14
15 Mar 2024Standard C++Starting a C++ project with CMake in 2024
15 Mar 2024Standard C++Safety, Revisited -- Lucian Radu Teodorescu
14 Mar 2024Planet HaskellMagnus Therning: Hackage revisions in Nix
14 Mar 2024Standard C++SObjectizer Tales – 23. Mutable messages--Marco Arena
13 Mar 2024The OCaml PlanetMy experience at IndiaFOSS 2023: Community, Workshop, and Talks
13 Mar 2024Planet HaskellGHC Developer Blog: GHC 9.10.1-alpha1 is now available
13 Mar 2024Standard C++C++23: Allocator Related Changes -- Sandor Dargo
12 Mar 2024The OCaml PlanetOCaml Weekly News, 12 Mar 2024
12 Mar 2024Planet HaskellTweag I/O: Software Identifiers through the eyes of Nix
11 Mar 2024Newest Python PEPsPEP 743: Add Py_COMPAT_API_VERSION to the Python C API
11 Mar 2024Planet HaskellJoachim Breitner: Convenient sandboxed development environment
11 Mar 2024Standard C++Announcing the full ACCU 2024 Conference schedule -- ACCU & ShavedYaks
11 Mar 2024Standard C++C++20 Concepts Applied – Safe Bitmasks Using Scoped Enums -- Andreas Fertig
09 Mar 2024blogs.perl.orgReading sequences from FASTA format alignment by Bio::Perl
09 Mar 2024Standard C++Aggregates: C++17 vs. C++20 -- Andreas Fertig
08 Mar 2024Planet HaskellWell-Typed.Com: GHC activities report: December 2023–February 2024
08 Mar 2024Planet HaskellMark Jason Dominus: Werewolf ammunition
08 Mar 2024Standard C++Workshops at using std::cpp 2024 in Madrid
08 Mar 2024Standard C++Data Structures and Algorithms with the C++ STL -- John Farrier
07 Mar 2024blogs.perl.orgThis Week in PSC (139)
07 Mar 2024The OCaml PlanetA Time for Change: Our Response to the White House Cybersecurity Press Release
07 Mar 2024The OCaml PlanetLean 4: When Sound Programs become a Choice
07 Mar 2024Planet HaskellTweag I/O: Extending destination-passing style programming to arbitrary data types in Linear Haskell
07 Mar 2024Standard C++SObjectizer Tales – 22. Performance, part 3--Marco Arena
07 Mar 2024Standard C++Using std::expected from C++23 -- Bartlomiej Filipek
06 Mar 2024Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 21: testing without a reference
06 Mar 2024Planet HaskellMark Jason Dominus: Optimal boxes with and without lids
05 Mar 2024The OCaml PlanetOCaml Weekly News, 05 Mar 2024
05 Mar 2024Planet = erlang.Scaling a streaming service to hundreds of thousands of concurrent viewers at Veeps
05 Mar 2024Standard C++C++23: Bitwise Operations -- Sandor Dargo
02 Mar 2024blogs.perl.orgPerl Weekly Challenge 258: Sum of Values
01 Mar 2024blogs.perl.orgThis Week in PSC (138)
01 Mar 2024The OCaml PlanetRelease of Frama-C 28.1 (Nickel)
01 Mar 2024Planet HaskellHaskell Interlude: 44: José Manuel Calderón Trilla
01 Mar 2024Standard C++C++23 likes to move it! -- Sandor Dargo
29 Feb 2024Planet HaskellTweag I/O: Bazel remote execution with rules_nixpkgs
29 Feb 2024Planet HaskellGabriella Gonzalez: The siren song of domain-specific languages
29 Feb 2024Standard C++SObjectizer Tales – 21. Performance, part 2--Marco Arena
28 Feb 2024blogs.perl.orgPerl Weekly Challenge 258: Count Even Digits Numbers
28 Feb 2024The OCaml PlanetTwo Major Improvements in odoc: Introducing Search Engine Integration
28 Feb 2024Standard C++Parsing Numbers At Compile Time with C++17, C++23, and C++26 -- Bartlomiej Filipek
27 Feb 2024The OCaml PlanetOCaml Weekly News, 27 Feb 2024
27 Feb 2024Planet HaskellOleg Grenrus: More QualifiedDo examples
26 Feb 2024blogs.perl.orgThis Week in PSC (137) | 2024-02-22
26 Feb 2024blogs.perl.orgCFP: Science Track Papers Needed at The Perl & Raku Conference
26 Feb 2024Standard C++Class Invariants -- Andrzej Krzemieński
25 Feb 2024blogs.perl.orgPerl Weekly Challenge 257: Reduced Row Echelon
23 Feb 2024Planet HaskellGHC Developer Blog: GHC 9.8.2 is now available
22 Feb 2024blogs.perl.orgWhat makes YAPC::Japan unique
22 Feb 2024Planet HaskellGabriella Gonzalez: Unification-free ("keyword") type checking
22 Feb 2024Standard C++SObjectizer Tales – 20. Performance, part 1--Marco Arena
21 Feb 2024blogs.perl.orgPerl Weekly Challenge 257: Smaller than Current
21 Feb 2024The OCaml PlanetMy Experience With Tarides at ICFP 2023!
21 Feb 2024The OCaml PlanetGPTar
20 Feb 2024The OCaml PlanetIntroducing DBCaml, Database toolkit for OCaml
20 Feb 2024The OCaml PlanetOCaml Weekly News, 20 Feb 2024
20 Feb 2024Standard C++Optimizing the Unoptimizable: A Journey to Faster C++ Compile Times -- Victor Zverovich
19 Feb 2024The OCaml PlanetBuilding a Connnection Pool for DBCaml on top of riot
18 Feb 2024Planet HaskellHaskell Interlude: 43: Ivan Perez
17 Feb 2024blogs.perl.orgPSC #136 2024-02-15
17 Feb 2024Standard C++Seastar, ScyllaDB, and C++23
16 Feb 2024blogs.perl.org(repost) TPRC 2024 Call For Papers is now open!
16 Feb 2024The OCaml PlanetMetAcsl v0.6 for Frama-C 28.0 Nickel
16 Feb 2024Standard C++The Case of the Vector With an Impossibly Large Size -- Raymond Chen
15 Feb 2024blogs.perl.orgPerl Weekly Challenge 256: Merge Strings
15 Feb 2024Standard C++SObjectizer Tales – 19. Thread-safe handlers--Marco Arena
14 Feb 2024The OCaml PlanetMulticore Testing Tools: DSCheck Pt 1
14 Feb 2024Planet = erlang.Erlang/OTP 27.0 Release Candidate 1
14 Feb 2024Standard C++DR20 - The Equality Operator You Are Looking For -- Sandor Dargo
13 Feb 2024The OCaml PlanetSpeeding elliptic curve cryptography
13 Feb 2024The OCaml PlanetOCaml Weekly News, 13 Feb 2024
13 Feb 2024Standard C++PVS-Studio 7.29: Boost smart pointers, plugin for Qt Creator on macOS
12 Feb 2024blogs.perl.orgPerl Weekly Challenge 256: Maximum Pairs
12 Feb 2024The OCaml PlanetOCaml: Introduction
11 Feb 2024blogs.perl.orgVulnerable Perl Spreadsheet Parsing modules
11 Feb 2024blogs.perl.orgYAPC::Hiroshimaの参加記録 | I attended YAPC::Hiroshima in Japan
11 Feb 2024The OCaml PlanetCooperation and Lwt.pause
11 Feb 2024The OCaml PlanetCooperation and Lwt.pause
09 Feb 2024Standard C++Machine Code Explained -- Matt Godbolt
09 Feb 2024Standard C++Aggregates: C++17 vs. C++20 -- Andreas Fertig
08 Feb 2024Planet = erlang.A Distributed Systems Reading List
08 Feb 2024Standard C++SObjectizer Tales – 18. Limiting message chains--Marco Arena
07 Feb 2024The OCaml PlanetImproving OCaml.org to Provide an Engaging UX and Trusted User Resources
07 Feb 2024Newest Python PEPsPEP 742: Narrowing types with TypeIs
06 Feb 2024The OCaml PlanetOCaml Weekly News, 06 Feb 2024
06 Feb 2024Planet HaskellTweag I/O: Evaluating Retrieval in RAGs: A Gentle Introduction
06 Feb 2024Standard C++mp-units 2.1.0 released -- Mateusz Pusz
06 Feb 2024Standard C++What are senders good for, anyway? -- Eric Niebler
05 Feb 2024The OCaml PlanetProfiling Dune Builds
04 Feb 2024Standard C++CppDepend 2024.1 Released! - Unveiling New Features and Improvements
04 Feb 2024Standard C++Class Invariants -- Andrzej Krzemieński
04 Feb 2024Standard C++How I Learned to Stop Worrying and Love Juggling C++ Atomics -- brilliantsugar
03 Feb 2024The OCaml PlanetPython's `str.__repr__()`
03 Feb 2024Planet HaskellMagnus Therning: Bending Warp
01 Feb 2024Standard C++SObjectizer Tales – 17. Limiting message flow--Marco Arena
31 Jan 2024The OCaml PlanetAre Your Programs Doing What You Think They're Doing? Introducing Monitoring Tools for Multicore OCaml
31 Jan 2024Planet HaskellHaskell Interlude: 42 : Jezen Thomas
30 Jan 2024The OCaml PlanetOCaml Weekly News, 30 Jan 2024
30 Jan 2024Standard C++C++20 Concepts Applied -- Andreas Fertig
29 Jan 2024The OCaml PlanetSpace-filling curves, constructively
27 Jan 2024Standard C++ACCU Early Bird Tickets and Workshops Now Available -- ACCU
26 Jan 2024Planet = erlang.Counting Forest Fires
25 Jan 2024Planet HaskellJoachim Breitner: GHC Steering Committee Retrospective
24 Jan 2024The OCaml PlanetMirageOS: Designing a More Resilient Networking Stack With µTCP
23 Jan 2024The OCaml PlanetOCaml Weekly News, 23 Jan 2024
23 Jan 2024The OCaml Planetopam 101: the first steps
21 Jan 2024The OCaml PlanetOutreachy Blog: Everyone Struggles
21 Jan 2024The OCaml PlanetThe OCaml Community
18 Jan 2024Newest Python PEPsPEP 741: Python Configuration C API
18 Jan 2024Planet HaskellMichael Snoyman: My Best and Worst Deadlock in Rust
17 Jan 2024The OCaml PlanetWhat are Data Races? And do They Threaten Your Business?
16 Jan 2024The OCaml PlanetOCaml Weekly News, 16 Jan 2024
16 Jan 2024The OCaml PlanetConcepts of Functional Programming
15 Jan 2024Planet HaskellDerek Elkins: The Pullback Lemma in Gory Detail (Redux)
15 Jan 2024Planet HaskellMonday Morning Haskell: Functional Programming vs. Object Oriented Programming
10 Jan 2024The OCaml PlanetMeet odoc, OCaml's Documentation Generator
10 Jan 2024Planet HaskellChris Reade: Diagrams for Penrose Tiles
09 Jan 2024The OCaml PlanetOCaml Weekly News, 09 Jan 2024
09 Jan 2024Planet HaskellGHC Developer Blog: GHC 9.6.4 is now available
08 Jan 2024Newest Python PEPsPEP 740: Index support for digital attestations
08 Jan 2024Planet HaskellMonday Morning Haskell: How to Write Comments in Haskell
04 Jan 2024Planet HaskellStackage Blog: LTS 22 release for ghc-9.6 and Nightly now on ghc-9.8
03 Jan 2024Planet HaskellDerek Elkins: Universal Quantification and Infinite Conjunction
02 Jan 2024The OCaml PlanetOCaml Weekly News, 02 Jan 2024
01 Jan 2024Planet HaskellMonday Morning Haskell: How to Write “Hello World” in Haskell
31 Dec 2023The OCaml PlanetParsing with Binary String Pattern Matching
29 Dec 2023The OCaml PlanetAnnouncing the ORCHIDE Project: Powering Satellite Innovation
26 Dec 2023The OCaml PlanetOCaml Weekly News, 26 Dec 2023
26 Dec 2023Planet HaskellSandy Maguire: FRP in Yampa: Part 4: Routing
24 Dec 2023Planet HaskellSandy Maguire: FRP in Yampa: Part 3: Switching
22 Dec 2023Planet = erlang.Elixir v1.16 released
22 Dec 2023Planet HaskellSandy Maguire: FRP in Yampa: Part 2: Arrowized FRP
22 Dec 2023Planet HaskellDerek Elkins: What is the coproduct of two groups?
22 Dec 2023Planet HaskellJoachim Breitner: The Haskell Interlude Podcast
21 Dec 2023Planet HaskellSandy Maguire: FRP in Yampa: Part 1
20 Dec 2023The OCaml PlanetOCaml Survey: Developers' Perception, Interest, and Perceived Barriers
19 Dec 2023The OCaml PlanetOCaml Weekly News, 19 Dec 2023
19 Dec 2023Newest Python PEPsPEP 739: Static description file for build details of Python installations
14 Dec 2023The OCaml PlanetOCaml: Memory Safety and Beyond
13 Dec 2023The OCaml PlanetMaturing Learn-OCaml to version 1.0: Gateway to the OCaml World
12 Dec 2023The OCaml PlanetOutreachy Blog #1: Introduce Yourself
12 Dec 2023The OCaml PlanetOCaml Weekly News, 12 Dec 2023
12 Dec 2023Newest Python PEPsPEP 738: Adding Android as a supported platform
11 Dec 2023The OCaml PlanetFlorian compiler weekly, 11 December 2023
10 Dec 2023The OCaml PlanetMy Tech Journey and Outreachy Internship.
09 Dec 2023Planet HaskellMagnus Therning: Getting Amazonka S3 to work with localstack
05 Dec 2023The OCaml PlanetInternational Disability Day 2023: Why It Matters
05 Dec 2023The OCaml PlanetOCaml Weekly News, 05 Dec 2023
04 Dec 2023Planet HaskellMatthew Sackman: Golang Bebop serialisation codec
01 Dec 2023The OCaml PlanetRethinking OCaml abstract signatures
30 Nov 2023The OCaml PlanetRelease of Frama-C 28.0 (Nickel)
30 Nov 2023Planet HaskellKen T Takusagawa: [iuigljdm] and (False,True)
29 Nov 2023The OCaml PlanetUnix Module Considered Harmful
29 Nov 2023Newest Python PEPsPEP 737: C API to format a type fully qualified name
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 2023Newest Python PEPsPEP 736: Shorthand syntax for keyword arguments at invocation
27 Nov 2023Planet HaskellMonday Morning Haskell: Black Friday Sale: Last Day!
24 Nov 2023Planet HaskellMonday Morning Haskell: Spotlight: Quick, Focused Haskell Courses
21 Nov 2023The OCaml PlanetHow to Install OCaml 5: A Video Tutorial
21 Nov 2023The OCaml PlanetOCaml Weekly News, 21 Nov 2023
20 Nov 2023The OCaml PlanetMirageVPN updated (AEAD, NCP)
20 Nov 2023Newest Python PEPsPEP 735: Dependency Groups in pyproject.toml
14 Nov 2023The OCaml PlanetMirageVPN & tls-crypt-v2
14 Nov 2023The OCaml PlanetOCaml Weekly News, 14 Nov 2023
09 Nov 2023The OCaml PlanetOCaml Hacking Day in Chennai!
07 Nov 2023The OCaml PlanetMetAcsl for Frama-C 27.x Cobalt
07 Nov 2023The OCaml PlanetOCaml Weekly News, 07 Nov 2023
02 Nov 2023The OCaml PlanetBuilding React Server Components in OCaml
01 Nov 2023The OCaml PlanetWebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
31 Oct 2023The OCaml PlanetOCaml Weekly News, 31 Oct 2023
26 Oct 2023The OCaml PlanetBeta release of Frama-C 28.0~beta (Nickel)
25 Oct 2023The OCaml PlanetTutorial: Building a Browser Extension With Irmin
24 Oct 2023The OCaml PlanetOCaml Weekly News, 24 Oct 2023
18 Oct 2023The OCaml PlanetOff to the Races: Using ThreadSanitizer in OCaml
17 Oct 2023The OCaml PlanetOCaml Weekly News, 17 Oct 2023
16 Oct 2023Read Rust - AllWhy async Rust?
12 Oct 2023The OCaml PlanetOpam: Package Manager on Steroids?
10 Oct 2023The OCaml PlanetPrioritising Mental Health at Tarides
10 Oct 2023The OCaml PlanetOCaml Weekly News, 10 Oct 2023
09 Oct 2023The OCaml PlanetRules of Miou!
04 Oct 2023The OCaml PlanetPorting OBuilder to FreeBSD
03 Oct 2023The OCaml PlanetOCaml Weekly News, 03 Oct 2023
27 Sep 2023The OCaml PlanetTutorial: How to Port Lwt Applications to Eio
26 Sep 2023The OCaml PlanetFlorian compiler weekly, 26 September 2023
26 Sep 2023The OCaml PlanetOCaml Weekly News, 26 Sep 2023
20 Sep 2023The OCaml PlanetA Year of SpaceOS: Showing the World the Benefits of OCaml
19 Sep 2023The OCaml PlanetOCaml Weekly News, 19 Sep 2023
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
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
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
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
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
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
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
09 Mar 2023Read Rust - AllThe Registers of Rust
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?
14 Feb 2023Read Rust - AllParsing TFTP in Rust
14 Feb 2023Read Rust - AllRust to WebAssembly the hard way
14 Feb 2023Read Rust - AllNew release
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
19 Jan 2023Read Rust - AllTesting SIMD instructions on ARM with Rust on Android
13 Jan 2023Read Rust - AllRunning Zola on WebAssembly
12 Jan 2023Read Rust - AllSupporting the Use of Rust in the Chromium Project
11 Jan 2023Read Rust - Allgccrs in 2022
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
22 Dec 2022Read Rust - AllAnnouncing KataOS and Sparrow
21 Dec 2022Read Rust - AllTen Years of Ru...ewriting my website
21 Dec 2022Read Rust - AllRust 2023
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