Towards Secure MicroPython on Morello - Work in Progress
Explore porting MicroPython to Arm Morello, examining hardware capabilities' impact on embedded runtime security and outlining potential improvements for MicroPython's security.
Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
Explore an approach for analyzing setjmp/longjmp in C, enhancing static analyzers to detect misuse and support non-local control flow through side-effecting transfer functions.
Misconceptions About Loops in C - Challenges in Loop Analysis for Static Analysis Tools
Explore rare edge cases and challenges in loop analysis for C programming, enhancing understanding of static analysis tools and improving software verification techniques.
Interleaving Static Analysis and LLM Prompting for Error-Specification Inference
Explore a novel approach combining static program analysis with LLM queries to enhance error-specification inference in C systems code, improving recall and F1-score while maintaining precision.
Comparing Kernel System Calls Across Runtimes - Performance Analysis
Explore system call usage across runtimes using strace. Compare file reading performance in Node.js, Bun, Python, and C. Analyze kernel mode switches and their impact.
Debugging Memory Issues with Valgrind and GDB
Discover techniques for debugging memory issues using Valgrind and GDB in C/C++ programs. Learn to identify and resolve buffer overflows, memory leaks, and other low-level errors efficiently.
Create a One Player Pong Game on Arduino Uno R4 WiFi Matrix - Lesson 30
Learn to create a single-player Pong game using Arduino Uno R4 WiFi's built-in LED matrix, with potential for expansion to a two-player version.
Stop Using Entity Framework as a DTO Provider
Explore proper usage of Entity Framework with OOP principles, moving beyond simple DTO replication to effectively persist and retrieve C# objects in database operations.
Designing a Modern Build System and Dependency Manager - How Hard Can It Be?
Explore modern build systems and dependency management for C/C++ projects, covering challenges, design principles, and practical solutions across multiple platforms.
glibc: Seven Easy Steps to Your First Patch
Learn to contribute to glibc, the GNU C library, in seven easy steps. Discover how to get involved with bug triage, documentation, translations, and code improvements for this critical Linux component.
C# Variables and Data Types - Beginner's Programming Tutorial
Learn essential C# concepts: variables, data types, naming rules, and overflow. Master int, double, char, string, bool, float, and decimal types for effective programming.
Interoperability between R and Other Languages
Explore techniques for integrating R with other programming languages, leveraging R's statistical libraries while developing in preferred environments. Learn about various interoperability options and tools.
Exploring Swift Memory Layout
Dive deep into Swift's memory management, exploring data structures, memory layouts, and internal workings. Gain insights to optimize your code and understand Swift's underlying mechanisms.
42 Silly Ways to Say Hello in C
Explore 42 unconventional C programming techniques while learning essential concepts. A fun, engaging approach to mastering C fundamentals and quirks.
MISRA C++202x - It Ain't Your Grandpa's MISRA Any More
Explore the evolution of MISRA C++ guidelines, focusing on the upcoming 202x version. Learn about new safety rules and how to write robust C++ code without sacrificing modern language features.
Typical C++, But Why?
Explore how leveraging C++'s type system strengths can enhance code quality, prevent errors, improve readability, and reduce risks during modifications.
Emulating a Game Boy in .NET 6
Explore Game Boy emulation in .NET 6, covering CPU, graphics, and hardware interrupts. Dive into 80's hardware manuals and learn to code retro gaming systems in C#.
What's New in C# - Exciting New Features in C# 8.0, 9.0 and 10
Explore exciting new features in C# 8, 9, and 10, including nullable reference types, pattern matching, record types, and top-level programs. Learn how these changes improve code quality and developer productivity.
How C++23 Changes the Way We Write Code
Explore key C++23 features like std::expected, std::mdspan, deducing this, and std::print, and their impact on everyday C++ programming and code simplification.
Fluxing Up Your .NET Apps
Explore Flux design pattern implementation in C# client apps. Compare uni-directional data flows with existing tools, migrate MVVM to Flux, and gain confidence in Redux-style implementations.
Running Atomic Transactions Across Multiple Data Models
Explore advanced Redis features: modules for custom data models and transactions for atomic operations across multiple data structures. Learn to leverage Redis ecosystem for scalable solutions.