From 74bad3d624e77cca69ad59f8fcc606d97b5c8f35 Mon Sep 17 00:00:00 2001 From: cb341 Date: Sun, 6 Sep 2026 12:10:06 +0200 Subject: [PATCH 1/3] Update about page --- pages/about.md | 69 +++++++++++++++++++++++++++++++++++++------------- 1 file changed, 51 insertions(+), 18 deletions(-) diff --git a/pages/about.md b/pages/about.md index 9c53d82..264ea36 100644 --- a/pages/about.md +++ b/pages/about.md @@ -4,35 +4,68 @@ description: "Learn about Dani Bengl, a full-stack software developer specializi permalink: /about/ --- -# About Me +# Who Am I? -Illustrated avatar of Dani wearing glasses and making a peace sign +Catto Dani wearing glasses and making a peace sign -I'm a queer developer [(it/its)](https://en.pronouns.page/@cb341) working at [Renuo](https://www.renuo.ch/), Software on Rails as a service, while studying Computer Science (BSc) at [ZHAW](https://www.zhaw.ch/) School of Engineering, currently in my second year. Check out my [setup](/uses/), [TIL](/til/), and [how to approach me](/how-to-approach/). +a silly queer cat [(it/its)](https://en.pronouns.page/@cb341) that gets way too into things :P -I tend to get very into specific things, and I'd like to eventually work my way toward a PhD. One day I'll have a classroom-sized blackboard in my apartment. -I live in the terminal and like software that does one thing well. No unnecessary abstractions. [KISS](https://en.wikipedia.org/wiki/KISS_principle). I just want things to work. The web is a mess and software has gotten bloated, over-engineered, and slow. I'd rather go back to Rails and a terminal than deal with another layer of indirection. +i study computer science (BSC) at [ZHAW](https://www.zhaw.ch/) school of engineering, currently in my third year, there i am also TA for the theory of computation. -I live by open source and have little patience for corporate software culture. +this semester i am also studying proof based abstract linear algebra through the [Akademiestudium at FernUniversität in Hagen](https://www.fernuni-hagen.de/mi/studium/akademiestudium.shtml). -READ THE DOCS. +outside my degree, most of my time goes into mathematics, logic, and philosophy. -I love Rust and use it for personal projects, hoping to work on a real production codebase with it someday. Most of my free time goes into building things, or learning about building things. I want to understand the world around me. It takes time. +**currently**: proofs, abstract linear algebra, lean, mathematical foundations, metaphysics, papers, books, and whatever rabbit hole takes over next. -> "You don't change VIM, VIM changes YOU" -- [Interview with a VIM Enthusiast](https://www.youtube.com/watch?v=9n1dtmzqnCU) +i still enjoy building CRUD-y web apps at [Renuo](https://renuo.ch). i just spend much less of my free time building software than i used to. -If you're not an engineer or mathematician, don't expect us to get along. Ask me about Ruby symbols or my favourite parts of IEEE 754, not how the weather's been. +i like people who say what they mean, show their sources, and ask the actual question. [calling bullshit](https://callingbullshit.org/) and [no hello](https://nohello.net/en/) get the idea. -I am trying to make the world a better place. +somewhere along the way, all of this turned into wanting a phd. still figuring out what in. + +one day i will have a classroom sized blackboard in my apartment :3 + +## Software + +i like things simple and stupid ([KISS](https://en.wikipedia.org/wiki/KISS_principle)). + +RoR. terminals. plain text. tools that do one thing well. +ASM is probably my favourite language for its stupidity. Ruby for readability. Rust for making assumptions into rules. + +software has gotten bloated, over engineered, and slow. +i don't want another abstraction unless it earns its keep. + +i endorse open source. + +READ THE DOCS! + +why CSS?! why can't we just use TXT. +> "you don't change vim, vim changes you" -- [interview with a vim enthusiast](https://www.youtube.com/watch?v=9n1dtmzqnCU) + +## The Stack + +i'd like to eventually understand a decent chunk of the whole computational stack: + +interfaces and how people use them, browsers, renderers, languages, runtimes, operating systems, kernels, architecture, instructions, computation, logic gates, electricity, quantum mechanics. + +mathematics as the universal language, logic and meaning borrowed from philosophy. + +## Lately + +most of my personal projects used to involve building something. +voxel engines, graphics, rails apps, rust, CPUs, random tools. +building software has become much cheaper with AI. + +so more of my free time now goes into reading, proofs, Lean, mathematics, philosophy, and writing. i still build things. just less for the sake of having built another thing. --- -- Borrowing the neighbor's cat -- Learning chess, mostly blundering my way to a chaotic checkmate -- Occasionally losing an afternoon to factory games -- Obsessed with how notation, grammar, naming, punctuation, and type systems serialize thought. -- Fluent in English, German, Czech, and Math. French only if you force me. -- Very busy. Please be patient with my response. +* obsessed with notation, grammar, naming, punctuation, and type systems +* fluent in english, german, czech, and math. french only if you force me +* reading papers and playing around with logic +* very busy. please be patient with my response +* still planning on that blackboard -Inspired by [motherfuckingwebsite.com](https://motherfuckingwebsite.com/). +page inspired by [motherfuckingwebsite.com](https://motherfuckingwebsite.com/). From ad13c6a213499ddd58677b2540edce2b21f93e6c Mon Sep 17 00:00:00 2001 From: cb341 Date: Sun, 6 Sep 2026 12:17:42 +0200 Subject: [PATCH 2/3] Fix capitalization --- pages/about.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/pages/about.md b/pages/about.md index 264ea36..6c51725 100644 --- a/pages/about.md +++ b/pages/about.md @@ -11,21 +11,21 @@ permalink: /about/ a silly queer cat [(it/its)](https://en.pronouns.page/@cb341) that gets way too into things :P -i study computer science (BSC) at [ZHAW](https://www.zhaw.ch/) school of engineering, currently in my third year, there i am also TA for the theory of computation. +i study computer science (BSc) at [ZHAW](https://www.zhaw.ch/) school of engineering, currently in my third year there i am also TA for the theory of computation. -this semester i am also studying proof based abstract linear algebra through the [Akademiestudium at FernUniversität in Hagen](https://www.fernuni-hagen.de/mi/studium/akademiestudium.shtml). +this semester i am also studying proof-based abstract linear algebra through the [Akademiestudium at FernUniversität in Hagen](https://www.fernuni-hagen.de/mi/studium/akademiestudium.shtml). outside my degree, most of my time goes into mathematics, logic, and philosophy. -**currently**: proofs, abstract linear algebra, lean, mathematical foundations, metaphysics, papers, books, and whatever rabbit hole takes over next. +**currently**: proofs, abstract linear algebra, Lean, mathematical foundations, metaphysics, papers, books, and whatever rabbit hole takes over next. i still enjoy building CRUD-y web apps at [Renuo](https://renuo.ch). i just spend much less of my free time building software than i used to. i like people who say what they mean, show their sources, and ask the actual question. [calling bullshit](https://callingbullshit.org/) and [no hello](https://nohello.net/en/) get the idea. -somewhere along the way, all of this turned into wanting a phd. still figuring out what in. +somewhere along the way, all of this turned into wanting a PhD. still figuring out what in. -one day i will have a classroom sized blackboard in my apartment :3 +one day i will have a classroom-sized blackboard in my apartment :3 ## Software @@ -34,14 +34,14 @@ i like things simple and stupid ([KISS](https://en.wikipedia.org/wiki/KISS_princ RoR. terminals. plain text. tools that do one thing well. ASM is probably my favourite language for its stupidity. Ruby for readability. Rust for making assumptions into rules. -software has gotten bloated, over engineered, and slow. +software has gotten bloated, over-engineered, and slow. i don't want another abstraction unless it earns its keep. i endorse open source. READ THE DOCS! -why CSS?! why can't we just use TXT. +why CSS?! why can't we just use TXT?! > "you don't change vim, vim changes you" -- [interview with a vim enthusiast](https://www.youtube.com/watch?v=9n1dtmzqnCU) ## The Stack @@ -55,7 +55,7 @@ mathematics as the universal language, logic and meaning borrowed from philosoph ## Lately most of my personal projects used to involve building something. -voxel engines, graphics, rails apps, rust, CPUs, random tools. +voxel engines, graphics, Rails apps, rust, CPUs, random tools. building software has become much cheaper with AI. so more of my free time now goes into reading, proofs, Lean, mathematics, philosophy, and writing. i still build things. just less for the sake of having built another thing. @@ -63,7 +63,7 @@ so more of my free time now goes into reading, proofs, Lean, mathematics, philos --- * obsessed with notation, grammar, naming, punctuation, and type systems -* fluent in english, german, czech, and math. french only if you force me +* fluent in English, German, Czech, and math. French only if you force me * reading papers and playing around with logic * very busy. please be patient with my response * still planning on that blackboard From 80deb3f6183e3929d9dd64261c42f12f599fb170 Mon Sep 17 00:00:00 2001 From: cb341 Date: Sun, 6 Sep 2026 12:53:47 +0200 Subject: [PATCH 3/3] Polish --- pages/about.md | 30 ++++++++++++++---------------- 1 file changed, 14 insertions(+), 16 deletions(-) diff --git a/pages/about.md b/pages/about.md index 6c51725..4bd0544 100644 --- a/pages/about.md +++ b/pages/about.md @@ -1,6 +1,6 @@ --- title: "About" -description: "Learn about Dani Bengl, a full-stack software developer specializing in Ruby on Rails, web development, and computer graphics. Currently studying at ZHAW." +description: "Dani Bengl: computer science student at ZHAW, TA for theory of computation, writing about proofs, logic, and software." permalink: /about/ --- @@ -10,20 +10,17 @@ permalink: /about/ a silly queer cat [(it/its)](https://en.pronouns.page/@cb341) that gets way too into things :P +i study computer science (BSc) at [ZHAW](https://www.zhaw.ch/) school of engineering, currently in my third year, where i am also TA for theory of computation. -i study computer science (BSc) at [ZHAW](https://www.zhaw.ch/) school of engineering, currently in my third year there i am also TA for the theory of computation. +this semester i am also doing proof based [linear algebra (61112)](https://www.fernuni-hagen.de/mi/studium/module/lin_alg.shtml) through the [Akademiestudium at FernUniversität in Hagen](https://www.fernuni-hagen.de/mi/studium/akademiestudium.shtml). jordan normal form and the spectral theorem, not matrix arithmetic. -this semester i am also studying proof-based abstract linear algebra through the [Akademiestudium at FernUniversität in Hagen](https://www.fernuni-hagen.de/mi/studium/akademiestudium.shtml). +**currently**: proofs, Lean, mathematical foundations, metaphysics, papers, books, and whatever rabbit hole takes over next. -outside my degree, most of my time goes into mathematics, logic, and philosophy. +i still enjoy building CRUD apps at [Renuo](https://renuo.ch). -**currently**: proofs, abstract linear algebra, Lean, mathematical foundations, metaphysics, papers, books, and whatever rabbit hole takes over next. +i like people who say what they mean, show their sources, and ask the actual question. [calling bullshit](https://callingbullshit.org/) and [no hello](https://nohello.net/en/) make the point better than i can. -i still enjoy building CRUD-y web apps at [Renuo](https://renuo.ch). i just spend much less of my free time building software than i used to. - -i like people who say what they mean, show their sources, and ask the actual question. [calling bullshit](https://callingbullshit.org/) and [no hello](https://nohello.net/en/) get the idea. - -somewhere along the way, all of this turned into wanting a PhD. still figuring out what in. +somewhere along the way, i'ld like to be a PhD. still figuring out what in. one day i will have a classroom-sized blackboard in my apartment :3 @@ -31,8 +28,8 @@ one day i will have a classroom-sized blackboard in my apartment :3 i like things simple and stupid ([KISS](https://en.wikipedia.org/wiki/KISS_principle)). -RoR. terminals. plain text. tools that do one thing well. -ASM is probably my favourite language for its stupidity. Ruby for readability. Rust for making assumptions into rules. +Rails. terminals. plain text. tools that do one thing well. +i like ASM for its stupidity, Ruby for readability, and Rust for making assumptions into rules. software has gotten bloated, over-engineered, and slow. i don't want another abstraction unless it earns its keep. @@ -41,21 +38,22 @@ i endorse open source. READ THE DOCS! -why CSS?! why can't we just use TXT?! -> "you don't change vim, vim changes you" -- [interview with a vim enthusiast](https://www.youtube.com/watch?v=9n1dtmzqnCU) +can we go away from form over function? + +> "you don't change vim, vim changes you" — [interview with a vim enthusiast](https://www.youtube.com/watch?v=9n1dtmzqnCU) ## The Stack i'd like to eventually understand a decent chunk of the whole computational stack: -interfaces and how people use them, browsers, renderers, languages, runtimes, operating systems, kernels, architecture, instructions, computation, logic gates, electricity, quantum mechanics. +interfaces and how people use them, browsers, renderers, languages, runtimes, operating systems, kernels, architecture, instructions, logic gates, transistors, electricity, quantum mechanics. mathematics as the universal language, logic and meaning borrowed from philosophy. ## Lately most of my personal projects used to involve building something. -voxel engines, graphics, Rails apps, rust, CPUs, random tools. +voxel engines, graphics, Rails apps, Rust, CPUs, random tools. building software has become much cheaper with AI. so more of my free time now goes into reading, proofs, Lean, mathematics, philosophy, and writing. i still build things. just less for the sake of having built another thing.