# Jane Street Tech Talks: Verifying Puppet Configs

DevFeed: [Jane Street Tech Talks: Verifying Puppet Configs](<https://devfeed.tech/articles/jane-street-tech-talks-verifying-puppet-configs-20187.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/jane-street-tech-talks-verifying-puppet-configs/>)

Author: Yaron Minsky

Published: 2017-02-16T00:00:00Z

Content type: news

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [Puppet](<https://devfeed.tech/topics/puppet.md>), [systems](<https://devfeed.tech/topics/systems.md>), [Programming](<https://devfeed.tech/topics/programming.md>)

Tags: [event](<https://devfeed.tech/tags/event.md>), [puppet](<https://devfeed.tech/tags/puppet.md>), [talks](<https://devfeed.tech/tags/talks.md>), [tech](<https://devfeed.tech/tags/tech.md>)

## AI overview

Jane Street announces a Tech Talk by Arjun Guha on using static verification techniques to catch bugs in Puppet configuration files.

## Source excerpt

Our first Jane Street Tech Talk went really well! Thanks to everyone who came and made it a fun event.