Skip to content

The Foretellix CTO Blog – AI safety

Now focusing on AI safety (autonomy-related posts go to the company blog)

  • Home
  • About
    • Privacy Policy
    • Terms of Use
  • Why this blog
  • Terminology
  • Topics
  • All posts
  • Company blog

Month: May 2018

What I have been doing lately

May 24, 2018

Summary: This short post explains why I have not been posting, talks a bit about the upcoming Stuttgart symposium, and discusses the ecosystem I have not been blogging much lately (though I have been learning lots of new stuff). Here’s my excuse: It’s that Stuttgart time of the year again: I have been going to … More What I have been doing lately

3 Comments What I have been doing lately

Archives

Recent Posts

  • V&V takes on “Pacing the frontier”
  • V&V takes on OpenAI’s long-horizon incidents
  • When is misalignment just a bug? 
  • Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification
  • The V&V method – A step towards safer AGI
  • Changing the focus of this blog to AI safety
  • AI, Autonomy, V&V and abstractions
  • About “The coming AI hackers” paper
  • ADS residual risk – some related research

Recent Comments

When is misalignment… on It’s the spec bugs that kill y…
When is misalignment… on Verifying friendly AI: our fin…
Coverage-driven alig… on It’s the spec bugs that kill y…
https://otomotif71.w… on Stuttgart impressions: Scenari…
Daan van der Keur on About “The coming AI hackers”…
Mariah Jackson on M-SDL, the autonomous vehicles…
sakhokhar on Machine Learning for Coverage…
hongseoklee on How to write AV scenarios (and…
Erik Panu on GPT-3 and verification

Recent Posts

  • V&V takes on “Pacing the frontier”
  • V&V takes on OpenAI’s long-horizon incidents
  • When is misalignment just a bug? 
  • Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification
  • The V&V method – A step towards safer AGI
  • Changing the focus of this blog to AI safety
  • AI, Autonomy, V&V and abstractions
  • About “The coming AI hackers” paper
  • ADS residual risk – some related research

Recent Comments

When is misalignment… on It’s the spec bugs that kill y…
Coverage-driven alig… on It’s the spec bugs that kill y…
https://otomotif71.w… on Stuttgart impressions: Scenari…
Daan van der Keur on About “The coming AI hackers”…
Mariah Jackson on M-SDL, the autonomous vehicles…

Archives

  • August 2026
  • July 2026
  • June 2026
  • June 2025
  • April 2021
  • February 2021
  • July 2020
  • March 2020
  • January 2020
  • September 2019
  • May 2019
  • January 2019
  • December 2018
  • October 2018
  • June 2018
  • May 2018
  • March 2018
  • January 2018
  • November 2017
  • October 2017
  • August 2017
  • July 2017
  • June 2017
  • May 2017
  • March 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • August 2016
  • July 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015

Categories

  • Uncategorized

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Recent Posts

  • V&V takes on “Pacing the frontier”
  • V&V takes on OpenAI’s long-horizon incidents
  • When is misalignment just a bug? 
  • Coverage-driven alignment – What ‘Teaching Claude Why’ can borrow from AV verification
  • The V&V method – A step towards safer AGI
  • Changing the focus of this blog to AI safety
  • AI, Autonomy, V&V and abstractions
  • About “The coming AI hackers” paper
  • ADS residual risk – some related research

Recent Comments

When is misalignment… on It’s the spec bugs that kill y…
Coverage-driven alig… on It’s the spec bugs that kill y…
https://otomotif71.w… on Stuttgart impressions: Scenari…
Daan van der Keur on About “The coming AI hackers”…
Mariah Jackson on M-SDL, the autonomous vehicles…
sakhokhar on Machine Learning for Coverage…
hongseoklee on How to write AV scenarios (and…
Erik Panu on GPT-3 and verification
Yoav Hollander on Autonomy markets and their pot…

Archives

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Subscribe to Blog via Email

Enter your email address to subscribe to this blog and receive notifications of new posts by email.

Join 165 other subscribers
Powered by WordPress.com.
Loading Comments...