Jared Forsyth

@jaredly
409 Followers
341 Following
124 Posts

follower of Christ. feminist. mormon.
type theory, @reasonml, @reactjs, PLT
Mobile dev @KhanAcademy

he/him

githubhttps://github.com/jaredly
websitehttps://jaredforsyth.com
Jared ForsythJan 25, 2025

was feeling a little braindead the 3rd day of POPL so I made a colorific game of life

inspired by @TodePond's huegene (https://www.todepond.com/lab/cells/draw/table/)

Tadi lab

Jared ForsythAug 21, 2024
David WAug 20, 2024
like how soon
Jared ForsythAug 2, 2024
because I apparently can't help myself, I've made a ... terminal editor? my structured editor now lives in a terminal. with mouse support, of course 🙃.
(it will also [primarily?] live on the web, but ... yaks aren't gonna shave themselves)
Jared ForsythJul 10, 2024
Show threadRobin AdamsJul 10, 2024
@nasser
Jared ForsythMay 21, 2024
Javier (He/Him)May 20, 2024
Saw some text online that made me want to turn it into signage. What good are graphic design skills if you can't have a little fun with them.😜
Jared ForsythMay 21, 2024
Ólafur WaageMay 21, 2024

I've open sourced my simple rust sudoku game. It's not great code and there are some tests missing, but enjoy.

https://github.com/olafurw/rust-sudoku

GitHub - olafurw/rust-sudoku: Rust Sudoku

Rust Sudoku. Contribute to olafurw/rust-sudoku development by creating an account on GitHub.

GitHub
Jared ForsythMay 20, 2024
Evv1L May 19, 2024

 

Inspired by this:
https://mastodon.online/@vas3k/112463951307461100

vas3k (@[email protected])

Attached: 1 image Заготовил стикеров к наступающей эпохе господства AI

Mastodon
Jared ForsythMay 20, 2024
dominikaMay 19, 2024
https://sometimes.digital/pages/snake/
snake

Jared ForsythMay 2, 2024
Ashe DrydenMay 2, 2024
"The first page of Google results are links to pages that have scraped other pages for information from other pages that have been scraped for information. All the sources seem to link back to one another. There is no origin. The photos on the page look weird. The hands are disfigured. There is no image credit." https://www.takahe.org.nz/heat-death-of-the-internet/
Heat Death of the Internet - takahē

You want to order from a local restaurant, but you need to download a third-party delivery app, even though you plan to pick it up yourself. The prices and menu on the app are different to what you saw in the window. When you download a second app the prices are different again. You ring

takahē -
Jared ForsythApr 30, 2024
lol I guess I have to learn agda now so I can understand this paper's implementation https://dl.acm.org/doi/pdf/10.1145/3607843