@adriandaub.bsky.social @moiradonegan.bsky.social loving the plagiarism episode (and the podcast in general)! One thing that Guttenberg does now is extremely funny/weird: he has a podcast with Gysi! gysi-gegen-guttenberg.podigee.io
Gysi gegen Guttenberg – Der Deutschland Podcast
Gregor Gysi und Karl-Theodor zu Guttenberg sind zwei der populärsten und streitbarsten (Ex-) Politiker der letzten 30 Jahre. In diesem Podcast, prallen ihre Gegensätze erstmals richtig aufeinander. Je...
gysi-gegen-guttenberg.podigee.io
![/-- Expr-based equality check. Receives `Lean.Expr` trees (via the
`derive_python` Reflect registration) and delegates conversion entirely
to Python's `lean_to_sympy` module. -/
@[python "sympy_expr_eq_accept"]
def sympyExprEqAccept (lhs rhs : Lean.Expr) : IO Bool := do
init ()
let mod ← import_ "lean_to_sympy"
let checkFn ← mod.getAttr "sympy_eq_check"
let convFn ← mod.getAttr "expr_to_sympy"
let lhsSy ← convFn.call #[← Py.ofLeanObj lhs]
let rhsSy ← convFn.call #[← Py.ofLeanObj rhs]
(← checkFn.call #[lhsSy, rhsSy]).toBool](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreidjowsbwstojoc67hyrxgolgekqqduzv5afwd3wfrg4sr4lqvhpgm)
![def runDemo : IO Unit := do
IO.println "demo_run:"
let a <- NDArray.ones .f64 [3, 4]
let b <- NDArray.ones .f64 [4, 2]
let c <- NDArray.matmul a b
let d <- NDArray.reshape c [6]
IO.println s!" {<- d.repr}"
#eval runDemo](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:i32jjsch6xqcguzsf2lgbfyu/bafkreieycwm352l4xweu5jzffnk54j255nqexcepx3mqnuhs37amap3kra)
