660 karma · joined February 26, 2023
But intentionally breaking my users runtime in a way that's really hard and annoying to find? Is the author OK? This reads like a madman to me.
The Demon-Haunted World: Science as a Candle in the Dark
by Carl Sagan
- Formally verifiable specs improve the absolute garbage that is LLM generated code to an acceptable degree.
- Realization: Providing formally verifiable specifications is actually a lot of work
- Light bulb: Oh, let's have the LLM generate formal specifications.
- Realization: Oh, actually those autogenerated specifications aren't correct
- Conclusion: We're back to square one.
There is a reason why most code is not formally verified. It's actually really hard (and in many cases arguably not worth it) to express what one would call "standard business logic" in formally verifiable terms.
The only thing I would consider solicited is when I decide that I want to see product information. Everything else is just some chapter from the narcissists prayer: "and if I did, it wasn't that bad"
You don't. Because you don't get to manipulate my attention. That simple.
Easy: provide informational material. I will fetch it if/when I'm interested. Don't stick it up my nose while I try to do something else
# Steps to interoperate with Messenger or WhatsApp
Note: Separate documentation and applications are required for Messenger and/or WhatsApp
Review: Review the Reference Offer, Developer Documentation Overview, and Application Guidelines above.
Apply: If you believe you qualify, complete the form that’s linked in the Application Guidelines.
Review: If you meet eligibility requirements, we will send you our detailed Developer Documentation under NDA for review of the detailed technical requirements for interoperating.
Sign: If you can fulfill the relevant terms and technical requirements set out in the Reference Offer and want to request interoperability, sign the Interoperability Agreement that we will provide to you.
Build: Start building interoperability.
Enable: Complete the milestones outlined in the detailed Developer Documentation to enable interoperability.
Launch: Work with Messenger and/or WhatsApp on a joint plan to launch interoperability.Supposedly the two apps "BirdyChat" and "Hiket" are WA compatible. Both are waitlist only.
Even after searching for ~15 minutes, I could find no information about how to become such a compatible provider.
I hope this situation will improve drastically, but it also looks like Meta will do whatever they can to make it as hard and annoying as possible, as they don't want to lose market share. Disappointing.
no, the other extreme of "crazy authoritarian" is "liberal democracy"
The other extreme of "no government at all" is "everything is run by the government"