~remexre

Minneapolis

https://remexre.com

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

Trackers

~remexre/lambo

Last active 1 year, 2 months ago

~remexre/sylvan

Last active 1 year, 4 months ago

~remexre/ash-direct-entry

Last active 3 years ago

~remexre/multiclip

Last active 3 years ago

~remexre/stahl

Last active 3 years ago

~remexre/lemonbot

Last active 4 years ago

~remexre/misc-project-ideas

Last active 4 years ago

#5 Role system 2 months ago

Comment by ~remexre on ~remexre/sylvan

This is at least designed in. https://git.sr.ht/~remexre/sylvan/tree/1df99f1ac3c2089e3b6315334cd7a0d0e5148c8e/item/src/std/intrinsics/mod.syl#L153

REPORTED RESOLVED CLOSED

#3 Allow use in DMs. 1 year, 2 months ago

Ticket created by ~remexre on ~remexre/lambo

This is just an extra role query.

#2 "Continue" button 1 year, 2 months ago

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.

#1 Better timeout behavior for discocaml 1 year, 2 months ago

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.

#5 Role system 1 year, 4 months ago

C: lang added by ~remexre on ~remexre/sylvan

#5 Role system 1 year, 4 months ago

enhancement added by ~remexre on ~remexre/sylvan

#5 Role system 1 year, 4 months ago

Ticket created by ~remexre on ~remexre/sylvan

Right now, Coercible/~>/.coerce only 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] to Seq[NewtypeForInt].

This will require a bunch of changes; we'll need to put ~> instances into the IR and have coerce there. 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.

#4 Infra: Broader testing 1 year, 5 months ago

enhancement added by ~remexre on ~remexre/sylvan

#4 Infra: Broader testing 1 year, 5 months ago

C: infra added by ~remexre on ~remexre/sylvan

#4 Infra: Broader testing 1 year, 5 months ago

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.