super_mario

If the screen were detachable and you get a giant 16'' ipad, I would consider it. I do not want touch interface on a laptop and will never buy this. I do want non-touch OLED screen though.

Dynamic island sounds like it will be huge distraction if animations will play there.

And somehow they managed to break Dock magnification (it stays magnified after you expand a folder in grid view and launch something from expanded folder until you hover over the dock again). Does no one use this at Apple.

I was in the same situation, I used maxed out 15'' M3 Max MacBook Pro docked to Studio Display closed on vertical stand behind the screen. It was fine for office work, but running local LLMs would definitely overheat it. The battery started degrading purely due to heat issues. And it was audible as well.

I decided to get Mac Studio M4 Max, also all maxed out config and the cooling is so much better that I can run local LLMs like Gemma 3/4, gpt-oss 120b all day long without any heat issues or any audible fan noise. So for my use case it was the right decision. I subsequently added 15'' M5 Max MacBook Pro all maxed out to my collection and even though it is slightly faster on LLM inference (I get 100 tokens/s with Gemma 4 27b model), you just can't run LLMs longer than a few minutes. It starts overheating and gets really loud.

I run gpt-oss 120b model on ollama (the model is about 65 GB on disk) with 128k context size (the model is super optimized and only uses 4.8 GB of additional RAM for KV cache at this context size) on M4 Max 128 GB RAM Mac Studio and I get 65 tokens/s.

Congratulations to Christian and all the contributors on another vim milestone. Thank you all. I am so thrilled to see vim development continuing.

As early vim (vi imitation) user on Amiga, I can't imagine living without it.

Coaching does not imply superiority. I doubt any sports coach could substitute any player in a competitive game, yet they can coach them to become better version of themselves.

What engineers usually struggle with as they grow into more senior roles is the transition from being primarily a technologist to being a leader. This is such a huge shift for a lot of engineers and requires soft skills and communication style adjustments. The more senior you are the more your focus shifts from coding to listening, networking, influencing, selling the technical vision, building trust relationships, understanding what other engineers need and want, to mentoring, to raising the quality of the team around you through influence to motivating others as well. Being able to influence the product direction, being able to express in business terms why something has to be done or should be a higher priority etc. Also, understanding the organization and becoming organizationally savvy is important.

All of these skills take time and practice to achieve, and good managers can guide their people through the journey.

In ZFC set theory, indexed family over a set (possibly uncountable or even bigger), is just syntactic sugar for a function.

So let's say you have a set U (possibly uncountable). To say let {u_i}, i in I (another set, possibly uncountable) is equivalent to asserting existence of function f:I -> U, such that f(i) = u_i. Note that this does not even require axiom of choice, since you are allowed to postulate that a function exists.

Of course if I is uncountable you can't list the elements of I, but that is not important in this case.

I prefer this test: "Imagine a ball resting on a table. A person walks up to the table and pushes the ball". Question for the test subject: "What will happen?"

Everyone answers correctly the ball will roll of the table and fall to the ground. But then ask them" "What was the color of the ball? What was the size of the ball? What was the gender of the person pushing the ball, what clothes were they wearing?"

People with aphantasia are usually stunned by the follow up questions. People who don't have aphantasia really have seen the table, the material its made of, imagined a ball of certain size/type color (e.g. multicolor beach ball, or basketball or what ever), and they saw an actual person pushing the ball, they saw the ball rolling on the table an falling to the ground and can answer details about their vision.

Brings back memories. Aztec C was my first C compiler on Amiga 500 way back in 1990. I learned C, I learned vi. Still have fond memories of those early days.

Can you please elaborate? How are you running ollama? I just build it from source and have written a shell script to start/stop it. It runs under my local user account (I should probably have its own user) and is of course not exposed outside localhost.

Ah, ok, that's a nasty bug/scenario. I long for the good old days one could just rsync the internal drive and bless it and you have a bootable clone, or make compressed disk image. Those were the days.

How did you end up with TM backup larger than original source? Sure, total storage consumed on TM drive can be larger than source, but that is because older versions of files are stored as well. But restoring most recent versions of files should be equal to source in size.

I view CAP theorem as statement about the universe we live in (information travels at speed of light, "instantaneous" is observer dependant etc), and not as a consequence of information theoretic definitions we chose to adopt (strength of consistency or availability). Yes, when stated simplistically (you have 3 properties C, A, P choose 2) can be extremely misleading, since you can't really choose P, you can only decide what to do in case of P. But like any mathematical theorem one has to understand the preconditions when the theorem applies, understand the various computing model assumptions etc. to actually use it.

Notwithstanding, I still find it very useful as a general guide when designing distributed systems.

As fellow mathematician tutoring my son I found all of the articles incredibly useful. Thank you for writing them and making them freely accessible. Awesome work.