Stories by mathis-l

Tell me about an OpenClaw skill

Use Agents or Be Left Behind? A Personal Guide to Automating Your Own Work

Formally Verifying Peephole Optimisations in Lean

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

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

Show HN: Restaurant AI Host, Always On

Ask HN: Has the ChatGPT 5 web chat become more agreeable?

Ask HN: What's the best way to start with Ruby on rails?

Tell HN: Warning Google trains on your data when using aistudio.google.com

LightlyTrain: Better Vision Models, Faster – No Labels Needed

Show HN: Pset An expanded JavaScript set with all proposed operations and types

Ask HN: How to Build a Community Group?

Zuckerberg appeared to know Llama trained on Libgen

Ask HN: UX feedback for tool that sends a link to your TV

Alibaba releases an 'open' challenger to OpenAI's O1 reasoning model

1
2
3
4
5
6
7
8
9
10