| professional interests | compilers, software testing, fuzzing, formal verification, lowkey shitposting, mountains, deserts, cats |
| my page | https://john.regehr.org/ |
Penzeys makes “pico fruta” which you can think of as a nicer tajin for putting on fruit salad. today something else was in the spot where the pico fruta usually goes and the container is the same and A LOT came out and it was really hot and also the fenugreek-forward flavor didn’t work well on fruit 😐
alt: it’s “Ethiopian style pepper blend”
bro what
https://apnews.com/article/visa-chatgpt-openai-shopping-mastercard-d769dec86344cb4977c98789e8ec492f
Visa is embedding its payment network into ChatGPT, allowing the chatbot to shop and complete transactions for users. This collaboration enables ChatGPT to make purchases at any merchant accepting Visa, unlike previous attempts limited to specific retailers. OpenAI will provide the technology for decision-making and purchasing, while Visa ensures secure transactions. The companies haven't disclosed financial terms or fees. Concerns include potential overspending and unauthorized purchases, but Visa plans to implement safeguards like spending limits. This move could impact businesses, with AI agents authorized to procure items and handle invoicing. Mastercard is also developing AI-shopping features.
In 1971, my uncle George designed the HOME OF TOMORROW, and it can be yours for only $370k if you want to live in Duluth, MN and also the future!
btw playing with stuff like this in Lean is a joy
import Mathlib
example (x y : Real) : ¬ x >= y ↔ x < y := by
exact not_le
example (x y : Real) : ¬ x > y ↔ x <= y := by
exact not_lt
example (x y : Real) : x > y ↔ y < x := by
rfl
example (x y : Real) : x >= y ↔ y <= x := by
rfl
when negating an inequality, you flip the strictness:
!(x >= y) <=> x < y
!(x > y) <=> x <= y
but when simply flipping around an inequality, you don't:
x > y <=> y < x
x >= y <=> y <= x
why do I have to think about these every time, or else I mix them up???
Dan Ports
gayestluna