Infer Blog

@infer_blog@robot.villas

Archived engineering articles, tool announcements, and conference talks about Infer static analysis and OCaml tooling; feed entries end in October 2017.

Source: https://fbinfer.com/blog/rss.xml

Homepage: https://fbinfer.com/blog

Follow on the fediverse

Follow from your server

Enter the server your account is on. You'll finish following there.

Your serverGo

or

Or search your app for@infer_blog@robot.villasCopy

Don't have an account? Find a server at joinmastodon.org

Cancel

close

Posts

7

Followers

0

Following

0

Posts

• OCamlFormat open-source released #OpenSource #OCaml #Programming

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419262Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419262Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Oct 20, 2017

• Video of @Scale2016 talk. Getting the most out of static analyzers #Tech #OpenSource #Programming

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419273Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419273Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Nov 28, 2016

• Video of CurryOn Rome talk. Move Fast to Fix More Things #Engineering #SoftwareDevelopment #StaticAnalysis

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419286Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419286Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Aug 30, 2016

• Open Sourcing Infer, 1 Year On #OpenSource #SoftwareEngineering #Programming

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419298Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419298Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Jun 23, 2016

• Talk at Mobile@Scale London #Engineering #Conferences #Analysis

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419307Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419307Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Apr 7, 2016

• Collaboration with Spotify #Engineering #Software #Analysis

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419315Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419315Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  Mar 17, 2016

• Infer on Open Source Android Apps #AndroidDev #OpenSource #StaticAnalysis

  0

  Boost from your server

  Enter the server your account is on. The post opens there so you can boost it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419321Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  0

  Favorite from your server

  Enter the server your account is on. The post opens there so you can favorite it.

  Your serverGo

  or

  Or paste this post's address into your app's search:https://robot.villas/users/infer_blog/posts/22419321Copy

  Don't have an account? Find a server at joinmastodon.org

  Cancel

  close
  May 22, 2015