Orthotope - APL-Inspired Arrays for Haskell - Lambda Days 2022
Explore Orthotope, a Haskell library for multi-dimensional arrays inspired by APL. Learn efficient structural operations, clever array representation, and various implementations for different storage and typing needs.
Formal Reasoning: An Alternative Approach to Formal Verification - Code BEAM America 2022
Explore formal reasoning techniques to improve system testing, monitoring, and design. Learn practical applications of formal verification concepts for more efficient software development and operations.
Time Travel Debugging in Production - Know Your Past to Predict Your Future
Explore time-travel debugging techniques for complex production systems, learn to build specialized debuggers, and understand their impact on system design for efficient troubleshooting.
We Are Stronger Together - Uniting the BEAM Ecosystem
Explore the BEAM ecosystem's challenges and future, focusing on uniting developers and improving interoperability between languages. Gain insights on strengthening the community and fostering innovation.
Trace Specifications and Chaos Engineering: Advanced Testing with Snabbkaffe - Code BEAM Europe 2022
Explore advanced testing techniques for distributed Erlang applications using trace specifications and chaos engineering. Learn to verify complex scenarios and improve fault tolerance in production systems.
Evolving Erlang/OTP Feature by Feature - Selectable Features in OTP25
Explore Erlang/OTP's new selectable features, including Value-Based Error Handling. Learn how to evolve the language without affecting existing code, enabling experimentation with backwards-incompatible changes.
Learning Erlang and Elixir through Exercism and Advent of Code
Explore effective methods for learning Erlang and Elixir using Exercism and Advent of Code. Compare these resources, understand their strengths, and choose the best approach for your programming skill level.
Erlang for Untrusted Decentralized Systems
Explore Erlang's application in untrusted decentralized systems, covering HoneyBadgerBFT, threshold cryptography, distributed key generation, and P2P networking for multi-party collaboration.
Uncertainty and My Scientific Journey
Explore an academic's 15-year journey from grad school to tenured faculty, focusing on navigating uncertainty in research and career paths. Gain insights on managing mental stress in academia.
Bridging the Gap for Security Analysis in Infer
Explore advancements in Infer's static analysis for enhanced security vulnerability detection, with proposed improvements and implementation strategies for expanded property coverage.
Secrets and Shadows: Leveraging Big Data for Vulnerability Discovery
Discover innovative approaches to large-scale vulnerability detection using unconventional data sources, focusing on forgotten cloud assets and leaked secrets to identify critical security weaknesses in major organizations.
Unexpected Exposures in the Secure Shell - SSH Security Testing and Research
Delve into SSH security vulnerabilities, implementation challenges, and exploitation techniques across various platforms, featuring the new open-source testing tool 'sshamble'.
Unraveling the Threads of USPS Smishing and Fighting Back - Reverse Engineering SMS Phishing Kits
Dive into the technical investigation of USPS-themed SMS phishing attacks, exploring vulnerability exploitation, reverse engineering techniques, and methods to combat scammer operations targeting US consumers.
Using Bloodhound as a Defender: Tips from the Red Team
Discover how to leverage BloodHound from a red team perspective to identify and remediate critical Active Directory security flaws, with practical insights using the new ad-recon automation tool.
Applications and Cloud Hackers, Oh My!
Explore cloud security challenges, application vulnerabilities, and hacking techniques with experts Andrew Hay and Matt Johansen in this insightful BSidesLV presentation.
The Goodness is Baked In - Baking Assurance into Software
Learn techniques to integrate security assurance into software development, covering key legislation, essential components, and practical implementation strategies for robust cybersecurity.
The Slings and Arrows of Open Source Security
Explore open source security challenges and solutions with experts Tod Beardsley and Mister X. Gain insights into vulnerabilities, best practices, and the evolving landscape of open-source software protection.
Techniques for Escaping the AppSec Labyrinth
Explore effective strategies for navigating complex application security challenges and overcoming obstacles in the ever-evolving AppSec landscape.
EC2 or Bust – How to Build Your Own Pen Testing Lab in Amazon EC2
Learn to create a cost-effective, customizable penetration testing environment using Amazon EC2. Explore setup, configuration, and best practices for building a secure and scalable virtual lab.
Hivemind - Distributed File Storage Using Javascript Botnets
Explore distributed file storage using JavaScript botnets, covering WebSockets, Redis, and web workers. Learn about data prioritization, network traffic optimization, and potential security implications.
The Cinematics of Horizon Forbidden West
Exclusive breakdown of key scenes, principles, and tools used to create 22 hours of high-fidelity cinematic content in Horizon Forbidden West's open world, showcasing the game's visual excellence.