Whilst SAT is NP-complete, I'm surprised to learn that 2-satisfiability can be solved with a linear algorithm: http://t.co/6oSPONVeoY
miniblog.
Related Posts
After further playing with my LLM project, I'm surprised how hard it is to tune with system prompts.
My agent kept saying "obviously" even though my prompt said "helpful, professional". Eventually I found that a "courteous" prompt gets "of course" which is better but not ideal.
I'm surprised by how many different weather forecasts I can get out different apps. Surely there aren't many API providers for weather predictions?
Alternative conspiracy theory: do weather apps that predict nicer weather get more downloads?
I made some changes to a node express project that I haven't touched in almost five years. I was pleasantly surprised that I only needed to update one dependency to get it working again!
(It was sqlite3, which is a native dependency using node-gyp.)