TypeScript vs KotlinJS
Comparative analysis of TypeScript and KotlinJS, exploring their strengths, weaknesses, and suitability for different distributed architectures. Covers community support, JavaScript interoperability, syntax elegance, and async programming models.
Simplifying Systems with Elixir
Discover how Elixir simplifies system architecture for smaller projects, offering benefits beyond massive concurrency. Learn its advantages for backend development and homogeneous solutions.
Property-based State Machine Testing
Introduction to property-based state machine testing in Haskell using hedgehog library. Explores techniques for testing web applications, including content creation, deletion, constraints, and authentication.
Teaching New Tricks to Old Programs Part 2
Explore advanced functional programming techniques for reinterpreting existing code, including hardware circuits, automatic differentiation, and interval analysis, using Haskell and GHC plugins.
Teaching New Tricks to Old Programs Part 1
Explore new interpretations for functional programs, including hardware circuits and automatic differentiation. Learn techniques for overloading lambda and organizing interpretations in Haskell.
Propagators Part 2
Explores advanced concepts in propagator algorithms, blending frameworks to optimize termination and consistency in various computational domains like CRDTs, Datalog, and constraint programming.
Intro to Functional Programming in Rust
Explore functional programming in Rust, covering algebraic data types, pattern matching, ownership, higher-order functions, and advanced topics. Compare Rust's strengths and weaknesses as a functional language.
Racket - A Programming-Language Programming Language
Explore Racket's unique approach to language creation and its versatile standard libraries. Learn how this innovative tool supports diverse programming paradigms and specialized language development.
Reactive Machine Learning and Functional Programming
Explore reactive machine learning systems using functional programming principles. Learn to build responsive, resilient, and elastic applications with Scala, Akka, and Spark, focusing on architectural patterns and implementation.
From the Ground Up - How We Built the Nanos Unikernel
Explore the Nanos unikernel's architecture, security features, and memory allocation strategies. Learn about closures, concurrency, and future developments in this specialized operating system.
Control Flow Integrity in the Linux Kernel
Explore Linux kernel security with Control Flow Integrity, covering attack methods, implementation strategies, and upstream integration for enhanced system protection.
A Fresh Look at Toolchains and Crosscompilers in 2020
Explore modern toolchains and crosscompilers, including alternative compilers, libc implementations, and C++ support, with insights on filesystem changes and future developments.
Have You Ever Imagined How Interstellar Travel Could Work?
Explore the potential of antimatter rockets for interstellar travel with physicist Ryan Weed. Learn about positrons, electrons, and the groundbreaking technology that could revolutionize space exploration.
Teaching Kids Programming and Cyber Security
Addressing UK's cybersecurity skills gap by introducing programming and security concepts to primary school students through after-school clubs and engaging resources.
CSRFT - A Toolkit for CSRF Vulnerabilities
Explore a Python-based toolkit for exploiting CSRF vulnerabilities, including demos of complex exploitation techniques and a custom HTTP proxy for injecting malicious iframes.
How to Train Your Self-Driving - Dragon Car
Explore open-source autonomous vehicle technology with Donkey Car. Learn to build, test, and deploy AI networks for self-driving cars using Python, Raspberry Pi, and convolutional neural networks.
AEZAKMI - Browser Anonymity & Fingerprinting Bypass
Explore AEZAKMI, a tool for browser anonymity and fingerprinting bypass. Learn how it obfuscates common parameters to enhance online privacy and support multi-account usage.
Android RATs Detection With a Machine Learning-Based Python IDS
Explore Android RATs detection using machine learning and Python IDS. Learn about dataset creation, Slips IDS implementation, and live demo of RAT activity detection in mobile device network traffic.
Might As Well JUMP - Exploit Development For Java Serialization
Explore Java serialization exploit development, including 0day custom exploits, reverse engineering, and ROP techniques. Learn to break HMAC/MAC and create Python exploits for educational purposes.
Defibrilating Web Security
Exploring fallacies in server-side web security and introducing innovative solutions, including contextual runtime taint tracking for Java and Ruby.
Exploiting GLIBC - Hacking Everything
Exploración detallada de la vulnerabilidad CVE-2015-7547 en glibc, demostrando técnicas de explotación remota y su impacto en diversos productos de software compilados con versiones antiguas.