Skip to content

Garden of Minds

A Garden of Zar's Minds

Menu
  • Home
  • Mind fragments
  • Thus Lives Zarathustra
  • Zar’s Ramblings
  • Research

Author: zariuq

Posted onSeptember 11, 2023September 11, 2023Blog

Replacing a gasket is like replacing a lightbulb

by zariuq

I recently moved into a cozy apartment in Prague that has various areas in need of some maintenance. I’ve had some really good memories there…

Read More
Posted onSeptember 11, 2023September 11, 2023Blog

Invariants and Personal Development

by zariuq

Let’s start with the concept of an invariant, that which doesn’t change, which appears in mathematics, the analysis of programming loops, physics, and linguistics. Now…

Read More
Posted onAugust 22, 2023September 5, 2023Blog

Formal Ethics Ontology Worklog 2

by zariuq

The first edition was quite long, so this time, I’m going to write as I go. It turns out that writing as I go becomes…

Read More
Posted onJuly 3, 2023December 8, 2023Blog

Why Much AI Ethics Lore is Highly Unethical

by zariuq

For the purposes of this article, I’ll adopt a traditional simple virtue-based rule-of-thumb to eyeball the morality of an entity or complex of behaviors: is…

Read More
Posted onJune 13, 2023June 15, 2023Blog

Formal Ethics Ontology Worklog 1

by zariuq

Preamble In Virtue Ethics Qua Learning Theory, I fleshed out the basic ethical principles, paradigms, and considerations in connection with (reinforcement) learning theory. My definition…

Read More
Posted onApril 7, 2023April 7, 2023Blog

Introducing the Social Media Garden

by zariuq

A long, long time ago in an era much before this one, I noticed that sometimes I’d write up quite lengthy, interesting, nuanced discussions on…

Read More
Posted onJanuary 11, 2023January 11, 2023Blog

New Year’s 2023:
Purpose, Themes, and Reflection

by zariuq

Happy New Year :- ). Some years have passed since a New Year’s Themes post. This year I redid Steve Pavlina’s Submersion course from Nov…

Read More
Posted onJune 22, 2022August 10, 2022Research

The Isabelle ENIGMA

by zariuq1 Comment on The Isabelle ENIGMA

I bet you can already guess that the topic of this research post and paper [official, slides] is to apply our ENIGMA work to the…

Read More
Posted onJune 7, 2022June 9, 2022Research

Parental Guidance

by zariuq2 Comments on Parental Guidance

Parental Guidance is the fulfillment of a research question that had been nagging me since the early days of my Automated Theorem Proving (ATP) research.…

Read More
Posted onJune 1, 2022June 22, 2022Research

A Graph Neural Network Over Mathematical Formulas

by zariuq2 Comments on A Graph Neural Network Over Mathematical Formulas

Note: the research this post discusses was not done by me. The hero is Miroslav Olšák and supporting researchers. He has a cute YouTube channel…

Read More

Posts navigation

Page 1 Page 2 … Page 9 Next Page

Recent Posts

  • Replacing a gasket is like replacing a lightbulb
  • Invariants and Personal Development
  • Formal Ethics Ontology Worklog 2
  • Why Much AI Ethics Lore is Highly Unethical
  • Formal Ethics Ontology Worklog 1

Goodreads

Recent books:

My Big TOE: Inner Workings
My Big Toe: Discovery
T is for Transformation
My Big TOE: Awakening
Science of Breath
The Oxygen Advantage: The Simple, Scientifically Proven Breathing Techniques for a Healthier, Slimmer, Faster, and Fitter You
The Eye of Revelation: The Original Five Tibetan Rites of Rejuvenation
Mahabharata: The Greatest Spiritual Epic of All Time
On the Social Contract


Zarathustra Goertzel's favorite books »

Categories

Archives

  • September 2023 (2)
  • August 2023 (1)
  • July 2023 (1)
  • June 2023 (1)
  • April 2023 (1)
  • January 2023 (1)
  • June 2022 (3)
  • May 2022 (2)
  • April 2022 (2)
  • March 2022 (2)
  • October 2021 (2)
  • August 2021 (2)
  • April 2021 (1)
  • December 2020 (1)
  • September 2020 (1)
  • May 2020 (1)
  • January 2020 (1)
  • December 2019 (1)
  • September 2019 (1)
  • July 2019 (1)
  • February 2019 (1)
  • June 2018 (8)
  • December 2017 (3)
  • July 2017 (1)
  • March 2017 (1)
  • December 2016 (3)
  • October 2016 (2)
  • September 2016 (1)
  • June 2016 (3)
  • May 2016 (2)
  • April 2016 (1)
  • February 2016 (2)
  • December 2015 (4)
  • September 2015 (1)
  • August 2015 (3)
  • June 2015 (1)
  • May 2015 (3)
  • April 2015 (1)
  • February 2015 (1)
  • January 2015 (1)
  • December 2014 (1)
  • October 2014 (1)
  • June 2014 (1)
  • May 2014 (2)
  • February 2014 (3)
  • January 2014 (3)
  • December 2013 (3)
  • September 2013 (2)
  • August 2013 (3)

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Amphibious Theme by TemplatePocket ⋅ Powered by WordPress