{"post_view":{"post":{"id":3268468,"name":"Abstract Interpretation in a Nutshell","url":"https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html","body":"An old article but very important and easy to read.\n\nThe author, Patrick Cousot, along with his wife Radhia are the inventors of Abstract Interpretation.","creator_id":58239,"community_id":25308,"removed":false,"locked":false,"published":"2023-10-29T07:16:11.335759Z","deleted":false,"nsfw":false,"ap_id":"https://programming.dev/post/5084382","local":false,"language_id":0,"featured_community":false,"featured_local":false},"creator":{"id":58239,"name":"armchair_progamer","banned":false,"published":"2023-06-14T23:54:46.438471Z","actor_id":"https://programming.dev/u/armchair_progamer","local":false,"deleted":false,"bot_account":false,"instance_id":22},"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> This isn't the right place to ask questions such as \"What language should I use for X\", \"what language should I learn\", and \"what's your favorite language\". Such questions should be posted in [/c/learn_programming](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":true,"creator_is_admin":false,"counts":{"post_id":3268468,"comments":0,"score":1,"upvotes":1,"downvotes":0,"published":"2023-10-29T07:16:11.335759Z","newest_comment_time":"2023-10-29T07:16:11.335759Z"},"subscribed":"NotSubscribed","saved":false,"read":false,"hidden":false,"creator_blocked":false,"unread_comments":0},"community_view":{"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> This isn't the right place to ask questions such as \"What language should I use for X\", \"what language should I learn\", and \"what's your favorite language\". Such questions should be posted in [/c/learn_programming](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"subscribed":"NotSubscribed","blocked":false,"counts":{"community_id":25308,"subscribers":1359,"posts":299,"comments":377,"published":"2023-06-15T13:05:27.022259Z","users_active_day":5,"users_active_week":6,"users_active_month":42,"users_active_half_year":159,"subscribers_local":2},"banned_from_community":false},"moderators":[{"community":{"id":25308,"name":"programming_languages","title":"Programming Languages","description":"Hello!\n\nThis is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.\n\nThe content and rules are the same here as they are over there. Taken directly from the [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) overview:\n\n> This community is dedicated to the theory, design and implementation of programming languages.\n>\n> Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.\n> \n> This isn't the right place to ask questions such as \"What language should I use for X\", \"what language should I learn\", and \"what's your favorite language\". Such questions should be posted in [/c/learn_programming](https://programming.dev/c/learn_programming) or [/c/programming](https://programming.dev/c/programming).\n\nThis *is* the right place for posts like the following:\n\n- \"Check out this new language I've been working on!\"\n- \"Here's a blog post on how I implemented static type checking into this compiler\"\n- \"I want to write a compiler, where do I start?\"\n- \"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/?\"\n- \"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?\"\n- \"What are the pros/cons of ?\"\n- \"Compare and contrast vs. \"\n- \"Confused about the semantics of this language\"\n- \"Proceedings from PLDI / OOPSLA / ICFP / \"\n\nSee [/r/ProgrammingLanguages](https://www.reddit.com/r/ProgrammingLanguages/) for specific examples\n\n## Related online communities\n\n- [ProgLangDesign.net](http://proglangdesign.net/)\n- [/r/ProgrammingLanguages Discord](https://discord.gg/4Kjt3ZE)\n- [Lamdda the Ultimate](http://lambda-the-ultimate.org/)\n- [Language Design Stack Exchange](https://languagedesign.stackexchange.com/)","removed":false,"published":"2023-06-15T13:05:27.022259Z","updated":"2023-07-19T02:02:54.571848Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/programming_languages","local":false,"icon":"https://programming.dev/pictrs/image/aa43d40c-a1ab-48e1-bc89-2f60606741b9.png","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"moderator":{"id":58239,"name":"armchair_progamer","banned":false,"published":"2023-06-14T23:54:46.438471Z","actor_id":"https://programming.dev/u/armchair_progamer","local":false,"deleted":false,"bot_account":false,"instance_id":22}}],"cross_posts":[{"post":{"id":2700198,"name":"Abstract Interpretation in a Nutshell","url":"https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html","body":"There is a [discussion on Hacker News](https://news.ycombinator.com/item?id=38029136), but feel free to comment here as well.","creator_id":1045195,"community_id":15947,"removed":false,"locked":false,"published":"2023-10-28T23:40:04.992856Z","deleted":false,"nsfw":false,"ap_id":"https://derp.foo/post/353470","local":false,"language_id":37,"featured_community":false,"featured_local":false},"creator":{"id":1045195,"name":"haxor","banned":false,"published":"2023-06-18T16:44:29.474246Z","actor_id":"https://derp.foo/u/haxor","bio":"I'm your friendly local Hacker News repost bot. [@irdc](/u/irdc@derp.foo) made me using [haxor](https://github.com/avinassh/haxor/) and [Lemmy.py](https://codeberg.org/retiolus/Lemmy.py).","local":false,"deleted":false,"matrix_user_id":"@irdc:tchncs.de","bot_account":true,"instance_id":479},"community":{"id":15947,"name":"hackernews","title":"Hacker News","description":"This community serves to share top posts on [Hacker News](https://news.ycombinator.com) with the wider fediverse.\n\n::: spoiler Rules\n0. Keep it legal\n1. Keep it civil and SFW\n2. Keep it safe for members of marginalised groups\n:::\n","removed":false,"published":"2023-06-18T17:35:12.099930Z","updated":"2023-08-27T08:00:05.760261Z","deleted":false,"nsfw":false,"actor_id":"https://derp.foo/c/hackernews","local":false,"icon":"https://derp.foo/pictrs/image/11562610-c411-43fd-a26e-a6e9b5b4f736.png","hidden":false,"posting_restricted_to_mods":true,"instance_id":479,"visibility":"Public"},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":true,"creator_is_admin":false,"counts":{"post_id":2700198,"comments":0,"score":0,"upvotes":1,"downvotes":1,"published":"2023-10-28T23:40:04.992856Z","newest_comment_time":"2023-10-28T23:40:04.992856Z"},"subscribed":"NotSubscribed","saved":false,"read":false,"hidden":false,"creator_blocked":false,"unread_comments":0}]}

No comments