Minneapolis
Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
Ticket created by ~remexre on ~remexre/lambo
This is just an extra role query.
Ticket created by ~remexre on ~remexre/lambo
Right now, if "Run" produces too much output, you're just stuck with a
.... There should be a button to keep computing.
Ticket created by ~remexre on ~remexre/lambo
When clicking "Run," it's not hard to time out. Maybe raise the timeout to 10 or 15 seconds, then make lambo send a Pong at 4.5sec, and make a normal reply post when evaluation actually finishes.
Ticket created by ~remexre on ~remexre/sylvan
Right now,
Coercible/~>/.coerceonly works for wrapping and unwrapping newtypes.For it to be really useful (like, deserving-of-its-syntax useful), it should also allow coercing e.g.
Seq[Int]toSeq[NewtypeForInt].This will require a bunch of changes; we'll need to put
~>instances into the IR and havecoercethere. We'll also need to perform the actual analysis to determine what roles a type's tyargs should have; this is a "traverse all the types in SCC order" check, though we already have the plumbing for that.
Ticket created by ~remexre on ~remexre/sylvan
Right now, we're set up to test bootstrapping on Alpine Linux, FreeBSD, and NixOS. It'd be nice to:
- Check that all three build the bit-for-bit same binaries
- "Build the world" like Silver's CI does, but only after the bootstrap tests pass
This would probably mean writing a webhook or something that manages the build pipeline, using the builds.sr.ht API to actually request builds.