SageBinder

joined 1 year ago
[–] SageBinder@mathstodon.xyz 1 points 11 months ago

@jaror Not sure if this is directly related to circular programs, but you may be interested in Aaron Stump’s work on DCS: https://gitlab.com/astump97/dcs/-/blob/main/talks/upenn-fall2023/upenn-talk.pdf?ref_type=heads

[–] SageBinder@mathstodon.xyz 2 points 1 year ago (1 children)

@Surreal @bikesarethefuture and all of JetBrains’ IDEs, including Rider, are completely free for students