Elektrine lite

← Feed

@zwarich@hachyderm.io

2026-05-25 14:00 UTC

@joe@f.duriansoftware.com Zeroing is adding a new "row" syntax, motivated by token efficiency: type Point x 132 y 132 fn sum i32 point Point ret + point.x point.y pub fn main Void world World ! let point Point . x 40 y 2 let total sum point if == total 42 check world.out.write "ok\n"

Replies (1)

  • @joe@f.duriansoftware.com 2026-05-25 14:23

    @zwarich@hachyderm.io I would expect there to be an inverse correlation between the amount of implicit structure and the ability of a model to correctly generate the structure, without a lot of specific training. Seems like at some point you’d start spending more tokens fixing syntax errors from the first attempt

    Open ##2836752