Stories by j-l-

Formally Verifying Peephole Optimisations in Lean

HP computers are unsafe, claims HP

Artie (YC S23) Is Hiring Senior Enterprise AES

Show HN: ChronoGuard – Time-bounded access control for AI agents (open source)

Randomx.js: Bringing Webmining Back from the Grave [video]

Barack Obama and Anthony Bourdain Have Dinner [video]

The Fatal Trap UBI Boosters Keep Falling Into

Show HN: AroundHere – Location based Wiki/Grokipedia explorer with summary/TTS

Useful Work versus Useless Toil

LaTeX template and VS Code setup as an offline alternative to Overleaf

Show HN: ChronoGuard–Zero-trust proxy for browser automation with temporal ctrls

Three Generations of Imbeciles Are Enough

Show HN: Dlog – Journaling and AI coach that learns what drives wellbeing (Mac)

I wrote about parallel prompts: from 3D shoe renders to swipe-ready videos

I asked teachers how they use AI – and what I found was terrifying

I wrote about why chat-first UX sucks: a modern alternative using generative UI

JPMorganChase requires biometric scanning at new HQ

1 2 3 4 5 6 7 8 9 10