rachel/rachel.cafe
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

slight update

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2022-03-14 11:02:23 +01:00
parent d7b728c923
commit ed5ecbdbe3
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
about.md
View File

@ -7,23 +7,19 @@ title: "about"
## Who am I?
I'm a first year at Chalmers University of Technology in Gothenburg. My interests include mathematics, programming languages, type systems and formal methods. Though I'm not necessarily particularly knowledgable in any of these fields. My dislikes include anything blockchain, machine learning, and bigots.
I'm a first year at Chalmers University of Technology in Gothenburg. My interests include mathematics, programming languages, type theory and formal methods. Though I'm not necessarily particularly knowledgable in any of these fields. My dislikes include blockchain, machine learning, and bigots.
I currently mostly write Haskell, though I'd also consider myself proficient at C. I know a fair bit of Agda, Scheme, and ruby. I'm interested in learning Idris, Ocaml, and Coq.
I currently mostly write Haskell, though I'd also consider myself proficient at C. I know a fair bit of Agda, Idris, Scheme, and ruby. I'm interested in learning APL, Ocaml, and Coq.
## What have I made?
Here are some of my "complete" projects.
* [bc](https://githug.xyz/depsterr/bc) - A brainfuck compiler for x86_64-linux that collapses consecutive +- and <> operations into single instructions.
* [mpdart](https://github.com/depsterr/mpdart) - A X application which displays the album art of the song/album currently played by mpd.
* [mpdart](https://githug.xyz/depsterr/mpdart) - A X application which displays the album art of the song/album currently played by mpd.
* [viddl](http://viddl.depsterr.com) - A web interface to youtube-dl
* [kino](http://githug.xyz/depsterr/kino) - A tui client for [yts.mx](https://yts.mx)
## What's this site for?
Whatever I feel like putting here! Programming? Sure. Math? Why not! Some opinion on music, film, or other media? Who knows!
## Contact Info
### Email