__nobody

Karma: 247

Nobody’s Conversation Menu

(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)
LANGSEC
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…

Community

According to wiki.hackerspaces.org Berlin has 18 hackspaces (tho a good chunk seems inactive / planned only), I’ve been to ¹⁄₃ 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.

Food

things I cooked last week & what I should cook next week
ways to make tasty food quickly, or with very low effort
fermentation

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)