Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the wp-plugin-hostgator domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114

Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the ol-scrapes domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893

Warning: Cannot modify header information - headers already sent by (output started at /home4/scienrds/scienceandnerds/wp-includes/functions.php:6114) in /home4/scienrds/scienceandnerds/wp-includes/rest-api/class-wp-rest-server.php on line 1893
{"id":29789,"date":"2023-04-21T21:56:01","date_gmt":"2023-04-21T21:56:01","guid":{"rendered":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/"},"modified":"2023-04-21T21:56:02","modified_gmt":"2023-04-21T21:56:02","slug":"linux-foundation-launches-new-organization-to-maintain-tla","status":"publish","type":"post","link":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/","title":{"rendered":"Linux Foundation launches new organization to maintain TLA+"},"content":{"rendered":"

Source:https:\/\/techcrunch.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/<\/a><\/br>
\nLinux Foundation launches new organization to maintain TLA+<\/br>
\n2023-04-21 21:56:01<\/br><\/p>\n

\n
\n\t\t\t\n\t\t<\/div>\n<\/p><\/div>\n
\n

The\u00a0Linux<\/span>\u00a0Foundation<\/span>, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ <\/span>Foundation<\/span> to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members.\u00a0<\/span><\/p>\n

What is the TLA+ programming language, you ask? It\u2019s a formal \u201cspec\u201d language developed by computer scientist and mathematician Leslie Lamport. Best known for his seminal work in distributed systems, Lamport \u2014 now a scientist at Microsoft Research \u2014 created TLA+ to design, model, document and verify software programs \u2014 particularly those of the concurrent and distributed variety.<\/p>\n

To give a few examples, ElasticSearch, the organization behind the search engine of the same name, used TLA+ to verify the correctness of their distributed systems algorithms. Elsewhere, Thales, the electrical systems manufacturing firm, used TLA+ to model and develop fault-tolerant modules for its industrial control platform.<\/p>\n

\u201cTLA+ is unique in that it\u2019s intended for specifying a system, rather than for implementing software,\u201d a Linux Foundation spokesperson told TechCrunch via email. \u201cBased on mathematical concepts, notably set theory and temporal logic, TLA+ allows for the expression of a system\u2019s desired correctness properties in a formal and rigorous manner.\u201d<\/span><\/p>\n

TLA+ includes a model checker and theorem prover to verify if a system\u2019s specification satisfies its desired properties. The goal is to assist developers with reasoning about systems above the code level, uncovering and preventing design flaws (hopefully) before they evolve into bugs during the later stages of software engineering.\u00a0<\/span><\/p>\n

To that last point, failures in software design are surprisingly common \u2014 and disruptive. A 2020 report<\/a> from the Standish Group found that around 66% of software projects fail. And according<\/a> to the Consortium for Information and Software Quality, poor software quality cost companies over $2 trillion in 2020.<\/p>\n

With the establishment of the TLA+ Foundation, the Linux Foundation says it\u2019ll provide education and training resources around TLA+, fund research and develop tools for it and work to foster a community of TLA+ practitioners. The TLA+ Foundation will also make decisions on language enhancements, address user feedback and guide the language\u2019s evolution.<\/p>\n

\u201cTLA+ has already been successfully used by major tech companies like Amazon, Oracle, and Microsoft to verify and design planetary-scale systems,\u201d the spokesperson continued. \u201cBy establishing a TLA+ Foundation under the umbrella of the Linux Foundation, TLA+ will gain increased visibility and support, promoting its wider adoption within the tech industry. The foundation\u2019s mission to advocate for open-source projects will ensure that TLA+ continues to evolve and remain accessible to the broader tech community. Additionally, the foundation will facilitate greater collaboration between industry and academia, advancing the state of the art in formal methods and concurrent and distributed systems research.\u201d<\/p>\n<\/p><\/div>\n

<\/br><\/br><\/br><\/p>\n

Science, Tech, Technology<\/br>
\n<\/br>
\nSource:https:\/\/techcrunch.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/<\/a><\/br><\/br><\/p>\n","protected":false},"excerpt":{"rendered":"

Source:https:\/\/techcrunch.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/ Linux Foundation launches new organization to maintain TLA+ 2023-04-21 21:56:01 The\u00a0Linux\u00a0Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members.\u00a0 What is the TLA+ programming […]<\/p>\n","protected":false},"author":1,"featured_media":29790,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","om_disable_all_campaigns":false,"pagelayer_contact_templates":[],"_pagelayer_content":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[26,17,8],"tags":[],"class_list":["post-29789","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-science","category-tech","category-technology"],"yoast_head":"\nLinux Foundation launches new organization to maintain TLA+ - Science and Nerds<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Linux Foundation launches new organization to maintain TLA+ - Science and Nerds\" \/>\n<meta property=\"og:description\" content=\"Source:https:\/\/techcrunch.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/ Linux Foundation launches new organization to maintain TLA+ 2023-04-21 21:56:01 The\u00a0Linux\u00a0Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members.\u00a0 What is the TLA+ programming […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/\" \/>\n<meta property=\"og:site_name\" content=\"Science and Nerds\" \/>\n<meta property=\"article:published_time\" content=\"2023-04-21T21:56:01+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-04-21T21:56:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"665\" \/>\n\t<meta property=\"og:image:height\" content=\"399\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/\",\"url\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/\",\"name\":\"Linux Foundation launches new organization to maintain TLA+ - Science and Nerds\",\"isPartOf\":{\"@id\":\"https:\/\/scienceandnerds.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1\",\"datePublished\":\"2023-04-21T21:56:01+00:00\",\"dateModified\":\"2023-04-21T21:56:02+00:00\",\"author\":{\"@id\":\"https:\/\/scienceandnerds.com\/#\/schema\/person\/ea2991abeb2b9ab04b32790dff28360e\"},\"breadcrumb\":{\"@id\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#primaryimage\",\"url\":\"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1\",\"contentUrl\":\"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1\",\"width\":665,\"height\":399},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/scienceandnerds.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Linux Foundation launches new organization to maintain TLA+\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/scienceandnerds.com\/#website\",\"url\":\"https:\/\/scienceandnerds.com\/\",\"name\":\"Science and Nerds\",\"description\":\"My WordPress Blog\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/scienceandnerds.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/scienceandnerds.com\/#\/schema\/person\/ea2991abeb2b9ab04b32790dff28360e\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/scienceandnerds.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/7e6e14fc6691445ef2b2c0a3a6c43882?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/7e6e14fc6691445ef2b2c0a3a6c43882?s=96&d=mm&r=g\",\"caption\":\"admin\"},\"sameAs\":[\"https:\/\/scienceandnerds.com\"],\"url\":\"https:\/\/scienceandnerds.com\/author\/admin\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Linux Foundation launches new organization to maintain TLA+ - Science and Nerds","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/","og_locale":"en_US","og_type":"article","og_title":"Linux Foundation launches new organization to maintain TLA+ - Science and Nerds","og_description":"Source:https:\/\/techcrunch.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/ Linux Foundation launches new organization to maintain TLA+ 2023-04-21 21:56:01 The\u00a0Linux\u00a0Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members.\u00a0 What is the TLA+ programming […]","og_url":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/","og_site_name":"Science and Nerds","article_published_time":"2023-04-21T21:56:01+00:00","article_modified_time":"2023-04-21T21:56:02+00:00","og_image":[{"width":665,"height":399,"url":"https:\/\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg","type":"image\/jpeg"}],"author":"admin","twitter_card":"summary_large_image","twitter_misc":{"Written by":"admin","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/","url":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/","name":"Linux Foundation launches new organization to maintain TLA+ - Science and Nerds","isPartOf":{"@id":"https:\/\/scienceandnerds.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#primaryimage"},"image":{"@id":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#primaryimage"},"thumbnailUrl":"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1","datePublished":"2023-04-21T21:56:01+00:00","dateModified":"2023-04-21T21:56:02+00:00","author":{"@id":"https:\/\/scienceandnerds.com\/#\/schema\/person\/ea2991abeb2b9ab04b32790dff28360e"},"breadcrumb":{"@id":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#primaryimage","url":"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1","contentUrl":"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1","width":665,"height":399},{"@type":"BreadcrumbList","@id":"https:\/\/scienceandnerds.com\/2023\/04\/21\/linux-foundation-launches-new-organization-to-maintain-tla\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/scienceandnerds.com\/"},{"@type":"ListItem","position":2,"name":"Linux Foundation launches new organization to maintain TLA+"}]},{"@type":"WebSite","@id":"https:\/\/scienceandnerds.com\/#website","url":"https:\/\/scienceandnerds.com\/","name":"Science and Nerds","description":"My WordPress Blog","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/scienceandnerds.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/scienceandnerds.com\/#\/schema\/person\/ea2991abeb2b9ab04b32790dff28360e","name":"admin","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/scienceandnerds.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/7e6e14fc6691445ef2b2c0a3a6c43882?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/7e6e14fc6691445ef2b2c0a3a6c43882?s=96&d=mm&r=g","caption":"admin"},"sameAs":["https:\/\/scienceandnerds.com"],"url":"https:\/\/scienceandnerds.com\/author\/admin\/"}]}},"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"https:\/\/i0.wp.com\/scienceandnerds.com\/wp-content\/uploads\/2023\/04\/linux-foundation-launches-new-organization-to-maintain-tla_644306721ed78.jpeg?fit=665%2C399&ssl=1","_links":{"self":[{"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/posts\/29789","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/comments?post=29789"}],"version-history":[{"count":1,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/posts\/29789\/revisions"}],"predecessor-version":[{"id":29791,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/posts\/29789\/revisions\/29791"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/media\/29790"}],"wp:attachment":[{"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/media?parent=29789"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/categories?post=29789"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scienceandnerds.com\/wp-json\/wp\/v2\/tags?post=29789"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}