Introducing a Python library for seamless interoperability with the Lean theorem prover, allowing Lean functions to be called directly from Python code.
Introduces RSC Explorer, an open-source tool for visualizing and understanding the React Server Components protocol and its streaming behavior.
A developer investigates why Project Valhalla's object flattening doesn't work for LocalDate arrays in a custom JDK build, uncovering serialization and nullability issues.
Explores using JSON arrays over objects for serialization in jOOQ's MULTISET operator, focusing on performance and reliability.
Explains why React Server Components (RSC) integrate with bundlers for efficient code serialization and client-side delivery.
Explores alternatives to the deprecated BinaryFormatter in .NET 8, focusing on JSON and MessagePack for object serialization.
A guide to creating and testing custom JsonConverter classes in C# using System.Text.Json, including helpful extension methods for unit tests.
Explains how MongoDB stores DateTime in UTC and how to handle serialization/deserialization with C#, including using DateTimeOffset and custom serializers.
A guide to solving common JSON deserialization issues in .NET, focusing on JsonSerializerOptions and property name casing.
Explores two methods for estimating JSON serialization size in .NET: a 100% accurate LengthOnlyStream and a faster, approximate JsonEstimator.
Explains the purpose and usage of the second 'replacer' argument in JavaScript's JSON.stringify() method.
A Java developer advocate shares 11 useful tips and tricks for Java developers, covering records, patterns, jpackage, and more from dev.java.
A personal explanation of serialization and deserialization, using analogies and examples from Go and Wikipedia to clarify the concepts.
Java 17 release schedule, Vector API details, and record serialization updates from the OpenJDK community.
A developer shares practical challenges and solutions encountered while implementing C# source generators, focusing on debugging and dependency issues.
Brian Goetz discusses Java's design quirks, problematic defaults like serialization and null, and historical trade-offs in its evolution.
Explains how to handle C# type hierarchies and inheritance when serializing/deserializing objects with the Cosmos DB .NET SDK and JSON.NET.
A technical guide analyzing and improving serialization performance in Django Rest Framework, with benchmarks and practical solutions.
A technical article presenting a contract pattern for encoding and decoding discriminated union types in schemaless data stores, using the TypeShape library.
A technical article exploring the implementation of a custom binary encoder/decoder for Swift using the Codable protocol.
