@
@
Experimenting with sort of dependent types in Haskell using Generalized Algebraic Data Types and DataKinds
aom-21 emoji
@
finally working on another personal project (ignore failed test)
aom-21 emoji
@
great day volunteering for afghan refugees at ramstien air base in germany
@
@
Street in Paris
@
after 5 minutes of trying to get a file extension in fish I ended up writing a small python script and I now have a new cat configuration complete with syntax highlighting and markdown rendering
@
learning kubernetes before my flight
spring-of-making emoji
@
Had pasta at Guy Ferrari’s restaurant yesterday!
spring-of-making emoji
@
Hit 2k contributions on GitHub today
github emoji
spring-of-making emoji
@
Got my first vaccine shot!
spring-of-making emoji
vaccineparrot emoji
@
I somehow have 25% code review and I have no idea how
spring-of-making emoji
github emoji
goose-honk-technologist emoji
@
Just found out lambda functions are a thing in c++. The more you know
beachball emoji
spring-of-making emoji
@
new typing record for me.
@
Some minor updates to my github readme
@
Im liking nim for a complete replacement for the scripting I would do in python: its statically typed and compiled but keeps the simplicity of python. v cool nim
python emoji
spring-of-making emoji
@
Little town in Germany
spring-of-making emoji
germanyparrot emoji
@
hit 1,600 contribs today
spring-of-making emoji
upvote emoji
@
@
New hack club stickers!
goose-honk-technologist emoji
spring-of-making emoji
@
Learning some Assembly
wom emoji
@
3D printed my GitHub skyline
wom emoji
github emoji
@
Got my thetahacks swag as well
wom emoji
@
Found out about this today
wom emoji
github emoji
@
Hello world in langgarden using loops
wom emoji
@
added a loop stack to my esolang written in haskell
wom emoji
@
starting to write a little esolang in haskell as a way to learn parsing and lexing
wom emoji
@
writing python libraries in nim for speed
wom emoji
python emoji
vsc emoji
@
Learning vlang because it looks interesting
vlang emoji
wom emoji
@
inception
wom emoji
@
learning emacs with evil mode because im bored.
@
this is my real kitty setup though
wom emoji
@
I got kitty terminal all setup. Let me know what you think
wom emoji
@
Im switching to kitty because its the objectively better terminal. It has italics as well as in terminal images
wom emoji
@
trying out writing servers in haskell
wom emoji
haskell emoji
upvote emoji
@
begun to work on a small text base social media site
wom emoji
upvote emoji
@
Got diesel orm models and migrations set up for rust and postgresql, wrote a server for a link shortener to test it out.
@
starting on writing a portfolio site with svelte
wom emoji
upvote emoji
@
made picture frames for my scrapbook
@
best quick sort solution
wom emoji
@
Just learned you could implement your own lazily loading in rust.
rustlang emoji
wom emoji
upvote emoji
@
got my alacritty set up too
wom emoji
@
I started to really pick up my coding this year too
wom emoji
github emoji
upvote emoji
@
Im re-writing one of my projects
wom emoji
upvote emoji