SageBinder

joined 2 years ago
[–] [email protected] 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

[–] [email protected] 3 points 1 year ago (1 children)

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