If you, like many, think relying just on `cat` command's output is enough to be sure about the integrity of a bash file. Think twice, you could get hacked. Read below 👇
Trying to come up with analogy to explain #xzbackdoor to my mom. Best I’ve come up with so far:
Imagine a grizzled, tired, old oil pipeline maintainer was approached by a plucky young kid who was new to the small town the oil pipeline passed through. Slowly, over years, the kid gained the old guy’s trust and did more of the critical work of keeping the pipe well maintained, often without the grizzled veteran checking too carefully.
Most the work was actually helpful, but unbeknownst to anyone, once he had unfettered access the kid sprinkled nearly undetectable explosives into the flow of oil that would only detonate when they were turned into gasoline that ran in the vehicles that made up the Presidential motorcade.
It would have been the perfect way to get away with assassinating the President but a random Prius owner, who hyper optimized his car’s performance, noticed the gas he was getting was slightly less performant so analyzed its makeup and traced the explosive back to the source, foiling the kid’s plan.
Don’t love it, and resulted in lots of questions around how such explosives would actually work and survive the refining process, but best I’ve come up with.
Any better suggestions?
AlphaGeometry is a system made up of 2️⃣ parts:
🔵 A neural language model, which can predict useful geometry constructions to solve problems
🔵 A symbolic deduction engine, which uses logical rules to deduce conclusions
Both work together to find proofs for complex geometry theorems.
Kind of funny how I got my best rating on Codeforces after a year of barely practicing
Kind of makes me want to get back to doing more, but I probably won't have as much luck in future rounds
https://t.co/tnyS2O8UxV
Screencast: https://t.co/wGlr6tdQCD