From 8444803182573e59414ebcbc4bec9da36aeac451 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Fri, 3 Oct 2025 17:09:04 +0200 Subject: various changes; add project list --- blog/2022-11-07-programming-language-design.md | 70 -------------------------- contact.md | 4 +- index.md | 12 ++++- projects.md | 16 ++++-- services.md | 2 +- style.css | 15 ++++-- template.html | 10 ++-- 7 files changed, 42 insertions(+), 87 deletions(-) delete mode 100644 blog/2022-11-07-programming-language-design.md diff --git a/blog/2022-11-07-programming-language-design.md b/blog/2022-11-07-programming-language-design.md deleted file mode 100644 index 674e696..0000000 --- a/blog/2022-11-07-programming-language-design.md +++ /dev/null @@ -1,70 +0,0 @@ -# Some Thoughts on Programming Language Design - -This is a collection of ideas to look at when inventing new langauges. - -## Other Ideas - -- The Language pushes abstraction to the limit by not noting any - hardware-related issues like memory-allocations, parallelism, heterogenous - computer architecture (CPU, GPU, …) - - requires a very "intellegent" compiler and a way to describe unknowns like - possible inputs, etc. in the language itself -- Start with assembly but add a very flexible macro system - -## Type System - -```diff -# Haskell -data LinkedList a = Nil | Cons a (Box (LinkedList a)) -data Test = Empty | Blub Int | State { x :: Int, y :: Int } -# Rust -enum LinkedList { Nil, Cons(T, LinkedList) } -``` - -## Memory Management - -- **Drop when out-of-scope** -- Garbage collections -- Reference counting - -## Compile-time logic - -- Annotation when calling function to be run as-far-as-possible at comptime - -```diff -fn format(template: String, args: [String]) -> String { - template.replace("@", (match, i) => args[i]) -} - -fun add(x, y) x + y - -fun main() print(format!("@ ist @; @", ["1+1", 1+1, x])) -# should expand to -fun main() print("1+1 ist 2; " ~ x)) -``` - -## Examples - -### Fizz-Buzz - -```diff -for (n in 0..100) { - if (n % (3*5) == 0) print("FizzBuzz") - else if (n % 3 == 0) print("Fizz") - else if (n % 5 == 0) print("Buzz") - else print(n) -} - - -if (true) x = 1 -if (true) { x = 1 } -``` - -``` -f(x) = 10 + g(x) -f x = 10 + g x - -main = { - -} -``` diff --git a/contact.md b/contact.md index 9ba3a44..1aa5846 100644 --- a/contact.md +++ b/contact.md @@ -3,7 +3,7 @@ You can reach out to me in a bunch of ways. Don't hesitate to contact me for any kind of reason! -- matrix: [@metamuffin:metamuffin.org](https://matrix.to/#/@metamuffin:metamuffin.org) -- fedi: [@metamuffin@social.metamuffin.org](https://social.metamuffin.org/@metamuffin) +- matrix: [@metamuffin:metamuffin.org](//matrix.to/#/@metamuffin:metamuffin.org) +- fedi: [@metamuffin@social.metamuffin.org](//social.metamuffin.org/@metamuffin) - electronic mail: [metamuffin@disroot.org](mailto:metamuffin@disroot.org) - telepathy: come on, just try hard enough diff --git a/index.md b/index.md index 300fda9..e7560a7 100644 --- a/index.md +++ b/index.md @@ -1,2 +1,12 @@ - Ah yes... my website... + + ?> + +- ### [About me](/about.html) +- ### [Projects](/projects.html) +- ### [Services](/services.html) +- ### [Contact](/contact.html) +- ### [Codeberg](//codeberg.org/metamuffin) + Where almost all of my source code is hosted + + ?> diff --git a/projects.md b/projects.md index dd9f201..afaae9b 100644 --- a/projects.md +++ b/projects.md @@ -1,7 +1,15 @@ # Projects -- ### keks-meet -- ### jellything -- ### gnix + ?> + +- ### [gnix](//codeberg.org/metamuffin/gnix) Simple HTTP server and reverse proxy serving this webpage. - \ No newline at end of file +- ### [Hurry Curry!](//hurrycurry.metamuffin.org) + Multiplayer co-op cooking game developed as a group project with + [tpart](//codeberg.org/tpart) and [nokoe](//codeberg.org/nokoe) +- ### [Jellything](//codeberg.org/metamuffin/jellything) + A media streaming server that is currently unusable :( +- ### [keks-meet](//codeberg.org/metamuffin/keks-meet) + Online conferencing application using WebRTC + + ?> diff --git a/services.md b/services.md index 1cb51c9..16ebfd2 100644 --- a/services.md +++ b/services.md @@ -4,7 +4,7 @@ Network services that my servers provides: ?> -- ### [keks-meet](//meet.metamuffin.org) +- ### [meet](//meet.metamuffin.org) Public [keks-meet](/projects.html) instance, an online conferencing application - ### [src](//src.metamuffin.org) diff --git a/style.css b/style.css index 270a9d9..be7f968 100644 --- a/style.css +++ b/style.css @@ -4,6 +4,7 @@ --ac1: #b575ff; --ac2: #ff83fd; --ac3: #ff82b2; + font-family: "Ubuntu", sans-serif; } img[align="left"] { @@ -46,6 +47,7 @@ nav a { background-repeat: no-repeat; transition: background-size 0.15s linear; font-style: normal; + font-weight: bolder; } nav a:hover { color: #dfe5f3; @@ -66,9 +68,6 @@ h4 { font-size: medium; } -p, h1, h2, h3, h4, h5, h6, li, summary { - font-family: "Ubuntu", sans-serif; -} h1 { color: var(--ac1); } @@ -130,7 +129,7 @@ input[type="submit"] { list-style-type: none; background-color: var(--bg2); border-radius: 5px; - margin-top: 1em; + margin: 1em; padding: 1em; } .cardlist li h3 { @@ -143,6 +142,14 @@ input[type="submit"] { margin-right: 1em; } +.cardlistinline { + display: block; +} +.cardlistinline li { + display: inline-block; + width: 300px; +} + .status { display: inline-block; padding: 0.1em; diff --git a/template.html b/template.html index d850d51..2a70f75 100644 --- a/template.html +++ b/template.html @@ -9,7 +9,7 @@
a muffin with purple glowing regions where a 3d vornoi function using chebychev distance exceeds some thresholdProjects Services Contact - Codeberg + Codeberg
@@ -34,7 +34,7 @@

metamuffin's website; sources available on - codeberg

@@ -43,12 +43,12 @@


-- cgit v1.2.3-70-g09d2