summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--blog/2022-11-07-programming-language-design.md70
-rw-r--r--contact.md4
-rw-r--r--index.md12
-rw-r--r--projects.md16
-rw-r--r--services.md2
-rw-r--r--style.css15
-rw-r--r--template.html10
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 = {
-
-}
-```
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...
+
+<?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)
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 @@
<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>