Matthias Geihs π
@matthiasgeihs
Followers
71
Following
128
Media
38
Statuses
458
Observations, opinionsβ¦
Joined August 2017
@Apple Rebooting once in Safe Mode magically fixes it.
0
0
0
@Apple Turns out Spotlight was broken after upgrading to macOS 26. Apparently this is a well known problem. How can something so fundamental as Spotlight break after a system upgrade? π€¦ββοΈ
1
0
0
I remember it worked very well for me in 2011, but seems to have only degraded since then.
0
0
0
Holy shit. Why is Spotlight so dumb? @Apple It doesn't even find files in my Downloads folder π€¦ββοΈ
2
0
0
What the heck, why does my public profile show as if I haven't posted anything yet? (when viewed without being logged in) @x
0
0
1
Incredible how much better Windsurf than Cursor is. Just discovered that Windsurf automatically generates property and function docs for items that don't have docs yet (in TypeScript). It's so good, I didn't even notice that it's AI generated. I was first assuming all of these
0
0
1
"Towards general-purpose program obfuscation via local mixing". How can we cryptographically hide the code of a program while still being able to execute it? This talk proposes an approach to realizing program obfuscation based on principles from thermodynamics.
0
0
1
Tab completion in Windsurf is simply better than in Cursor!
0
0
2
"Crowds on Demand is your home for impactful advocacy campaigns, demonstrations, PR stunts,Β crowds for hireΒ and corporate events. Services available nationwide."
0
0
0
It's true that posts with links get downranked by the algorithm, right?
0
0
0
I've coded up an AI-based news aggregator. It reads 50+ news feeds, synthesizes them into overarching stories, and attaches AI-generated images next to them. After some trial and error, I think it's now in a decent spot and worth having a look at. https://t.co/CUjvUlimwk
1
0
1
General idea for training reasoning models: Pretrain a model. Give it a complicated task with a verifiable solution. Ask it do iteratively solve the problem. Repeat many times. Filter out the responses that arrive at the correct solution. And finetune the model on these. Does
0
0
1
What does it mean concretely? Async transactions? Interop standards? ...
0
0
1
Ethereum needs to focus on clean interoperability between all Ethereum chains.
1
0
1
Why canβt we have employment contracts in digital form in Germany?
0
0
1
is missing zeroization an actual real world problem? or is it just something that researchers and auditors like to point out? any real world incidents because of this?
0
0
0
Government is easy: just make people happy. What do people want? - good economy - freedom - safety
0
0
0