{"id":2199,"date":"2017-02-21T21:10:04","date_gmt":"2017-02-21T20:10:04","guid":{"rendered":"http:\/\/monodes.com\/predaelli\/?p=2199"},"modified":"2017-02-21T17:40:31","modified_gmt":"2017-02-21T16:40:31","slug":"halting-problem-on-vala","status":"publish","type":"post","link":"https:\/\/monodes.com\/predaelli\/2017\/02\/21\/halting-problem-on-vala\/","title":{"rendered":"halting problem : On\u00a0Vala"},"content":{"rendered":"<p>Oh my 2<\/p>\n<h1><em><a href=\"https:\/\/www.bassi.io\/articles\/2017\/02\/13\/on-vala\/\">halting problem : On\u00a0Vala<\/a><\/em><\/h1>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p class=\"excerpt\">Oh my 2 halting problem : On\u00a0Vala &nbsp;<\/p>\n<p class=\"more-link-p\"><a class=\"more-link\" href=\"https:\/\/monodes.com\/predaelli\/2017\/02\/21\/halting-problem-on-vala\/\">Read more &rarr;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"link","meta":{"inline_featured_image":false,"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[1],"tags":[],"class_list":["post-2199","post","type-post","status-publish","format-link","hentry","category-senza-categoria","post_format-post-format-link"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p6daft-zt","jetpack-related-posts":[{"id":7698,"url":"https:\/\/monodes.com\/predaelli\/2020\/10\/17\/halting-problem\/","url_meta":{"origin":2199,"position":0},"title":"halting problem","author":"Paolo Redaelli","date":"2020-10-17","format":false,"excerpt":"Type\u00a0instances Source: halting problem Since the start of the GTK4 development branch I've had to deal with creating fundamental types to replace ad hoc boxed types with inheritance three times; I thought about writing this stuff down, so the next time somebody thinks \"I don't want to use GObject but\u2026","rel":"","context":"In &quot;Senza categoria&quot;","block_context":{"text":"Senza categoria","link":"https:\/\/monodes.com\/predaelli\/category\/senza-categoria\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2446,"url":"https:\/\/monodes.com\/predaelli\/2017\/05\/10\/actually-alive\/","url_meta":{"origin":2199,"position":1},"title":"Actually alive!","author":"Paolo Redaelli","date":"2017-05-10","format":false,"excerpt":"May 2, 2017: Vala 0.36.3 released April 25, 2017: Vala 0.36.2 released April 3, 2017: Vala 0.36.1 released March 18, 2017: Vala 0.36.0 released March 7, 2017: Vala 0.34.6 released March 2, 2017: Vala 0.34.5 released December 5, 2016: Vala 0.34.4 released November 22, 2016: Vala 0.34.3 released October 23,\u2026","rel":"","context":"In &quot;Gnome&quot;","block_context":{"text":"Gnome","link":"https:\/\/monodes.com\/predaelli\/category\/gnome\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2194,"url":"https:\/\/monodes.com\/predaelli\/2017\/02\/21\/2194\/","url_meta":{"origin":2199,"position":2},"title":"Oh, my! WOGUE wroteFeb 21,\u2026","author":"Paolo Redaelli","date":"2017-02-21","format":false,"excerpt":"Oh, my! WOGUE wroteFeb 21, 11:22 you know guys, in the around 5 years I'm blogging about GNOME, you wont find not a single time of mine, proposing you to start with GNOME Development ..but I didn't either say dont do GNOME development! the reason isn't because GNOME development is\u2026","rel":"","context":"In &quot;Mood&quot;","block_context":{"text":"Mood","link":"https:\/\/monodes.com\/predaelli\/category\/mood\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/monodes.com\/predaelli\/wp-content\/uploads\/sites\/4\/2017\/02\/photo.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":1844,"url":"https:\/\/monodes.com\/predaelli\/2016\/10\/26\/inkscape-bug-485269-strange-black-boxes\/","url_meta":{"origin":2199,"position":3},"title":"Inkscape Bug #485269 \u2013 Strange Black Boxes","author":"Paolo Redaelli","date":"2016-10-26","format":false,"excerpt":"Oh my. I've started using Inkscape to review some lecture's notes and I soon hit Inkscape Bug #485269 \u2013 Strange Black Boxes Those black boxes pop up and do not go away. Learn to make them disappear. Text become black boxes. As a temporary workaround I exported it as PNG.\u2026","rel":"","context":"In &quot;Senza categoria&quot;","block_context":{"text":"Senza categoria","link":"https:\/\/monodes.com\/predaelli\/category\/senza-categoria\/"},"img":{"alt_text":"inkscape-bug","src":"https:\/\/i0.wp.com\/monodes.com\/predaelli\/wp-content\/uploads\/sites\/4\/2016\/10\/inkscape-bug-510x466-1.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":11020,"url":"https:\/\/monodes.com\/predaelli\/2023\/12\/12\/an-easy-sounding-problem-yields-numbers-too-big-for-our-universe-quanta-magazine\/","url_meta":{"origin":2199,"position":4},"title":"An Easy-Sounding Problem Yields Numbers Too Big for Our Universe | Quanta Magazine","author":"Paolo Redaelli","date":"2023-12-12","format":"link","excerpt":"Researchers prove that navigating certain systems of vectors is among the most complex computational problems. Source: An Easy-Sounding Problem Yields Numbers Too Big for Our Universe | Quanta Magazine","rel":"","context":"In &quot;Senza categoria&quot;","block_context":{"text":"Senza categoria","link":"https:\/\/monodes.com\/predaelli\/category\/senza-categoria\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":8922,"url":"https:\/\/monodes.com\/predaelli\/2021\/11\/18\/an-introduction-to-the-pg_auto_failover-project\/","url_meta":{"origin":2199,"position":5},"title":"An introduction to the pg_auto_failover project","author":"Paolo Redaelli","date":"2021-11-18","format":"link","excerpt":"\u201cPostgres is awesome, makes developping my application so much easier, it solves so many problems for me!\u201d and the next step \u201cso, how do I run Postgres in Production?\u201d. If you\u2019re not sure how to bridge that gap yourself, how to deploy your first production system with automated failover, then\u2026","rel":"","context":"In &quot;Senza categoria&quot;","block_context":{"text":"Senza categoria","link":"https:\/\/monodes.com\/predaelli\/category\/senza-categoria\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts\/2199","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/comments?post=2199"}],"version-history":[{"count":0,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/posts\/2199\/revisions"}],"wp:attachment":[{"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/media?parent=2199"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/categories?post=2199"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/monodes.com\/predaelli\/wp-json\/wp\/v2\/tags?post=2199"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}