cd/sources/ngrislain-auto-discovered· home› sources› Ngrislain (auto-discovered)
cat /sources/ngrislain-auto-discovered.feed | wc -l → 2

Ngrislain (auto-discovered)

articles 2 domain ngrislain.github.io → feed RSS
00:00
2026-09-06
ngrislain.github.io
developer-tools

Like Terraform, but in Lean 4

A developer spent two weekends building infra, an infrastructure-as-code tool in Lean 4 that functions like Terraform, supporting three clouds and 14 resource kinds across about 18,000 lines of code. …

12:57
2026-08-21
ngrislain.github.io
artificial-intelligence

Anomaly Detection with LLMs for Cybersecurity

Datadog security researcher Nicolas Grislain built Mambark, a 97-million-parameter model that reads audit logs like text and scores each event by surprise, detecting anomalies without labels or fine-t…