diff options
author | metamuffin <metamuffin@disroot.org> | 2025-10-03 17:09:04 +0200 |
---|---|---|
committer | metamuffin <metamuffin@disroot.org> | 2025-10-03 17:09:04 +0200 |
commit | 8444803182573e59414ebcbc4bec9da36aeac451 (patch) | |
tree | 1fa91c937ae009719ffa91dbff5d6d41d337b1d2 | |
parent | ad523865eb95fe2581652bd2c89efc53a3857eed (diff) | |
download | metamuffin-website-8444803182573e59414ebcbc4bec9da36aeac451.tar metamuffin-website-8444803182573e59414ebcbc4bec9da36aeac451.tar.bz2 metamuffin-website-8444803182573e59414ebcbc4bec9da36aeac451.tar.zst |
various changes; add project list
-rw-r--r-- | blog/2022-11-07-programming-language-design.md | 70 | ||||
-rw-r--r-- | contact.md | 4 | ||||
-rw-r--r-- | index.md | 12 | ||||
-rw-r--r-- | projects.md | 16 | ||||
-rw-r--r-- | services.md | 2 | ||||
-rw-r--r-- | style.css | 15 | ||||
-rw-r--r-- | template.html | 10 |
7 files changed, 42 insertions, 87 deletions
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<T> { Nil, Cons(T, LinkedList<T>) } -``` - -## 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 = { - -} -``` @@ -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 @@ -1,2 +1,12 @@ - Ah yes... my website... + +<?lit <div class="cardlist cardlistinline"> ?> + +- ### [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 + +<?lit </div> ?> 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 +<?lit <div class="cardlist"> ?> + +- ### [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 + +<?lit </div> ?> 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: <?lit <div class="cardlist"> ?> -- ### [keks-meet](//meet.metamuffin.org) +- ### [meet](//meet.metamuffin.org) Public [keks-meet](/projects.html) instance, an online conferencing application - ### [src](//src.metamuffin.org) @@ -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 @@ <body> <header> <img - src="https://s.metamuffin.org/avatar/default-512.webp" + src="//s.metamuffin.org/avatar/default-512.webp" alt="a muffin with purple glowing regions where a 3d vornoi function using chebychev distance exceeds some threshold" align="left" height="80" @@ -23,7 +23,7 @@ <a href="/projects.html">Projects</a> <a href="/services.html">Services</a> <a href="/contact.html">Contact</a> - <a href="https://codeberg.org/metamuffin">Codeberg</a> + <a href="//codeberg.org/metamuffin">Codeberg</a> </nav> <hr /> </header> @@ -34,7 +34,7 @@ <hr /> <p> metamuffin's website; sources available on - <a href="https://codeberg.org/metamuffin/metamuffin-website" + <a href="//codeberg.org/metamuffin/metamuffin-website" >codeberg</a> </p> <p> @@ -43,12 +43,12 @@ <hr /> <iframe loading="lazy" - src="https://adservices.metamuffin.org/v1/embed?s=metamuffin.org" + src="//adservices.metamuffin.org/v1/embed?s=metamuffin.org" style="width: 728px; height: 90px; border: none" ></iframe> <iframe loading="lazy" - src="https://john.citrons.xyz/embed?ref=metamuffin.org" + src="//john.citrons.xyz/embed?ref=metamuffin.org" style="width: 732px; height: 94px; border: none" ></iframe> </footer> |