Modern Industrial Data Platform - Technical Deep Dive
Dive into SKT's innovative approach to modern industrial data platforms, exploring on-demand data mesh architecture and active metadata management for enhanced data pipeline efficiency.
REDLake Azure - Enterprise Data Lake and Business Satellites
Explore Bosch's REDLake Azure enterprise data repository system, focusing on data collection, storage, refinement, and analysis using Azure Synapse Analytics and Power BI for global accessibility.
Единый подход к CI/CD Store - Создание универсального фреймворка для DevOps
Discover how to implement a unified CI/CD framework using GitLab templates, enabling streamlined pipeline creation with Vault integration, artifact management, and deployment automation for multiple technology stacks.
A Practical Approach to Device-Level Analytical Offloads
Discover how to transform storage devices into analytical processing engines through device-level computational offloads, reducing data transfer while maintaining simplicity and compatibility with existing APIs.
A YAML Parser in APL - Design and Implementation
Explore YAML parsing in APL, focusing on implementation challenges, design decisions, and APL's potential contributions to YAML development.
Regular Expression Matching using Bit Vector Automata
Explore a new algorithm for efficient regex matching with bounded repetition using nondeterministic bit vector automata, offering improved performance for challenging patterns in practice.
Translating Canonical SQL to Imperative Code in Coq
Explore a mechanically verified compiler translating SQL to imperative code, addressing implementation challenges and leveraging formalization advances in query compilation.
Automated Translation of Functional Big Data Queries to SQL
Explore automated translation of functional big data queries to SQL, improving efficiency while maintaining abstraction benefits. Learn about novel column-wise decomposition for query synthesis.
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Explore a new derivative-based theory and algorithm for nonbacktracking regex matching, supporting anchors and counting while preserving backtracking semantics. Implemented in .NET7 with formal proof of correctness.
Indexed Streams - A Formal Intermediate Representation for Fused Contraction Programs
Explore a formal operational model for fused execution of contraction languages, covering sparse tensor and relational algebra. Learn about indexed streams and their compiler implementation.
Repairing Regular Expressions for Extraction
Explore a novel method for synthesizing and repairing regular expressions for extraction, addressing challenges with real-world extensions and deterministic behavior of regex engines.
A Type System for Feature Engineering in Machine Learning
Explore a dependent type system for feature engineering, enhancing machine learning model inputs through advanced data operations and compiler techniques.
Lean Formalization of Extended Regular Expression Matching with Lookarounds
Explore a formalized matching algorithm for extended regular expressions using Lean 4, covering intersection, complement, and lookarounds in symbolic derivatives and locations.
Efficient Matching of Regular Expressions with Lookaround Assertions
Explore efficient matching of regular expressions with lookaround assertions, including formal semantics, simplification properties, and a new O(m·n) algorithm using oracle-NFAs for improved performance.
Functional Programming in PostgreSQL - Lambda Days 2023
Explore functional pipelines in PostgreSQL using TimescaleDB toolkit, leveraging custom types and operators for powerful data analytics directly in SQL.
ElectricSQL - Local-first SQL with Elixir
Explore local-first development with ElectricSQL, a platform for reactive, realtime, multi-user sync using Postgres and SQLite, powered by Elixir's replication technology.
Empowering Kubernetes Workloads with GraphQL - Conf42 Kube Native 2023
Explore GraphQL's potential to enhance Kubernetes workloads, improve efficiency, and solve challenges. Learn about Hasura as a GraphQL engine for Kubernetes with a practical demo.
How to Generate Test Data for Your Database Project
Generate realistic test data for database projects using Python libraries and techniques. Improve development and testing processes.
GraphQL: Empowering Product Teams to Ship Faster and Better
Discover how GraphQL enhances product development, empowering designers and engineers to create better UX and ship features faster. Learn fundamentals and practical advantages for cross-functional teams.
Simplify Streaming Application Development
Explore declarative interfaces and GraphQL for streamlined streaming app development, focusing on reusability and best practices from Airbnb's experience.
Building SpiceDB: A gRPC-First Database
Explore the journey of building SpiceDB, a specialized database using gRPC as its primary query interface, and learn about API modeling, client maintenance, and optimizations.