A typed renderer for a personal web
How Idris plus IWF turns routes, views, and links into one checked surface.
IdrisIWFHTML
Typed systems, visible edges.
Lazare.ai is a flat brutalist technical blog about typed web systems, AI infrastructure, Idris, and IWF.
IWFrendering engine
Idrisprogramming language
Nixdeployment closure
RSSmachine-readable feed
Latest Notes
Short technical essays, implementation notes, and interface decisions.
Deployment is part of the homepage
Nix, systemd user units, and two-tier nginx as visible product structure.
Nixnginxsystemd
A homepage for technical repeat visits
RSS, status, projects, and dense navigation without a marketing wrapper.
UXRSSSystems
Systems Desk
Current surfaces worth checking when entering the Lazare stack.
- RendererIWF app with direct HTML responses and typed routes.live
- DeployNix flake consumed by
nixos-config, built into a store path.pinned - EdgeSystem nginx terminates TLS, user nginx routes to the loopback service.flat
- FeedsRSS, sitemap, robots, manifest, and human-readable index endpoints.open
Brutalist, not dimensional
No shadows, no blur, no fake lift. The page uses rules, borders, grid, and color channels.
Server-first
The first response is complete HTML. Enhancement stays optional, and content remains readable without JavaScript.
Typed routes
Article URLs and handlers share one route declaration, so links do not drift from dispatch.
Operational homepage
Posts, feed links, stack notes, and public endpoints share one dense first screen.