ocramz, 21 days ago to ShinMegamiTensei

lfg #smt #formalmethods #haskell

thevglibrary, 2 months ago to Persona

Today marks the release of the #Persona5Royal Official Design Works in Japan! ❤️

A ton of behind the scenes commentary and some interviews in this one - so if you're a #P5R fan - check it out!

#Persona #Persona5 #SMT #MegaTen #ShinMegamiTensei #MegamiTensei #P5 #Atlus #PSTUDIO #VideoGame #ArtBook #Book #Books #Bookstodon @bookstodon #Artwork #Artist #VideoGames #Gamer #Gaming #Games #RPG #JRPG

https://www.thevideogamelibrary.org/book/persona-5-royal-official-design-works

itnewsbot, 6 months ago to test

This Pogo Pin Test Fixture Keep Your SMDs from Taking Flight - There’s no denying how useful surface mount technology is, and how enabling the ab... - https://hackaday.com/2023/12/05/this-pogo-pin-test-fixture-keep-your-smds-from-taking-flight/ #surfacemount #testficture #toolhacks #pogopins #test #lcr #smd #smt

savegondor, 8 months ago to Seattle

#seattle #smt #fog #dirtywindow

itnewsbot, 10 months ago to ShinMegamiTensei

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

WolfOfCelestia, 11 months ago to granbluefantasy

Re #introduction now that I’m on a better server

My main fandoms are #toukenranbu and #granbluefantasy but I’m also into the #shinmegamitensei #smt series (#persona included) and #fireemblemthreehouses

I am also always looking for more #joseimuke and #otome that catch my eye (but mainly my ears)

My favourite #videogames genre is #jrpg. I am going through some of my library’s catalogue of switch games so I may post about it here. Currently playing touken ranbu warriors and #smtv

I occasionally write fics when I find the inspiration and the link to my ao3 account is on my profile. I like cute things and horror so those two might intermix frequently

I’m always open to ideas that are related to my interests so feel free to toss them at me

I hope we can get along :ablobcatwave:

Jose_A_Alonso, 1 year ago to random

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