KDE Plasma provides custom time formats: https://postimg.cc/sGXD8wqq. The time format documentation from that screenshot links to QT's formatDateTime function: https://doc.qt.io/archives/qt-5.15/qml-qtqml-qt.html#formatD...

That's a good one. Some people might like the "odds" based version of Bayes' theorem: https://betterexplained.com/articles/understanding-bayes-the...

I agree. In any large backend software running on a server, it's the LLM invocation which would be a call out to an external system, and with proper validation around the results. At which point, calling an "MCP Server" is also just your backend software invoking one more library/service based on inspecting some part of the response from the LLM.

This doesn't take away from the utility of MCP when it comes Claude Desktop and the likes!

Wouldn't the sweet spot for MCP be where the LLM is able to do most of the heavy lifting on its own (outputting some kind of structured or unstructured output), but needs a bit of external/dynamic data that it can't do without? The list of MCP servers/tools it can use should nail that external lookup in a (mostly) deterministic way.

This would work best if a human is the end consumer of this output, or will receive manual vetting eventually. I'm not sure I'd leave such a system running unsupervised in production ("the Automation at Scale" part mentioned by the OP).

Haha. But I thought Rich Hickey was making the simple point that don't intertwine things than can be kept separate!

P.S: For those wondering what this refers to, here is his talk: https://youtu.be/SxdOUGdseq4?t=1896

I second this (whisper.cpp). I've had a good experience running whisper.cpp locally. I wrote a Python wrapper for invoking its whisper-cli: https://github.com/pramodbiligiri/annotate-subs/blob/main/ge... (that repo's readme might have more details).

Mind you, this is from a few months back! Not sure if this is still the best approach ¯\_(ツ)_/¯

Past thread from 8 years ago: https://news.ycombinator.com/item?id=13487886 (179 comments)