Index edit
Some checks failed
CI / Check typos (push) Successful in 26s
CI / Check links (push) Failing after 2m3s
CI / Clippy (push) Successful in 3m23s
CI / Build and test (push) Successful in 5m16s
CI / Build container (push) Has been skipped
CI / Deploy on waypoint (push) Has been skipped

This commit is contained in:
2025-11-28 12:39:40 -08:00
parent a29db858d1
commit 9035a56f3d
6 changed files with 173 additions and 509 deletions

618
Cargo.lock generated

File diff suppressed because it is too large Load Diff

View File

@@ -40,7 +40,7 @@ mutex_atomic = "deny"
needless_raw_strings = "deny"
str_to_string = "deny"
string_add = "deny"
string_to_string = "deny"
implicit_clone = "deny"
use_debug = "allow"
verbose_file_reads = "deny"
large_types_passed_by_value = "deny"

View File

@@ -9,36 +9,40 @@ Also see [what's a "betalupi?"](/whats-a-betalupi)
## Projects
- **TetrOS**, bare-metal tetris on 32-bit x86. _{{color(--grey, "[author]")}}_
- {{color(--grey, "Status: ")}} {{color(--green, "Done.")}}
- {{color(--grey, "Repository: ")}} [:fa-github: tetros](https://git.betalupi.com/Mark/tetros)
- {{color(--grey, "Quick demo:")}}
`wget https://git.betalupi.com/api/packages/Mark/generic/tetros/latest/disk.img && qemu-system-i386 -d cpu_reset -no-reboot -smp 1 -m 2048 -machine q35 -net none -serial stdio -fda "disk.img"`
<br/>
- **RedoxOS**, a general-purpose, microkernel-based operating system written in Rust. _{{color(--grey, "[enthusiast]")}}_
- {{color(--grey, "Status: ")}} {{color(--yellow, "Passive.")}}
- {{color(--grey, "Website: ")}} [:fa-link: redox-os.org](https://www.redox-os.org/)
<br/>
- **Tectonic**, the LaTeX engine that is pleasant to use.
Experimental, but fully functional. _{{color(--grey, "[co-maintainer]")}}_
- {{color(--grey, "Status: ")}} {{color(--yellow, "Abandoned. ")}} [Typst](https://github.com/typst/typst) is better.
- {{color(--grey, "Status: ")}} {{color(--cyan, "Abandoned. ")}} LaTeX is legacy, use [Typst](https://github.com/typst/typst).
- {{color(--grey, "Main repo: ")}} [:fa-github: Tectonic](https://github.com/tectonic-typesetting/tectonic)
- {{color(--grey, "Bundle tools: ")}} [:fa-github: tectonic-texlive-bundles](https://github.com/tectonic-typesetting/tectonic-texlive-bundles)
<br/>
- **Daisy**, a pretty TUI scientific calculator. _{{color(--grey, "[author]")}}_
- {{color(--grey, "Status: ")}} {{color(--orange, "Done. ")}} Used this to learn Rust. [Numbat](https://numbat.dev) is better.
- {{color(--grey, "Status: ")}} {{color(--green, "Done. ")}} Used this to learn Rust. [Numbat](https://numbat.dev) is better.
- {{color(--grey, "Repository: ")}} [:fa-github: rm-dr/daisy](https://github.com/rm-dr/daisy)
- {{color(--grey, "Website: ")}} [:fa-link: daisy.betalupi.com](https://daisy.betalupi.com) (WASM demo)
<br/>
- **Lamb**, a lambda calculus engine. _{{color(--grey, "[author] ")}}_
- {{color(--grey, "Status: ")}} {{color(--orange, "Done. ")}} Fun little project.
- {{color(--grey, "Status: ")}} {{color(--green, "Done. ")}} Fun little project.
- {{color(--grey, "Repository: ")}} [:fa-github: rm-dr/lamb](https://github.com/rm-dr/lamb)
- {{color(--grey, "PyPi: ")}} [:fa-python: lamb-engine](https://pypi.org/project/lamb-engine)

View File

@@ -9,7 +9,7 @@ use crate::{
md::Markdown,
misc::FarLink,
},
pages::{LAZY_IMAGE_JS, footer},
pages::{LAZY_IMAGE_JS, PAGE_TTL, footer},
routes::{IMG_ICON, MAIN_CSS},
};
@@ -24,6 +24,7 @@ pub static INDEX: LazyLock<HtmlPage> = LazyLock::new(|| {
image: Some(IMG_ICON.route().into()),
})
.with_render(render)
.with_ttl(PAGE_TTL)
});
fn render<'a>(

View File

@@ -19,6 +19,10 @@ mod index;
pub use handouts::HANDOUTS;
pub use index::INDEX;
/// Default ttl for html pages.
/// Dynamic pages should set their own, shorter ttl.
pub const PAGE_TTL: Option<TimeDelta> = Some(TimeDelta::days(1));
//
// MARK: md
//
@@ -61,7 +65,7 @@ fn page_from_markdown(md: impl Into<String>, default_image: Option<String>) -> H
}
})
})
.with_ttl(Some(TimeDelta::days(1)))
.with_ttl(PAGE_TTL)
}
//

View File

@@ -45,7 +45,7 @@
--codeFgColor: var(--fgColor);
// Main colors
--grey: #696969;
--grey: #757575;
// Accent colors, used only manally
--green: #a2c579;
@@ -53,6 +53,7 @@
--orange: #e86a33;
--yellow: #e8bc00;
--pink: #fa9f83;
--cyan: #6199bb;
}
::selection,