Approximation Algorithms
Explore approximation algorithms for NP-hard problems, focusing on vertex cover, k-coverage, and traveling salesperson. Learn greedy approaches and their limitations, as well as more advanced techniques.
Great Ideas in Theoretical Computer Science: Countability and Diagonalization
Explore fundamental concepts in theoretical computer science, including countability, diagonalization, and set theory, with a focus on infinite sets and cardinality.
Great Ideas in Theoretical Computer Science - Approximation Algorithms
Explore approximation algorithms for NP-hard problems, focusing on Vertex Cover, k-Coverage, and Traveling Salesperson. Learn techniques to find near-optimal solutions efficiently.
Analysis of Boolean Functions at CMU - Additive Combinatorics
Explore additive combinatorics in Boolean functions, covering subspaces, cosets, Hamming balls, and the Fryman region conjecture. Gain insights into advanced theoretical concepts.
Spacetime Topological Defect Networks and Floquet Codes - Dominic Williamson
Explores topological defect networks and Floquet codes in quantum systems, covering anyons, toric code, TQFT dynamics, and spacetime defects. Provides insights for researchers in integrable models and quantum physics.
Dynamic Algorithms for Packing-Covering LPs via Multiplicative Weight Updates
Explore dynamic algorithms for packing-covering LPs using multiplicative weight updates, focusing on near-optimal approximation algorithms and complexity analysis in dynamic settings.
Online List Labeling - Breaking the Log^2 N Barrier
Explores a randomized data structure for online list labeling, improving the upper bound to O(log^{3/2} n) items moved per insertion/deletion, breaking the long-standing log^2 n barrier.
Generating Security Policies with eBPF - Hands-on Walkthrough
Explore eBPF-based solutions for capturing security events and generating policies. Learn to leverage tools like seccomp, Inspektor Gadget, and Tetragon for comprehensive system protection.
See It to Believe It: Bringing Observability to Container Builds
Explore an open framework using tetragon to enhance runtime visibility and automated attestation for Tekton-based CI pipelines, focusing on container build security and integrity assurance.
eBPF for Observability: The Good, the Bad, and the Ugly
Explore eBPF's role in zero-instrumentation observability, examining its features, use cases in open-source tools, and limitations for enhanced system monitoring and performance analysis.
Securing the Superpowers: Who Loaded That eBPF Program?
Explore eBPF technology's power and security implications. Learn about auditing, monitoring, and enforcing eBPF program loading on Linux systems using Tetragon for enhanced system protection and accountability.
Securing CI/CD Systems Through eBPF
Explore eBPF technology for securing CI/CD pipelines, enhancing visibility, ensuring integrity, and preventing malicious activities across various platforms. Learn implementation strategies and real-world applications.
Adopting CDEvents and Embracing Interoperability in Continuous Delivery
Explore CDEvents' mission to connect and audit diverse continuous delivery tools, its integration progress, adoption challenges, and best practices for seamless software production automation.
Semantic Models for Higher-Order Bayesian Inference - Sam Staton, University of Oxford
Explore probabilistic programming for Bayesian modeling, focusing on advanced languages with higher-order functions and continuous distributions. Learn about quasi-Borel spaces and modular inference algorithms.
Optimal Sampling in Weighted Least-Squares Methods - Application to High-Dimensional Approximation
Explore optimal sampling in weighted least-squares for high-dimensional approximation, focusing on mathematical foundations and modern approaches to overcome the curse of dimensionality.
Maths in OpenGL
Explore essential mathematical concepts for OpenGL programming, focusing on practical applications and techniques for efficient graphics rendering.
Modeling Multisector Dynamics to Inform Adaptive Pathways
Explore multisector dynamics research for understanding complex system interactions and informing adaptive strategies across technological, societal, natural, and managed sectors.
Emergent Phenomena in Random Structures and Algorithms
Explore emergent phenomena in random structures and algorithms, focusing on mathematical insights and applications in complex systems and computational methods.
Modeling Flow and Transport in Fractured Rock Using Machine Learning
Integrating computational physics, machine learning, and graph theory to model flow and transport in fractured rock systems, offering a paradigm shift from high-fidelity models to efficient coarse-scale graphs.
The Deep Learning - Applied Math Connection
Explore the intersection of deep learning and applied mathematics, focusing on advancements in signal processing, optimization, and self-supervised learning for predictive modeling.
Machine Learning for Analysis of High-Dimensional Spatiotemporal Chaotic Dynamical Systems
Discover how machine learning techniques can analyze and predict complex chaotic systems, with insights from cutting-edge research in physics and data science.