Substrait — lingua franca для баз данных

Substrait — это промежуточный формат (IR) для обмена планами запросов между системами. Он снимает боль диалектов SQL, позволяет делать pushdown в разные бэкенды и избавляет от повторного парсинга/оптимизации федеративных системах и позволяет относительно безболезненно заменять один бэкенд другим. Ниже - зачем он нужен, как устроен и кто поддерживает. Узнать про Substrait

https://habr.com/ru/companies/cedrusdata/articles/964800/

#Substrait #федеративные_запросы #универсальный_IR #СУБД #pushdown #оптимизация #SQL #data_lakehouse #data_lake #trino

Упрощаем Spark через Catalog API

Говоря о серьезных кластерах в компаниях, нам часто приходится взаимодействовать со сторонними отделами и их данными. И зачастую, когда речь идет об ad-hoc, самый эффективный инструмент - Trino. Он удобен тем, что в платформе данных можно добавить каталог, который позволит по сути избежать настройки коннекшена для конечного пользователя. Просто в запросе указываешь название каталога данных и трино сам понимает, что нужно взять данные со сторонней базы данных. Но все меняется, когда выразительности SQL нам перестает хватать для выполнения поставленных задач и мы переходим в Spark. Точнее, менялось. С релизом Spark 3.0 появилась возможность взаимодействовать с внешними источниками так же просто, как в Trino.

https://habr.com/ru/articles/958478/

#Spark #Catalog_API #pushdown #devops

🏋️ Cable Tricep Pushdowns 💪

The cable rope tricep pushdown is a variation of the tricep pushdown that emphasizes range of motion and tricep activation.

#cable #triceps #workout #exercise #pushdown #cableworkout #cableexercises #weightlifting #strengthtraining #onlinecoach #onlinepersonaltrainer

Quick Tips ⚠️ Cable Rope Tricep Pushdowns

Cable rope pushdowns are an effective exercise targeting the triceps. 👍

—

#cable #pushdown #rope #workout #exercise #triceps #tricepsworkout #cableworkout #onlinecoach #onlinecoaching #onlinepersonaltrainer

Implementing Packet Sequence Validation using Pushdown Automata

In the previous blog post I discussed how a formal grammar can be transformed into a pushdown automaton in order to check if a sequence of packets or tokens is part of the language described by the grammar. In this post I will discuss how I implemented said automaton in Java in order to validate OpenPGP messages in PGPainless.

https://blog.jabberhead.tk/2022/10/26/implementing-packet-sequence-validation-using-pushdown-automata/

#automaton #java #openpgp #pgpainless #pushdown

Using Pushdown Automata to verify Packet Sequences

As a software developer, most of my work day is spent working practically by coding and hacking away. Recently though I stumbled across an interesting problem which required another, more theoretical approach…

https://blog.jabberhead.tk/2022/09/14/using-pushdown-automata-to-verify-packet-sequences/

#automaton #encryption #java #openpgp #pda #pgpainless #pushdown #rfc4880