RSS feeds

07 Nov 2024Planet HaskellDonnacha Oisín Kidney: POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda
26 Feb 2024blogs.perl.orgThis Week in PSC (137) | 2024-02-22
25 Feb 2024blogs.perl.orgPerl Weekly Challenge 257: Reduced Row Echelon
23 Feb 2024Planet = erlang.Elixir OTP Design Lessons from Hardware Hosted by Bruce Tate | Erlang Solutions Webinar
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 = erlang.How can technology answer the remaining questions in fintech? Fintech Week London Panel discussion
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
21 Feb 2024Planet = erlang.Solving Payments Pain Points with Blockchain | Simon Taylor - 11:FS
21 Feb 2024Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 20: Dijkstra's shortest paths
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 2024Planet HaskellMark Jason Dominus: Etymology roundup 2024-02
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 2024Planet HaskellMark Jason Dominus: The pleasures of dolmen-licking
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.orgUsing peppers with Crypt::Passphrase
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
10 Feb 2024blogs.perl.orgThis Week in PSC (131) | 2024-01-12
10 Feb 2024blogs.perl.orgThis week in PSC (132) | 2024-01-18
10 Feb 2024blogs.perl.orgThis Week in PSC (133) | 2024-01-25
10 Feb 2024blogs.perl.orgThis Week in PSC (134) | 2024-01-25
10 Feb 2024blogs.perl.orgThis Week in PSC (135) | 2024-02-08
10 Feb 2024blogs.perl.orgAnnouncing the Perl Toolchain Summit in 2024!
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 2024blogs.perl.orgPerl Weekly Challenge 255: Most Frequent Word
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 2024blogs.perl.orgPerl Weekly Challenge 255: Odd Character
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 2024Planet HaskellMark Jason Dominus: Jehovah's Witnesses do not number the days of the week
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 2024blogs.perl.orgFOSDEM 2024 TPRF Community Dinner
01 Feb 2024Standard C++SObjectizer Tales – 17. Limiting message flow--Marco Arena
31 Jan 2024blogs.perl.orgPerl Weekly Challenge 254: Reverse Vowels
31 Jan 2024The OCaml PlanetAre Your Programs Doing What You Think They're Doing? Introducing Monitoring Tools for Multicore OCaml
31 Jan 2024Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 19: a new perspective on foldl'
31 Jan 2024Planet HaskellHaskell Interlude: 42 : Jezen Thomas
30 Jan 2024blogs.perl.orgFebruary 08, 2024 @ 6pm CT ~ Houston Perl Mongers Zoom Meeting
30 Jan 2024The OCaml PlanetOCaml Weekly News, 30 Jan 2024
30 Jan 2024Standard C++C++20 Concepts Applied -- Andreas Fertig
29 Jan 2024blogs.perl.orgPerl Weekly Challenge 254: Three Power
29 Jan 2024The OCaml PlanetSpace-filling curves, constructively
27 Jan 2024Standard C++ACCU Early Bird Tickets and Workshops Now Available -- ACCU
26 Jan 2024blogs.perl.orgPerl & Raku Conference 2024 to Host a Science Track!
26 Jan 2024Planet = erlang.Counting Forest Fires
25 Jan 2024Planet HaskellWell-Typed.Com: Eras profiling for GHC
25 Jan 2024Planet HaskellJoachim Breitner: GHC Steering Committee Retrospective
25 Jan 2024Standard C++SObjectizer Tales - 16. Interrupting work--Marco Arena
25 Jan 2024Standard C++CopperSpice: Generic vs Meta Programming
25 Jan 2024Standard C++The decorator pattern: From basic to advanced concepts in C++ -- John Farrier
25 Jan 2024Standard C++C++ Online
24 Jan 2024blogs.perl.orgPerl Weekly Challenge 253: Weakest Row and Schwartzian Transform
24 Jan 2024The OCaml PlanetMirageOS: Designing a More Resilient Networking Stack With µTCP
24 Jan 2024Standard C++The Double Life of Objects -- Andrzej Krzemieński
24 Jan 2024Standard C++IEEE Floating Point and the Radar Range Equation in C++ -- John Farrier
24 Jan 2024Standard C++Subtle C++ Compiler Error with std::optional and the Conditional Operator -- Giovanni Dicanio
23 Jan 2024blogs.perl.orgPerl Weekly Challenge 253: Split Strings
23 Jan 2024blogs.perl.orgMy 2023 in Perl
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
18 Jan 2024Planet HaskellTweag I/O: A look under GHC's hood: desugaring linear types
18 Jan 2024Standard C++SObjectizer Tales – 15. Monitoring disconnections--Marco Arena
17 Jan 2024The OCaml PlanetWhat are Data Races? And do They Threaten Your Business?
17 Jan 2024Planet HaskellWell-Typed.Com: The Haskell Unfolder Episode 18: computing constraints
17 Jan 2024Standard C++2024-01 Mailing Available
16 Jan 2024blogs.perl.orgPerl Weekly Challenge 252: Unique Sum Zero
16 Jan 2024The OCaml PlanetOCaml Weekly News, 16 Jan 2024
16 Jan 2024The OCaml PlanetConcepts of Functional Programming
16 Jan 2024Standard C++Use SIMD: Save The Planet -- Andrew Drakeford
15 Jan 2024blogs.perl.orgPerl Weekly Challenge 252: Special Numbers
15 Jan 2024Planet HaskellDerek Elkins: The Pullback Lemma in Gory Detail (Redux)
15 Jan 2024Planet HaskellHaskell Interlude: 41: Moritz Angermann
15 Jan 2024Planet HaskellMonday Morning Haskell: Functional Programming vs. Object Oriented Programming
11 Jan 2024Planet HaskellChris Reade: Graphs, Kites and Darts
11 Jan 2024Standard C++SObjectizer Tales – 14. Triggering agent shutdown--Marco Arena
10 Jan 2024blogs.perl.orgLive streaming the release of Perl 5.39.7
10 Jan 2024blogs.perl.orgPerl Weekly Challenge 251: Lucky Number
10 Jan 2024The OCaml PlanetMeet odoc, OCaml's Documentation Generator
10 Jan 2024Planet HaskellWell-Typed.Com: When "blocked indefinitely" is not indefinite
10 Jan 2024Planet HaskellChris Reade: Diagrams for Penrose Tiles
10 Jan 2024Standard C++Six Handy Operations for String Processing in C++20/23 -- Bartlomiej Filipek
09 Jan 2024The OCaml PlanetOCaml Weekly News, 09 Jan 2024
09 Jan 2024Planet HaskellGHC Developer Blog: GHC 9.6.4 is now available
09 Jan 2024Standard C++Easily Protect Your C++ Code Against Integer Overflow With SafeInt -- by Giovanni Dicanio
09 Jan 2024Standard C++Breaking Down C++20 Callable Concepts -- John Farrier
09 Jan 2024Standard C++How to Print Unicode Text to the Windows Console in C++ -- Giovanni Dicanio
08 Jan 2024blogs.perl.orgPerl Weekly Challenge 250: Alphanumeric String Value
08 Jan 2024blogs.perl.orgPerl Weekly Challenge 251: Concatenation Value
08 Jan 2024Newest Python PEPsPEP 740: Index support for digital attestations
08 Jan 2024Planet HaskellMonday Morning Haskell: How to Write Comments in Haskell
08 Jan 2024Standard C++C++ quiz by PVS-Studio and Sergei Kushnirenko
07 Jan 2024blogs.perl.orgPerl Weekly Challenge 250: Smallest Index
06 Jan 2024blogs.perl.orgCosmoshop unterstützt den Deutschen Perl/Raku-Workshop
04 Jan 2024Planet HaskellStackage Blog: LTS 22 release for ghc-9.6 and Nightly now on ghc-9.8
04 Jan 2024Standard C++SObjectizer Tales – 13. Routing images across the network--Marco Arena
03 Jan 2024Planet HaskellDerek Elkins: Universal Quantification and Infinite Conjunction
02 Jan 2024The OCaml PlanetOCaml Weekly News, 02 Jan 2024
02 Jan 2024Standard C++When an Empty Destructor is Required -- Andreas Fertig
01 Jan 2024Planet HaskellMonday Morning Haskell: How to Write “Hello World” in Haskell
31 Dec 2023The OCaml PlanetParsing with Binary String Pattern Matching
31 Dec 2023Planet HaskellHaskell Interlude: 40: Mike Sperber
30 Dec 2023Standard C++Releasing the keynotes of Meeting C++ 2023
29 Dec 2023The OCaml PlanetAnnouncing the ORCHIDE Project: Powering Satellite Innovation
28 Dec 2023Standard C++SObjectizer Tales – 12. Receiving commands from the network--Marco Arena
28 Dec 2023Standard C++Boost 1.84.0 has been released
27 Dec 2023Standard C++C++20, Spans, Threads and Fun -- Bartlomiej Filipek
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 = 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
22 Dec 2023Standard C++Top 10 errors in C and C++ projects in 2023
22 Dec 2023Standard C++Prog C++ - Ivan Čukić - Closing Keynote Meeting C++ 2023
22 Dec 2023Standard C++CLion Nova Explodes onto the C and C++ Development Scene -- Anastasia Kazakova
21 Dec 2023Planet = erlang.Negotiable Abstractions
21 Dec 2023Planet HaskellSandy Maguire: FRP in Yampa: Part 1
21 Dec 2023Standard C++SObjectizer Tales – 11. Interlude: testing--Marco Arena
20 Dec 2023The OCaml PlanetOCaml Survey: Developers' Perception, Interest, and Perceived Barriers
20 Dec 2023Standard C++Helping open communities thrive - Lydia Pintscher - Center Keynote Meeting C++ 2023
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
18 Dec 2023Standard C++PVS-Studio 7.28: support for ARM, analysis of Unreal Engine projects without Unity Build, and more
18 Dec 2023Standard C++How Can I Prevent Myself From Using a Parameter After I’ve Extracted All Value? -- Raymond Chen
17 Dec 2023Standard C++2023-12 Mailing Available
17 Dec 2023Standard C++6 impossible things - Kevlin Henney - Opening Keynote Meeting C++ 2023
16 Dec 2023Planet HaskellMark Jason Dominus: My Git pre-commit hook contained a footgun
15 Dec 2023Planet HaskellHaskell Interlude: 39: Rebecca Skinner
15 Dec 2023Planet HaskellMark Jason Dominus: Recent addenda to articles 202311: Christenings in Tel Aviv
14 Dec 2023The OCaml PlanetOCaml: Memory Safety and Beyond
14 Dec 2023Standard C++SObjectizer Tales – 10. Handling GUI from main--Marco Arena
13 Dec 2023The OCaml PlanetMaturing Learn-OCaml to version 1.0: Gateway to the OCaml World
13 Dec 2023Planet = erlang.Erlang/OTP 26.2 Release
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
07 Dec 2023Planet HaskellTweag I/O: BazelCon Community Day - Munich
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: Unify type name formatting
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
28 Nov 2023Planet HaskellTweag I/O: Source filtering with file sets
27 Nov 2023Planet HaskellMonday Morning Haskell: Black Friday Sale: Last Day!
24 Nov 2023Planet HaskellMonday Morning Haskell: Spotlight: Quick, Focused Haskell Courses
23 Nov 2023Planet HaskellTweag I/O: Separating debug symbols from executables
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
19 Nov 2023Planet HaskellMagnus Therning: Making Emacs without terminal emulator a little more usable
16 Nov 2023Planet HaskellMagnus Therning: Using the golang mode shipped with Emacs
14 Nov 2023The OCaml PlanetMirageVPN & tls-crypt-v2
14 Nov 2023The OCaml PlanetOCaml Weekly News, 14 Nov 2023
10 Nov 2023Planet HaskellGHC Developer Blog: GHC 9.4.8 is now available
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
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
02 Nov 2023The OCaml PlanetBuilding React Server Components in OCaml
01 Nov 2023The OCaml PlanetWebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
01 Nov 2023Planet HaskellJoachim Breitner: Joining the Lean FRO
31 Oct 2023The OCaml PlanetOCaml Weekly News, 31 Oct 2023
30 Oct 2023Planet HaskellSandy Maguire: Certainty by Construction: Done!
29 Oct 2023Planet HaskellJoachim Breitner: Squash your Github PRs with one click
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
23 Oct 2023Newest Python PEPsPEP 8105: 2024 Term Steering Council election
22 Oct 2023Planet HaskellTony Zorman: Fixing Lsp-Mode's Hover Signatures
21 Oct 2023Planet HaskellERDI Gergo: Getting my HomeLab-2 sea legs
20 Oct 2023Planet HaskellChris Reade: Graphs, Kites and Darts – Empires and SuperForce
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
16 Oct 2023Read Rust - AllWhy async Rust?
12 Oct 2023The OCaml PlanetOpam: Package Manager on Steroids?
12 Oct 2023Planet HaskellOleg Grenrus: Use traversals for batch operations
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!
09 Oct 2023Planet HaskellMatt Parsons: Matt von Hagen
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 PlanetSetting up Opam and MirageOS on MacOS Ventura, on Apple Silicon
20 Jul 2023The OCaml PlanetCreating a UDP server and client in OCaml
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 PlanetCyberhackathon Frama-C + Binsec
28 Apr 2023The OCaml PlanetOCaml at MinidebConf TN 2023
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 Planet3-year Computer Scientist Position at CEA LIST - LSL
28 Feb 2023The OCaml Planet3-year 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 PlanetFixed Term (3 years) Engineer 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?
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