User contributions for Mxl

23 June 2025

• 15:1915:19, 23 June 2025 diff hist +953‎ Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎No edit summary current

6 June 2025

• 12:3112:31, 6 June 2025 diff hist +2,320‎ Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎No edit summary
• 11:3911:39, 6 June 2025 diff hist +583‎ Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎ progress 1

27 May 2025

• 15:5115:51, 27 May 2025 diff hist −1‎ m Apfelkuchen Rezept von Oma ‎ Grammatik current
• 15:5015:50, 27 May 2025 diff hist +8‎ N Category:Recipes ‎ Created page with "Recipes." current
• 15:5015:50, 27 May 2025 diff hist +23‎ m Apfelkuchen Rezept von Oma ‎ Category
• 15:4915:49, 27 May 2025 diff hist +66‎ Main Page ‎ Recipes current
• 15:4815:48, 27 May 2025 diff hist +1,634‎ N Apfelkuchen Rezept von Oma ‎ Oapfelkuchen

16 May 2025

• 14:3414:34, 16 May 2025 diff hist +201‎ m Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎No edit summary
• 14:2614:26, 16 May 2025 diff hist +116‎ N Automated Running Time Equivalences (Thesis Project Tracking) ‎ Mxl moved page Automated Running Time Equivalences (Thesis Project Tracking) to Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking): Better title current Tag: New redirect
• 14:2614:26, 16 May 2025 diff hist 0‎ m Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎ Mxl moved page Automated Running Time Equivalences (Thesis Project Tracking) to Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking): Better title

14 May 2025

• 23:4623:46, 14 May 2025 diff hist +1,036‎ Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎No edit summary
• 21:1721:17, 14 May 2025 diff hist +1,174‎ Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎ Summarize preliminary readings
• 18:2218:22, 14 May 2025 diff hist +49‎ Main Page ‎No edit summary
• 18:2018:20, 14 May 2025 diff hist +23‎ File:TransTUM.svg ‎No edit summary current
• 18:2018:20, 14 May 2025 diff hist +32‎ N File:TransTUM.svg ‎ Font is Helvetica.
• 11:2111:21, 14 May 2025 diff hist +3‎ m Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎ Fixes

12 May 2025

• 11:0311:03, 12 May 2025 diff hist +2,302‎ Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎ April 28 - May 12
• 10:3910:39, 12 May 2025 diff hist +196‎ N Translating Time Bounds of Functional Programs to a Deeply-Embedded Language (Thesis Project Tracking) ‎ Created page with "== Progress == === April 14th–28th === === April 14th–28th === === April 28th–May 12th === ==== Recap Last Week ==== ==== To do for next week ==== ==== To Discuss ==== ==== Notes ===="

27 April 2025

• 13:1613:16, 27 April 2025 diff hist +29‎ Main Page ‎No edit summary
• 13:1613:16, 27 April 2025 diff hist +1,210‎ N Snapcast Server Setup ‎ Created page with "Notes for '''setting up Snapcast''' (https://github.com/badaix/snapcast) for multi-device audio playback. == PipeWire as Player == To configure PipeWire as a player for Snapcast, create the file <code>10-snapcast-pipe-sink.conf</code> in <code>/etc/pipewire/pipewire.conf.d/</code> (or in <code>~/.config/pipewire/pipewire.conf.d/</code>): <nowiki>context.modules = [ { name = libpipewire-module-pipe-tunnel args = { tunnel.mode = sink..." current

15 January 2025

• 03:3903:39, 15 January 2025 diff hist +151‎ Main Page ‎No edit summary
• 03:3703:37, 15 January 2025 diff hist +39‎ N Category:System Configuration ‎ Created page with "Best practices, references, and guides." current
• 03:3603:36, 15 January 2025 diff hist +35‎ m Managing and Adding APT Repositories ‎No edit summary current
• 03:3503:35, 15 January 2025 diff hist −11‎ m Managing and Adding APT Repositories ‎No edit summary
• 03:3303:33, 15 January 2025 diff hist +2,925‎ N Managing and Adding APT Repositories ‎ Created page with "Best practices, references, and helpers for '''managing custom APT repositories''' on Debian-derived systems. The general advice is to put source lists in <code>/etc/apt/sources.list.d/</code> and keys in <code>/etc/apt/keyrings/</code>, referenced by <code>Signed-By</code> entries. The use of DEB822 Source Format is encouraged, as it simplifies managing repositories manually. == Resources == * Debian Wiki's general instructions on third-party repositories: https://wi..."

6 January 2025

• 03:0403:04, 6 January 2025 diff hist 0‎ m GE Rapid Clean II (seven-segment display font) ‎No edit summary current
• 03:0303:03, 6 January 2025 diff hist +47‎ N File:GE Rapid Clean II (9-02).jpg ‎ Mxl moved page File:GE Rapid Clean II (9-02).jpg to File:GE Rapid Clean II (9-09).jpg: Misspelled title current Tag: New redirect
• 03:0303:03, 6 January 2025 diff hist 0‎ m File:GE Rapid Clean II (9-09).jpg ‎ Mxl moved page File:GE Rapid Clean II (9-02).jpg to File:GE Rapid Clean II (9-09).jpg: Misspelled title current

3 January 2025

• 05:2405:24, 3 January 2025 diff hist +13‎ GE Rapid Clean II (seven-segment display font) ‎No edit summary
• 04:5304:53, 3 January 2025 diff hist 0‎ File:GE Rapid Clean II.otf ‎ Mxl uploaded a new version of File:GE Rapid Clean II.otf current
• 04:5204:52, 3 January 2025 diff hist −1,036‎ User:Mxl/Sandbox ‎ Blanked the page current Tag: Blanking
• 04:5104:51, 3 January 2025 diff hist 0‎ File:GE Rapid Clean II Proof.svg ‎ Mxl uploaded a new version of File:GE Rapid Clean II Proof.svg current
• 04:5004:50, 3 January 2025 diff hist +68‎ GE Rapid Clean II (seven-segment display font) ‎No edit summary
• 02:4202:42, 3 January 2025 diff hist −8‎ GE Rapid Clean II (seven-segment display font) ‎No edit summary
• 02:4102:41, 3 January 2025 diff hist 0‎ User:Mxl/Sandbox ‎No edit summary
• 02:3102:31, 3 January 2025 diff hist −2‎ User:Mxl/Sandbox ‎No edit summary
• 02:3002:30, 3 January 2025 diff hist −132‎ User:Mxl/Sandbox ‎No edit summary Tag: Manual revert
• 01:2101:21, 3 January 2025 diff hist +5‎ User:Mxl/Sandbox ‎No edit summary Tag: Reverted
• 01:1901:19, 3 January 2025 diff hist +11‎ User:Mxl/Sandbox ‎No edit summary Tag: Reverted
• 01:1701:17, 3 January 2025 diff hist +42‎ User:Mxl/Sandbox ‎No edit summary Tag: Reverted
• 01:0901:09, 3 January 2025 diff hist +74‎ User:Mxl/Sandbox ‎No edit summary Tag: Reverted
• 00:4700:47, 3 January 2025 diff hist +1,038‎ N User:Mxl/Sandbox ‎ Created page with "upright|frame|right|alt=Preview of font showing digits 0 through 9, alphabet, and a collection of words.|Preview of GE Rapid Clean II font A digital recreation of the '''font''' used by the seven-segment display in the '''General Electric Rapid Clean II''' stove, which was installed in my mother's kitchen. First, the segment shapes were recreated in [https://solvespace.com SolveSpace]. The exported vector graphic was then imported i..."

2 January 2025

• 07:1707:17, 2 January 2025 diff hist +31‎ Main Page ‎No edit summary
• 07:1507:15, 2 January 2025 diff hist +202‎ Main Page ‎No edit summary
• 07:0607:06, 2 January 2025 diff hist +127‎ Category:Stickers ‎No edit summary current
• 07:0507:05, 2 January 2025 diff hist +8‎ File:Safetyears (with embedded text).svg ‎No edit summary current
• 07:0407:04, 2 January 2025 diff hist 0‎ File:Safetyears.svg ‎ Mxl uploaded a new version of File:Safetyears.svg current
• 06:5506:55, 2 January 2025 diff hist 0‎ File:Werbung.svg ‎ Mxl uploaded a new version of File:Werbung.svg current
• 06:5506:55, 2 January 2025 diff hist +45‎ File:Werbung.svg ‎No edit summary