우리는
전문 소프트웨어 개발 스튜디오입니다.
한 가지를 제대로 해내고, 빠르게 작동하며, 방해가 되지 않는 소프트웨어 도구를 설계하고 만듭니다. 트레이딩 시스템, 데이터 인프라, 개발자 도구가 우리의 영역입니다.
단순하고 검증된 기술과 빠른 피드백 루프를 선호합니다. 거의 작동하는 비대한 것보다 확실히 작동하는 집중된 것을 만들겠습니다.
이름의 의미
"Squiggol"은 Bird–Meertens 형식론의 애칭입니다 — 물결 모양 연산자들을 올바른 순서로 배열해 명세를 작동하는 프로그램으로 바꿔내는 계산 체계죠. AI 에이전트가 등장하기 훨씬 전부터, 수학자들은 종이 위에서 같은 일을 해왔습니다. 함수형에서 영감을 받았지만 학술적이지는 않습니다 — 그 규율은 좋아하지만, 우리가 내놓는 것은 작동하는 소프트웨어이지 형식적 증명이 아닙니다.