I'm a bit disappointed with #SMTVVengence. I really liked the original and I guess I was expecting Vengence to be more like a new game. After finishing the first area, not much changed (except it seems to be much easier or I am just awesome).
I'll paddle through anyway probably, but I refuse to do the miniman hide and seek thing again though.
Knuckledragger: A low barrier proof assistant. ~ Philip Zucker. https://github.com/philzook58/knuckledragger #ITP #SMT #Z3 #Python
Stronger SMT solvers for proof assistants (Proofs, quantifier simplification, strategy schedules). ~ Hans-Jörg Schurr. https://schurr.io/pubs/phd-thesis.pdf #ATP #SMT #ITP #IsabelleHOL
madame ginko, soul hackers trans icon
Did you know? The first Shin Megami Tensei game was shot on the set of Severance.
Readings shared April 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25 #AI #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #SMT #Z3
Индустрия 5.0 на productronica 2025 в Шанхае
На прошлой неделе с 26 по 28 марта в Шанхае прошла традиционная выставка PRODUCTRONICA. Более 1000 передовых предприятий из Китая и всего мира приняли участие в выставке электронного производственного оборудования. По мнению многих участников и организаторов, то, что было представлено на выставке, напрямую повлияет на трансформацию и технологический переход электронной интеллектуальной обрабатывающей промышленности в текущем и ближайшем периоде. Здесь на площади 8ми павильонов почти на 100 000 кв.м. была сосредоточена вся “техническая плотность” мирового электронного производства.
A small Prolog on the Z3 AST. ~ Philip Zucker. https://www.philipzucker.com/knuck_prolog/ #Prolog #LogicProgramming #Z3 #SMT
#RAIDOURemasteredTheMysteryOfTheSoullessArmy seems like it’ll be great.
I’m a huge fan of the #SMT series. These types of JRPGs are great on hybrids like #NintendoSwitch.
Oh yeah, should also mention the Demon Summoner: Raidou Kuzunoha remaster they also announced on the Nintendo Direct. This was in my secret wishlist, and it's coming this summer!
Limited Run are handling the physical release, so I might have to consider preordering that.
It's such a pleasure to work with great equipment. Askania SMT4 microscope, Leica Flexacam C5, Robin's tools pixelpump, SIS Licht Maschinenleuchte. PCB by AISLER.
@aislerhq @leicamicrosystems @robin1337
#Askania #smd #smt #soldering #rework #tools #microscopy #pixelpump #leica
#MadeinEU #madeingermany
A hundred pull requests for Liquid Haskell. ~ Facundo Domínguez. https://www.tweag.io/blog/2025-03-20-lh-release/ #Liquid #Haskell #FunctionalProgramming #SMT
Lessons learned with the Z3 SAT/SMT solver. ~ John D. Cook. https://www.johndcook.com/blog/2025/03/17/lessons-learned-with-the-z3-sat-smt-solver #SMT #Z3
Knuth Bendix solver on Z3 AST. ~ Philip Zucker. https://www.philipzucker.com/knuth_bendix_knuck/ #SMT #Z3
SMT Remains Very Advantageous For #Zen5 #AMD #EPYC Performance
#SMT typically was of measurable benefit to the 5th Gen AMD EPYC processor with the exception of some #HPC workloads that perform better with SMT disabled or otherwise limited by memory bandwidth. SMT also hurt the OpenVINO inference latency but by and large Simultaneous Multi-Threading remains an important and valuable feature for AMD processors.
https://www.phoronix.com/review/amd-epyc-zen5-smt
vanta rainbow black 
