Morello Software and Compilers
Explore Morello software and compilers, focusing on advanced techniques and innovations in programming language implementation for enhanced security and performance.
CHERI Static Analysis - POCL'24
Explore CHERI static analysis techniques for enhanced memory safety and security in software development.
Sheldon: The Erlang Spell Checker - An Overview and Integration Guide
Explore Sheldon, an Erlang spell checker: its usage, integration, challenges, and evolution. Learn about Peter Norvig's algorithm and the Sheldon rebar plugin for enhanced development.
A Serverless Runtime on the BEAM - Code BEAM Europe 2022
Explore an open-source Serverless runtime built on BEAM, featuring a polyglot programming model for cloud and on-premises applications. Learn about its implementation using Erlang/OTP and Elixir.
Improve Your Tests with Makina - Property-Based Testing for Complex Systems
Explore Makina, a new Elixir library for efficient property-based testing of complex systems like Ethereum smart contracts, featuring improved error detection and code reuse.
Go Performance Unleashed - Optimizing Runtime and Memory
Unlock Go's performance potential through runtime scheduler insights, memory optimization techniques, and benchmarking best practices for efficient code execution.
Initializing Global Objects: Time and Order
Explore a novel approach to global object initialization in Scala, addressing safety issues and proposing static analysis techniques to eliminate errors and optimize performance.
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.
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.
Future of Cloud-Native and Modern Application Development - 25 Years of Perspective
Gain insights into cloud-native evolution and modern app development through a 25-year industry veteran's perspective on containerization, microservices, and future tech transformations.
Comprehending Terraform Infrastructure as Code - How to Evolve Fast and Safe
Discover advanced techniques for safer Terraform infrastructure management, including IDE plugins, pre-commit hooks, and CI/CD integrations for faster, more confident infrastructure changes.
Failure in Software Development - Embracing Risk and Innovation
Discover how successful companies leverage failure in software development, exploring proven strategies that balance innovation with established processes for optimal results.
Programming a CTS-V Gauge Cluster into an ATS-V - A DIY Guide
Dive into the reverse engineering journey of programming a Cadillac CTS-V digital gauge cluster into an ATS-V, exploring GM electronics and sharing open-source solutions for automotive modifications.
Defeating Secure Code Review GPT Hallucinations - Understanding LLM Limitations in Code Analysis
Explore the limitations and pitfalls of LLMs in code security analysis, focusing on common mistakes in code search and clone detection tasks, particularly with misleading variable names.
Evading Modern Defenses When Phishing with Pixels - QR Code Exploitation Techniques
Explore advanced QR code phishing techniques, from fundamental concepts to creative obfuscation methods, focusing on exploiting Outlook Mail rendering vulnerabilities for enhanced penetration testing.
Good Governance Initiative Framework - Implementing OSPO Management and Best Practices
Discover how to establish and develop an effective Open Source Program Office using the Good Governance Initiative framework, with practical guidance on implementation and community participation.
Open Source Is Not Enough
Explore the limitations and challenges of open source development, examining why open source alone may not be sufficient for modern software development needs.
Legal Compliance Challenges in Yocto Build Environments
Explore the complexities of legal compliance challenges within Yocto build environments and learn effective strategies for managing software licensing obligations.
Gemeinschaft and Gesellschaft - Understanding Open Source Software Communities and Non-profits
Explore how 19th century sociological concepts illuminate the organization and dynamics of open source communities, focusing on growth patterns, cultural challenges, and non-profit management.
Building Network Automations Efficiently with Itential's Low-Code Platform
Discover how to accelerate network automation development with Itential's low-code canvas, featuring 300+ built-in intelligence features, drag-and-drop templates, and comprehensive operational safeguards for multi-vendor environments.
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.