Apparently #atlus just released all the #SMT soundtracks on Spotify. That's cool! I might be getting some new copyright claims on old videos!

After years, I've finally gone back and beat this jerk. Not surprising that after 150+ hours of fusing and grinding, he was a pushover. #smt #strangejourney #superboss

#smt #真女神転生 hand of god

Going live again with more Majin Tensei. I've finally reached the second half of the game!

https://twitch.tv/rotomola
#twitch #streaming #megaten #smt

EduSAT: A pedagogical tool for theory and applications of boolean satisfiability. ~ Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson. https://arxiv.org/abs/2308.07890 #Logic #SAT_Solver #SMT

I'm back with more Majin Tensei today! There's a big looming tower ahead of me. Can I make it to the underworld?

https://twitch.tv/rotomola
#twitch #streaming #smt #megaten

I’d just like to interject for a moment. What you’re refering to as Persona, is in fact, SMT/Persona, or as I’ve recently taken to calling it, SMT plus Persona. Persona is not a video game franchise unto itself, but rather another expensive spin-off of a fully fleshed-out SMT setting made coherent by the SMT lore, demons and magic system comprising a full video game franchise as defined by Atlus.

#SMT #ShinMegamiTensei #Persona

I'm streaming, and it's Majin Tensei again! Hey, I actually remembered to announce it this time!

https://twitch.tv/rotomola
#twitch #streaming #smt #megaten

Pixel Pump, the Open Source Vacuum Pickup Tool is Now Shipping - The Pixel Pump is an open source manual pick & place assist tool by [Robin Rei... - https://hackaday.com/2023/08/01/pixel-pump-the-open-source-vacuum-pickup-tool-is-now-shipping/ #desktopmanufacturing #crowdfunding #pickandplace #vacuumpickup #toolhacks #pixelpump #assembly #smd #smt

Which RPG would you consider the best video game to come out in recent history?

#jrpg #smt #rpg #honkai #honkaistarrail #gaming

A DPLL(T) framework for verifying deep neural networks. ~ Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew Dwyer. https://arxiv.org/abs/2307.10266 #NeuralNetwork #SMT #SAT

I'm back to streaming Majin Tensei, the SMT tactics game that came before Devil Survivor! (Actually I forgot to announce it last time, sorry! :blobcatNotLikeThis: )

https://twitch.tv/rotomola
#twitch #streaming #megaten #smt

An interactive SMT tactic in Coq using abductive reasoning. ~ Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark Barrett. https://easychair.org/publications/open/lNvq #ITP #Coq #SMT

Propositional model counting (#SAT) can be solved efficiently when the input formula is in deterministic decomposable negation normal form (d-DNNF). Translating an arbitrary formula into a representation that allows inference tasks, such as counting, to be performed efficiently, is called knowledge compilation. Top-down knowledge compilation is a state-of-the-art technique for solving #SAT problems that leverages the traces of exhaustive DPLL search to obtain d-DNNF representations. While knowledge compilation is well studied for propositional approaches, knowledge compilation for the (quantifier free) counting modulo theory setting (#SMT) has been studied to a much lesser degree. In this paper, we discuss compilation strategies for #SMT. We specifically advocate for a top-down compiler based on the traces of exhaustive DPLL(T) search.
[https://arxiv.org/abs/2306.04541v1]

SimpleX 1
Ich 0

Bin eben daran gescheitert einen SMT-Server aufzusetzen.
Dann versuche ich es ein anderes mal erneut.

#SMT-Server #SimpleX #Relais #Server

I released my Nahobino Plush avatar (based on the Stubbins Plush in the Atlus store) and its obtainable in my Velvet Chill Room map. You can view a video showing the avatar here with the World ID in the description.
#smtv #smt #nahobino #shinmegamitensei #avatars #vrc #vrchat #vrchatavatar #arjvrc
https://www.youtube.com/watch?v=5r3Fi_t3aVM

Atlus Korea had a few local artists create commemorative art for the SMT 30th anniversary, featuring SMTV. This art of Nahobino and Nuwa is my favorite
#shinmegamitensei #smtv #atlus #smt #gaming #nahobino

Anyone using Kick? I'm streaming on Kick four days a week, playing Dark Souls, Shin Megami Tensei III, Monster Hunter Rise, and Resident Evil 7 https://kick.com/voidmoney #kickstreamer #kickstreaming #mhr #monsterhunter #smt

SMT3 Nocturne HD

Let's keep going

https://twitch.tv/absnerdity

#Twitch #Streaming #PS2 #SMT #NintendoSwitch

Atlus is sharing cosplay guides for various iconic characters, starting with the Demifiend from #shinmegamitensei3
All I can think of is when Kaneko said he was inspired by the Red Hot Chili Peppers when designing the character, in this interview
https://web.archive.org/web/20150604030650/http://www.1up.com/features/shin-megami-tensei-nocturne
#smt #smt3 #shinmegamitensei #atlus #demifiend #gaming