cd/sources/michielbdejong-auto-discovered· home› sources› Michielbdejong (auto-discovered)
cat /sources/michielbdejong-auto-discovered.feed | wc -l → 5050

Michielbdejong (auto-discovered)

articles 5050 domain github.com → page 26/253 feed RSS
11:24
2026-09-18
github.com
ai-agents

Ulka: Browser agent powered by Jev and fx.sh (experimental)

Developer razaanstha released Ulka, an experimental browser-agent extension that runs locally in Chromium-based browsers and routes model requests through the user's own Vercel AI Gateway API key. Ulk…

06:04
2026-09-18
github.com
ai-agents

Show HN: Open-Source Alternative to TypeSafe.ai

A developer released an open-source template for building deterministic models with structured reasoning, positioning it as an alternative to TypeSafe.ai. The template runs JavaScript rule functions t…

23:33
2026-09-17
github.com
ai-products

Talk to JEV

TypeSafe AI's first System One model, Jev, is the subject of a new open-source demo called Grug that holds conversations by repeatedly selecting the next word from a compact 979-word vocabulary via th…

20:38
2026-09-17
github.com
ai-agents

Bend 2 Is Here

Bend 2 has launched with a new `LAWS.bend` file that forces AI coding agents to write mathematical correctness proofs, using Bend's compiler to guarantee declared rules always hold. The language's dev…

← prev page 26 / 253 next →