Skip to content

unbalancedparentheses/unbalancedparentheses

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

61 Commits
ย 
ย 

Repository files navigation

Hi, I'm Federico

I founded LambdaClass and Ergodic Group. LambdaClass does protocol engineering, compilers, and formal verification, mostly Rust, Erlang, and Lean. Ergodic Group is the holding company on top: we run software companies, a quant finance operation, an animation studio, a vineyard, and a sushi restaurant, among other things. I also work on the core of Ethereum, applied cryptography and cybersecurity.

I spend most of my time on formal systems, proofs, and verified kernels. I also read too much about uncertainty, fat tails, and the limits of knowledge. The two interests contradict each other and I'm fine with that.

Currently: building stabileo (structural analysis in the browser) and Concrete, a language designed so programs can be proved correct in Lean. Also working on ethrex, lambdaworks, running crash detection signals on centuries of FX data, and building an options backtester.

Built at LambdaClass

  • โ›“๏ธ ethrex. Ethereum execution client in Rust, both L1 and L2
  • ๐Ÿ”ฎ lambda_ethereum_consensus. Ethereum consensus client in Elixir, built on the BEAM for fault tolerance
  • ๐Ÿ” lambdaworks. Our SNARK/STARK prover library
  • ๐Ÿ›๏ธ cairo-vm. Cairo VM reimplemented in Rust
  • โš™๏ธ cairo_native. Compiles Cairo Sierra down to MLIR
  • ๐Ÿ“Š options_portfolio_backtester. Options backtester we use internally
  • ๐Ÿงฑ concrete. A language we're building for scalable, verifiable systems
  • ๐ŸŽ“ erlings. Erlang exercises, rustlings-style
  • ๐Ÿ—๏ธ stabileo. Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation

Personal Projects

Quantitative Finance

  • ๐Ÿ’ฅ fatcrash. Crash detection using LPPLS, EVT, Hill estimator, VRP, and a bunch of other signals. Rust core with Python/PyO3 bindings
  • ๐Ÿ’ฑ forex-centuries. Exchange rate data going back centuries. Useful for volatility research when you don't trust short samples
  • ๐Ÿ“ˆ finance_research. Notebooks on options backtesting, tail hedging, carry strategies

Tools

  • ๐Ÿ“– readtube. Turns YouTube videos into typeset ebooks
  • ๐Ÿ—„๏ธ llm-archive. Ingests all my Claude Code and Codex conversations into SQLite, strips the code, keeps the thinking. Search and analysis over months of LLM usage
  • ๐Ÿข holdco. Holding company management โ€” corporate structure, assets, custody, tax
  • ๐ŸŽฌ media-server. Self-hosted media server, Docker Compose
  • ๐Ÿงฌ DNA. Genetic health analysis pipeline
  • ๐Ÿ—ฃ๏ธ stoa. Send the same prompt to multiple LLMs, compare side-by-side. Native app, Rust + GPU

Book

Writing

Connect

X ยท Blog ยท Email

About

unbalancedparentheses/unbalancedparentheses is a special repository: its README.md will appear on your profile\!

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors