Hey onXmaps, could you publish the off-road app on the Canadian App Store? I want to use it to plan a trip in WA but cannot get it

Do I know anyone that owns and backpacks with a zenbivy light bed? Any good? How small does it pack?

Now that yearly planning is behind us (yay) we have an update on the SAM CLI roadmap here (github.com/aws/aws-sam-cl…). I am super excited about the stuff we are building! Let me know your thoughts :)

Seriously flair airlines, no USB chargers on a 5 hour flight in 2023? I know the flight was cheap but damn!

I love my #KTM 890 adventure R, but every time something breaks or goes wrong, the bike is parked for weeks or months as spare parts are impossible to find. It's time to solve this situation for North America KTM Canada KTM North America

So... no international wires with IBAN, cannot deposit USD checks (computer says no), 2 weeks of money unavailable converting currencies. It was easier to bank in Africa than in Canada. Is it TD (Canada) that sucks or is it banking in Canada in general that is stuck in the 1960s?

One of these KTM Canada nights. Tomorrow I’ll get to the radiator and the damn leaking hose. Funny thing is that it seems to leak only when I don’t use the bike for a few days - does not leak the days I use it 🙃

Automated Reasoning checks combine LLMs and SAT solvers to provide a combination of simplicity, flexibility, and mathematical certainty that's can't be achieved with either approach alone. Can't wait to see what customers build with this.

I’ll be on #AWSonAir today discussing how Automated Reasoning checks uses neurosymbolic framework to validate correctness in AI systems. Join us!

Create configurable safeguards with Automated Reasoning checks in #AmazonBedrock Guardrails 🚀🛠️🛡️ In this new hands-on workshop, learn to create policies, validate outputs & mitigate hallucinations with Automated Reasoning checks. #AWS #generativeAI 👉 go.aws/3K0xH45

What makes machine-based reasoning so hard to get right? 💡🧠🎯 Amazon VP & Distinguished Scientist Byron Cook shares 3 top challenges & how #AWS is tackling them with Automated Reasoning checks in #AmazonBedrock Guardrails. #ResponsibleAI 👉 go.aws/4mZCJeX

Can #generativeAI be powerful & provably verified? 🎯💪💡 Automated Reasoning checks in #AmazonBedrock Guardrails delivers up to 99% verification accuracy & provides auditable proofs for why the response is accurate. #responsibleAI 👉 go.aws/4ojgVwn

Apply rigorous guardrails to help mitigate factual inaccuracies 🔒⚡🎯 With Automated Reasoning checks in #AmazonBedrock Guardrails, you can validate outputs against encoded business rules with results that provide mathematical certainty. #AWS 👉 go.aws/43oe7px

Speed up Automated Reasoning policy validation with conversational refinement ⚡👻🔍 Use Kiro CLI to ask questions about your policies, understand behavior & address issues. #AWS #AmazonBedrock #generativeAI Kiro 👉 go.aws/4aetXan

Get in touch and let us know how this approach works for you!

What if your chatbot could explain its reasoning with mathematical proof? 💡🔐📐 Follow this reference to use Automated Reasoning checks to iterate on chatbot responses with precise answers & verifiable proofs. #AWS #AutomatedReasoning #AmazonBedrock 👉 go.aws/4aot0us