Research · 연구
Scalar's research is built to be falsifiable — pre-registered protocols, differential tests against reference implementations, and honest negative results reported alongside the positive ones.
스칼라의 연구는 반증 가능하도록 설계됩니다 — 사전등록 프로토콜, 레퍼런스 구현 대비 differential test, 그리고 긍정적 결과와 함께 보고되는 정직한 negative result.
// Research · 연구
Publications & Verifiers · 논문·검증기
Rust model of the Linux BPF verifier's scalar abstract domain (tnum × cnum) with Kani soundness proofs and differential tests against unmodified kernel C (N=2000 × 11 ops, 0 mismatches). Companion LKML RFC: "[PATCH RFC] bpf: add DAG fast-path in verifier to skip redundant state pruning" — direct maintainer reply (Alexei Starovoitov, Meta) in 17 hours.
Linux BPF verifier의 scalar abstract domain(tnum × cnum)을 Rust로 모델링, Kani 무결성 증명과 커널 원본 C 코드 대비 differential test(N=2000 × 11개 연산, 불일치 0건) 수행. 동반 LKML RFC — BPF 메인테이너(Alexei Starovoitov, Meta) 17시간 내 직접 회신.
Linux 커널 BPF verifier 재설계 논의 참여
Proof of Physical Work simulation. Monetary issuance anchored to verifiable physical energy. Unauthorized inflation structurally impossible — not just discouraged.
물리적 작업 증명(PoPW) 시뮬레이션. 화폐 발행을 검증 가능한 물리 에너지에 고정 — 무단 인플레이션이 구조적으로 불가능.
Simulation (seed=42):
When should verification stop? A non-refutation overhead boundary with a provable risk bound, and one assumed-not-earned law tested across number theory, cosmology, control, statistics, and LLM evaluation. Pre-registered; reports its own negative results.
검증을 언제 멈춰야 하는가 — 비반증 오버헤드 경계의 위험 한계 증명과 assumed-not-earned 법칙. 수론·우주론·제어·통계·LLM평가 전 도메인 테스트. 사전등록·정직한 negative 보고.
독립 연구 — 사전등록 · DOI 아카이브(Zenodo)
Windowed interacting-dark-energy toy model fit to real DESI DR1 BAO data (emcee MCMC). Honest negative result, reported as such: coupling bounded at β₀ < 0.27 (95%), no advantage over ΛCDM (Δln Z = −1.9).
DESI DR1 BAO 실데이터 피팅 — ΛCDM을 이기지 못한 정직한 negative result.
OPEN SOURCE · 오픈소스
Serverless MES on Google Sheets. Full BOM/production tracking with 41 functions and shared utility layer. Zero infrastructure cost.
Google Sheets 기반 서버리스 MES. 41개 함수와 공유 유틸 레이어로 BOM·생산 추적, 인프라 비용 0.
Runtime non-refutation verifier for the Riemann Hypothesis in C — sign-change verification via the Riemann–Siegel Z(t) function, paired with an embedded thermal controller.
리만 가설 런타임 비반증 검증기(C). Riemann–Siegel Z(t) 부호변화 검증 + 임베디드 열 제어기.