(some of these are things that I thought & read about a lot already, others are more of a "I should do more here" thing… talk to me to find out which ones are which)
DMs here should work, you can also reach me on Discord as nobody2342 or on Telegram as @locally_cartesian. (Or ask for Matrix or Signal.)
Programming & Computations
- dependently typed programming & formal software verification
- non-standard logics (mostly constructive so far, but looking into more)
- how types, programming and exploitation relate to each other
- metaheuristics / old-fashioned optimisation approaches
- alternative approaches to software versioning, towards (non-containerised) software still usable in 100+ years
I should also learn about the current de-facto standard way of writing software (docker, JS / Typescript, …) at some point…
- According to wiki.hackerspaces.org Berlin has 18 hackspaces (tho a good chunk seems inactive / planned only), I've been to 1/3 of them and plan to visit the rest. I've also regularly been in hackspaces for over 15 years.
Planning & Knowledge Management
- I'm basically running a hackspace at the moment. Don't really know a lot about planning etc., so throw valuable info my way!
- At some point I was using 5 tools to keep track of my plans and todos, one of them I made myself / am still working on. (The other tools are TaskWarrior, Complice, Obsidian and a calendar.) Currently I'm undecided between making a single "better" thing, or just waiting for LLMs to become usable locally with less knowledge / on worse hardware, and then let that figure out connections.
- things I cooked last week & what I should cook next week
- ways to make tasty food quickly, or with very low effort
Well-being & health
- dealing with chronic pain / body malfunctions
- relaxation / releasing tension
- autism problems (being overwhelmed by your surroundings and how to deal with that)
Weird Brain Philosophy Stuff
- What does reality feel like for you?
- What are the axioms of your experience?
- How do you shift your perception of reality?
Potential Future Interests
- Should I care more about EA?