Eduardo
@eduardogm.bsky.social
long-term cs student | sucking at GD wave | fp/haskell/ocaml enjoyer | building a Fine programming language
main use of github copilot as of now: implement trivial functions (or at least scaffold them) over datatypes with many constructors
February 28, 2025 at 3:35 PM
main use of github copilot as of now: implement trivial functions (or at least scaffold them) over datatypes with many constructors
A reply in a reddit thread about AST representation just saved my life 😌.
Trees That Grow (www.microsoft.com/en-us/resear...)
thank you @welltypedwit.ch ;)
Trees That Grow (www.microsoft.com/en-us/resear...)
thank you @welltypedwit.ch ;)
www.microsoft.com
February 28, 2025 at 3:16 AM
A reply in a reddit thread about AST representation just saved my life 😌.
Trees That Grow (www.microsoft.com/en-us/resear...)
thank you @welltypedwit.ch ;)
Trees That Grow (www.microsoft.com/en-us/resear...)
thank you @welltypedwit.ch ;)
is there any way to stop bluesky to scroll to the top every at startup?
November 16, 2024 at 2:10 AM
is there any way to stop bluesky to scroll to the top every at startup?