Pinned post


Hi everyone! :ThisIsFine:

I am a fourth-year PhD student in systems engineering. I love this engineering discipline and I want to apply it to systems that sustain life (livingry!).

My research is about developing the open tools and model-based architecture for a computing system that is trustworthy and serves the user.

Would love to meet others who recognize the social dangers of modern computing and want to discuss alternatives from first principles.

Peace! ✌️

incredible how the professor whose research goal is "to synthesize tools and algorithms to aid the development of reliable embedded and cyber-physical systems and devices, using techniques from formal methods" says my research is quite different from his interests and expertise.

Show thread

Design of Cyber-Physical Systems Using Macro-CAD: whole-lifecycle model-based systems engineering, architecture, simulation & analysis by integrating formal methods in a verifiable virtual machine

Hello. This is @stman new account on .

I will update my profile soon.

just found out my outside committee member has funded research associate positions available. his research is very close to my own though, so I hope I will make a strong appeal to hire me.

Read this morning:

An Open Letter to the Lead Authors of β€˜Protecting 30% of the Planet for Nature: Costs, Benefits and Implications.’


some pretty devastating feedback! - said the authors of that paper were trying to invent a new form of .

instead of grading papers this semester, I'll be co-authoring the class slides and writing the quizzes for a new course.

alright - I sent my paper draft to three professors at my university and a PhD student who can respond to ideas about social justice and climate change.

Show thread

so is it normal to not be able to find anyone who will read your paper drafts? including advisors, committee members, professors, friends, et al.

should I just pay someone to read my paper and give me feedback? like really...

SolarWinds: The more we learn, the worse it looks.

While you've been distracted by the holidays, coronavirus, and politics, the more we learn about the SolarWinds security fiasco, the worse it looks.

β–Ί Cyber-Chaos Ahead series :

Cyberattacks targeting healthcare organizations have spiked by 45% since November 2020 as COVID19 cases continue to increase globally.


Gotta endure a day of schoolwide Zoom "inservice" meetings. This means I'll be blasting Korean grindcore goodness from Jardim de Flores as antidote to the admins' treacly corporate-brain-stealing speak:

I should study Soviet design. Seems they built things to be repaired and maintained using common tools.

Am I wrong on that? Any recommendations?

Hi #scicomm fellows, just discovered this instance so I migrated here from nasqueron.

I'm a postdoc in #ComplexSystems, currently working in #ComputationalNeuroscience but in the process of reconversion towards #environmental issues.

Interested in #sustainability and #foss, #sf and #illustration, #japan and some more...


ELS2021 online is announced and the call for papers is out. Looking forward to it!! πŸ€©β€‹

#lisp @lisp @commonlisp @scheme

Re-posting & pinning my for any new folks:

Hi, I am an academic , information scientist, computer scientist, (theoretically) and amateur into:

/ ,
legal studies,
political theory & economics (MMT, etc),
, and
( and , etc).

I like music and ().

An if you will.

Show older
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administratorsβ€”anyone involved in academia who is willing to engage with others respectfully.