aniicca

it's dark because you're trying too hard 🐢

A list of books, a list of things I want to read, a list of things I've been up to. When I'm not computer sciencing, I spend my time making clothes and music. I like analog photography:

always there — always thereRabbi/Italy/May'26

wheat & wales — wheat & walesWales/UK/Jul'26

sunset at Malpe — sunset at MalpeUdupi/India/May'26

ಹಲಸಿನ ಹಣ್ಣು — ಹಲಸಿನ ಹಣ್ಣುUdupi/India/May'26

cornwall sunrise with the girls — cornwall sunrise with the girlsSt. Ives/UK/Mar'26

seals — sealsNorfolk/UK/Feb'26

concrete jungle — concrete jungleBukit Lawang/Sumatra/Oct'25

colors of singapore — colors of singaporeSingapore/Oct'25

desmalghjada — desmalghjadaRabbi/Italy/Sep'25

home — homeRabbi/Italy/Sep'25

my favorite place in the world — my favorite place in the worldRabbi/Italy/Sep'25

capturing the moment — capturing the momentIstanbul/Türkiye/May'25

skye — skyeIsle of Skye/Scotland/Apr'25

on the way to skye — on the way to skyeScotland/UK/Apr'25

lights and shadows — lights and shadowsDolomites/Italy/Mar'25

cambridge sometimes you are magical — cambridge sometimes you are magicalCambridge/UK/Jan'25

pink dusk — pink duskBangalore/India/Dec'24

tea — teaMunnar/India/Dec'24

hawa mahal — hawa mahalJaipur/India/Dec'24

norfolk sea — norfolk seaNorfolk/UK/Sep'24

dad — dadRabbi/Italy/Apr'24

dad and the snow — dad and the snowRabbi/Italy/Mar'24

Oct 8, 2026Automata and Flowers
Sep 28, 2026A teeny tiny `rabiés` dictionary
Jun 13, 2026FP madness
Apr 16, 2026EuroLLVM '26
Feb 16, 2026it's a long way to automata if you want to coinduct
Jan 30, 2026what is homotopy type theory?
Jan 11, 2026[WIP] writing and induction principle
Jan 6, 2026who subtypes subtyped definitions?
Dec 31, 20252025 takeaways
Dec 14, 2025ItaLean'25
Dec 1, 2025categories
Nov 25, 2025proving the correctness of a parallel prefix sum circuit
Nov 22, 2025writing a paper
Nov 15, 2025OOPSLA'25
Oct 24, 2025HASE'25
Aug 28, 2025population count
Aug 15, 2025recursive definitions in lean
May 28, 2025knaster-tarski theorem
Mar 30, 2025silent failures
Mar 28, 2025an inductive approach to spacer
Feb 28, 2025acl2
Feb 28, 2025lean-mlir misc
Dec 31, 20242024 takeaways
Oct 30, 2024theory of latency-insensitive design
Oct 11, 2024Big Spec '24
Jun 30, 2024PLDI'24
Jun 16, 2024the essence of bluespec
Jun 15, 2024modern automata theory
May 24, 2024hw design with/for ml
Mar 20, 2024cell morphing: from array programs to array-free horn clauses
Mar 20, 2024CGO'24
Mar 10, 2024learning semantic representations to verify hardware designs
Jan 28, 2024omega tactic in lean4
Nov 10, 2023high-level abstractions and modular debugging for FPGA design validation
Nov 5, 2023formal verification at higher levels of abstraction
Oct 30, 2023buechi, lindenbaum, tarski: a program analysis appetizer
Oct 30, 2023what are the semantics of hardware
Oct 27, 2023fsm anomaly detection using formal analysis
Sep 30, 2023abstract interpretation from buechi automata
Sep 25, 2023finite presentations of infinite structures: automata and interpretations