Osiris: An Iris-Based Program Logic for OCaml
Explore Osiris, an Iris-based program logic for OCaml, enabling code verification using Separation Logic. Learn about its features, limitations, and future development plans.
Owi: An Interpreter and Toolkit for WebAssembly in OCaml
Explore Owi, an OCaml-based interpreter and toolkit for WebAssembly. Learn about its architecture, features, and advantages for experimentation and symbolic manipulations of Wasm code.
Building a Lock-Free STM for OCaml - OCaML'23
Explore lock-free software transactional memory in OCaml with kcas library. Learn about composable transactions, modular blocking, and lock-free data structures for efficient concurrent programming.
Buck2 for OCaml Users and Developers
Explore Buck2's advantages for OCaml development, including its benefits over alternatives like Dune or Bazel, and learn how to leverage it effectively.
Efficient OCaml Compilation with Flambda 2
Explore Flambda 2's IR and optimization pass for OCaml, focusing on inlining techniques and engineering constraints for efficient compilation of large codebases.
React for Big World Data - The Making of Shopify's BFCM Globe - RUC 2024
Explore real-time data visualization using React, focusing on Shopify's BFCM globe. Learn architectural design, 3D rendering, and performance optimization for dynamic, multi-platform experiences.
Enhancing Forms with React Server Components
Explore React Server Components for enhanced form functionality. Learn core principles, benefits, and new React 19 hooks to improve load times and server-side processing.
Growing a Functional Discipline
Strategies for adopting functional programming in organizations: reducing risks, fostering learning culture, and transitioning from ad-hoc solutions to domain-driven implementations in Scala and Haskell.
Tick Tock - Building Browser Red Pills from Timing Side Channels
Exploring browser-based red pills to detect virtual environments, their impact on web malware scanners, and potential mitigations for enhanced cybersecurity.
Building Your Own JDK in 10 Steps
Learn to build your own JDK from source, explore future Java features, and understand the open-source development process. Gain hands-on experience with unreleased Java versions and cutting-edge language enhancements.
Cultivating an Engineering Dialect
Explore strategies for choosing Haskell abstractions, libraries, and extensions to create an effective engineering dialect that balances innovation and accessibility for diverse teams.
Introduction to Jest Testing - JavaScript Unit Tests
Learn to write JavaScript unit tests using Jest, covering installation, test creation, execution, and generating coverage reports for effective code verification.
Major Migrations Made Easy
Discover how OpenRewrite enables quick, safe migrations of JVM frameworks and tools. Learn to upgrade Spring, adopt JUnit 5, and more in minutes using fine-grained recipes and abstract syntax trees.
Let Me Show You How React Applications Get Hacked in the Real-World
Explore real-world React application vulnerabilities and learn how to prevent cross-site scripting attacks through secure coding practices and proper API usage.
Speedy Build for Your Java Application Images with JIB
Learn to build Java application images quickly using JIB, enhancing efficiency in containerization and deployment processes.
Jakarta EE - Not Just for Servers
Explore Jakarta EE's versatility beyond server-side applications, uncovering its potential for diverse software development scenarios and modern architectural patterns.
Camunda in a Heterogeneous Cluster
Explore Generali's implementation of Camunda for automating compliance processes in a heterogeneous OpenShift cluster, addressing challenges and leveraging existing infrastructure.
Resumability in the Next Generation Frontend Framework With O - 1 Loading Time
Explore Qwik's innovative resumability approach for faster, more efficient web apps. Learn how it compares to React and Angular, and discover techniques for optimizing JavaScript bundles.
Camunda for Modern Web Applications
Overview of using headless Camunda BPM to drive a stateless Angular application for insurance claims, decoupling UI from workflow modeling and enabling flexible process changes without altering the frontend.
OAuth2 Authentication with Spring Security 6.4 Rest Client - A Complete Implementation Guide
Master OAuth2 authentication implementation with Spring Security 6.4's RestClient support through hands-on development of authorization server, resource server, and client applications using Spring Boot 3.4's latest features.
Email Unsubscription Automation with Python Tutorial
Learn to automate email management by creating a Python script that finds and processes unsubscribe links in Gmail, helping declutter your inbox efficiently and save time.