Ilijas Farah

15 papers Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bull. Symb. Log.
Ilijas Farah, Saeed Ghasemi, Andrea Vaccaro, Alessandro Vignati
2021 J jnl
Ann. Pure Appl. Log.
Ilijas Farah, Menachem Magidor
2018 J jnl
J. Math. Log.
Ilijas Farah, Menachem Magidor
2016 J jnl
J. Symb. Log.
Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk, Martino Lupini
2014 J jnl
Arch. Math. Log.
Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman
2013 J jnl
Arch. Math. Log.
Ilijas Farah, Paul McKenney, Ernest Schimmerling
2010 J jnl
J. Math. Log.
Ilijas Farah, Saharon Shelah
2006 J jnl
Ann. Pure Appl. Log.
Ilijas Farah, Jindrich Zapletal
2002 J jnl
J. Comb. Theory A
Ilijas Farah, Neil Hindman, Jillian McLeod
2001 J jnl
Ann. Pure Appl. Log.
Ilijas Farah
2001 J jnl
J. Comb. Theory A
Ilijas Farah
2000 J jnl
Comb.
Ilijas Farah
1999 conf
Set Theory: The Hajnal Conference
Ilijas Farah
1998 J jnl
Comb.
Ilijas Farah
1998 J jnl
Bull. Symb. Log.
Ilijas Farah
redb/settings/clickhouse.py
← Index redb/settings/clickhouse.py python
import os
import clickhouse_connect
from dotenv import load_dotenv

load_dotenv()

# ClickHouse configuration
CLICKHOUSE_HOST = os.getenv("CLICKHOUSE_HOST")
CLICKHOUSE_PORT = os.getenv("CLICKHOUSE_PORT", "9000")
CLICKHOUSE_USER = os.getenv("CLICKHOUSE_USER")
CLICKHOUSE_PASSWORD = os.getenv("CLICKHOUSE_PASSWORD")
CLICKHOUSE_DATABASE = os.getenv("CLICKHOUSE_DATABASE", "default")
CLICKHOUSE_ENFORCE_SSL = os.getenv("CLICKHOUSE_ENFORCE_SSL", "False")

# Cached client instance
_clickhouse_client = None

def get_clickhouse_client():
    """Get ClickHouse client with lazy initialization and caching"""
    global _clickhouse_client
    
    if _clickhouse_client is None:
        _clickhouse_client = clickhouse_connect.get_client(
            host=CLICKHOUSE_HOST,
            port=CLICKHOUSE_PORT,
            user=CLICKHOUSE_USER,
            password=CLICKHOUSE_PASSWORD,
            database=CLICKHOUSE_DATABASE,
            verify=CLICKHOUSE_ENFORCE_SSL,
            settings={
                'max_execution_time': 3600,  # 1 hour timeout
                'connect_timeout': 30,
                'receive_timeout': 30,
                'send_timeout': 30
            }
        )
    
    return _clickhouse_client

def create_clickhouse_client():
    """Create a new ClickHouse client connection (legacy function)"""
    return get_clickhouse_client()

CLICKHOUSE_BINARIES_TABLE = os.getenv("CLICKHOUSE_BINARIES_TABLE", "binaries")