{"users":[{"id":45,"username":"vveiln","name":"Yulia","avatar_template":"/user_avatar/forum.anoma.net/vveiln/{size}/60_2.png","admin":true,"trust_level":4},{"id":80,"username":"murisi","name":"Murisi Tarusenga","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/59ef9b/{size}.png","trust_level":4},{"id":61,"username":"xuyang","name":"xuyang","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/x/c68b51/{size}.png","trust_level":3},{"id":3,"username":"graphomath","name":"Tobias Heindel","avatar_template":"/user_avatar/forum.anoma.net/graphomath/{size}/9_2.png","primary_group_name":"heliax","flair_name":"heliax","flair_group_id":41,"admin":true,"trust_level":4},{"id":22,"username":"adrian","name":"","avatar_template":"/user_avatar/forum.anoma.net/adrian/{size}/845_2.png","admin":true,"trust_level":2},{"id":49,"username":"ArtemG","name":"Artem","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/a/45deac/{size}.png","trust_level":2},{"id":9,"username":"isheff","name":"Isaac Sheff","avatar_template":"/user_avatar/forum.anoma.net/isheff/{size}/15_2.png","trust_level":2},{"id":207,"username":"kike","name":"","avatar_template":"/user_avatar/forum.anoma.net/kike/{size}/745_2.png","trust_level":2},{"id":7,"username":"cwgoes","name":"Christopher Goes","avatar_template":"/user_avatar/forum.anoma.net/cwgoes/{size}/22_2.png","admin":true,"trust_level":2},{"id":195,"username":"maurice","name":null,"avatar_template":"/user_avatar/forum.anoma.net/maurice/{size}/957_2.png","admin":true,"trust_level":4},{"id":335,"username":"pedro","name":"Pedro","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/p/919ad9/{size}.png","trust_level":4},{"id":21,"username":"Lukasz","name":"Lukasz C.","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/l/0ea827/{size}.png","trust_level":2},{"id":52,"username":"degregat","name":"","avatar_template":"/user_avatar/forum.anoma.net/degregat/{size}/449_2.png","trust_level":4},{"id":64,"username":"mariari","name":"mariari","avatar_template":"https://avatars.discourse-cdn.com/v4/letter/m/a3d4f5/{size}.png","trust_level":4}],"primary_groups":[{"id":41,"name":"heliax"}],"flair_groups":[{"id":41,"name":"heliax","flair_url":null,"flair_bg_color":"","flair_color":""}],"topic_list":{"can_create_topic":false,"more_topics_url":"/c/rm/44?page=1","per_page":30,"top_tags":[{"id":46,"name":"rethinking-rm","slug":"rethinking-rm"},{"id":12,"name":"architecture","slug":"architecture"},{"id":6,"name":"anoma","slug":"anoma"}],"topics":[{"fancy_title":"About the RM category","id":786,"title":"About the RM category","slug":"about-the-rm-category","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2024-09-24T08:29:54.020Z","last_posted_at":"2024-09-24T08:29:54.026Z","bumped":true,"bumped_at":"2025-08-30T06:37:49.061Z","archetype":"regular","unseen":false,"pinned":true,"unpinned":null,"excerpt":"This category is for RM & AVM discussions.","visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":65,"like_count":2,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Vectorize Resource Logic Circuits","id":2730,"title":"Vectorize Resource Logic Circuits","slug":"vectorize-resource-logic-circuits","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":null,"created_at":"2026-07-14T13:31:35.920Z","last_posted_at":"2026-07-14T16:21:09.435Z","bumped":true,"bumped_at":"2026-07-14T16:21:09.435Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":11,"like_count":1,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":80,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Aggregation Circuit and Instance Refactor — RFC","id":2724,"title":"Aggregation Circuit and Instance Refactor — RFC","slug":"aggregation-circuit-and-instance-refactor-rfc","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2026-07-08T09:36:18.093Z","last_posted_at":"2026-07-13T07:30:55.235Z","bumped":true,"bumped_at":"2026-07-13T07:30:55.235Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":30,"like_count":1,"has_summary":false,"last_poster_username":"xuyang","category_id":44,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Generic Private Logic Upgrades(Migration) via the Conversion Circuit","id":2718,"title":"Generic Private Logic Upgrades(Migration) via the Conversion Circuit","slug":"generic-private-logic-upgrades-migration-via-the-conversion-circuit","posts_count":10,"reply_count":4,"highest_post_number":10,"image_url":null,"created_at":"2026-06-29T07:22:11.991Z","last_posted_at":"2026-07-10T08:56:38.633Z","bumped":true,"bumped_at":"2026-07-10T08:56:38.633Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":72,"like_count":6,"has_summary":false,"last_poster_username":"xuyang","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41},{"extras":null,"description":"Frequent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"System of Systems and ARM of ARMs","id":2725,"title":"System of Systems and ARM of ARMs","slug":"system-of-systems-and-arm-of-arms","posts_count":4,"reply_count":0,"highest_post_number":4,"image_url":null,"created_at":"2026-07-08T12:23:13.915Z","last_posted_at":"2026-07-08T16:32:04.569Z","bumped":true,"bumped_at":"2026-07-08T16:32:04.569Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[{"id":46,"name":"rethinking-rm","slug":"rethinking-rm"}],"tags_descriptions":{},"views":22,"like_count":2,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41}]},{"fancy_title":"ARM-RISC0 V2: Compliance Merge and Kind Table Optimization","id":2693,"title":"ARM-RISC0 V2: Compliance Merge and Kind Table Optimization","slug":"arm-risc0-v2-compliance-merge-and-kind-table-optimization","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2026-06-15T05:15:15.277Z","last_posted_at":"2026-06-15T05:15:15.426Z","bumped":true,"bumped_at":"2026-06-15T05:15:15.426Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":24,"like_count":1,"has_summary":false,"last_poster_username":"xuyang","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Execution Proof — Data Availability Strategies","id":2660,"title":"Execution Proof — Data Availability Strategies","slug":"execution-proof-data-availability-strategies","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2026-04-20T07:17:26.617Z","last_posted_at":"2026-04-20T07:17:26.703Z","bumped":true,"bumped_at":"2026-04-20T07:17:26.703Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":38,"like_count":0,"has_summary":false,"last_poster_username":"xuyang","category_id":96,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Execution Proof Performance Report","id":2654,"title":"Execution Proof Performance Report","slug":"execution-proof-performance-report","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2026-04-14T12:06:00.685Z","last_posted_at":"2026-04-14T12:06:00.795Z","bumped":true,"bumped_at":"2026-04-14T12:06:00.795Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":49,"like_count":2,"has_summary":false,"last_poster_username":"xuyang","category_id":96,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Shielded ARM Trust Assumptions And Security Properties","id":2647,"title":"Shielded ARM Trust Assumptions And Security Properties","slug":"shielded-arm-trust-assumptions-and-security-properties","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2026-04-10T15:23:27.569Z","last_posted_at":"2026-04-10T15:23:27.657Z","bumped":true,"bumped_at":"2026-04-10T15:23:27.657Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":37,"like_count":1,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Execution Proof Circuit","id":2640,"title":"Execution Proof Circuit","slug":"execution-proof-circuit","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2026-03-30T09:55:06.874Z","last_posted_at":"2026-04-01T16:10:58.219Z","bumped":true,"bumped_at":"2026-04-01T16:10:58.219Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":83,"like_count":1,"has_summary":false,"last_poster_username":"xuyang","category_id":96,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":22,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Exploring the execution proof","id":1788,"title":"Exploring the execution proof","slug":"exploring-the-execution-proof","posts_count":7,"reply_count":1,"highest_post_number":7,"image_url":null,"created_at":"2025-07-15T10:36:22.903Z","last_posted_at":"2026-03-30T13:55:59.934Z","bumped":true,"bumped_at":"2026-03-30T13:55:59.934Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":231,"like_count":5,"has_summary":false,"last_poster_username":"xuyang","category_id":96,"op_like_count":3,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":45,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":49,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"zkVM exploration","id":2579,"title":"zkVM exploration","slug":"zkvm-exploration","posts_count":2,"reply_count":0,"highest_post_number":2,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/4/485c7761721bc6fcb15695c6da5e163712b1cbd6_2_1024x309.png","created_at":"2026-02-02T08:48:16.212Z","last_posted_at":"2026-03-02T08:18:33.830Z","bumped":true,"bumped_at":"2026-03-02T08:18:33.830Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":90,"like_count":5,"has_summary":false,"last_poster_username":"xuyang","category_id":44,"op_like_count":3,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"The Consequences Of Generalizing Transaction-Wide Checks","id":2592,"title":"The Consequences Of Generalizing Transaction-Wide Checks","slug":"the-consequences-of-generalizing-transaction-wide-checks","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/b/b50c79f29b715d6733a1aca25c2a57f4ed3f56a5_2_1024x473.png","created_at":"2026-02-10T12:31:12.160Z","last_posted_at":"2026-02-10T12:31:12.216Z","bumped":true,"bumped_at":"2026-02-10T12:31:12.216Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[{"id":46,"name":"rethinking-rm","slug":"rethinking-rm"}],"tags_descriptions":{},"views":38,"like_count":2,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Splitting Applications To Atoms","id":2572,"title":"Splitting Applications To Atoms","slug":"splitting-applications-to-atoms","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/b/b5174c843576f2b5a1e2650fa02e94ca3c8d67f1_2_1024x317.png","created_at":"2026-01-26T12:57:31.180Z","last_posted_at":"2026-01-26T12:57:31.236Z","bumped":true,"bumped_at":"2026-01-26T12:57:31.236Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[{"id":46,"name":"rethinking-rm","slug":"rethinking-rm"}],"tags_descriptions":{},"views":42,"like_count":1,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Everybody Hates Balance","id":2556,"title":"Everybody Hates Balance","slug":"everybody-hates-balance","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":null,"created_at":"2026-01-19T12:41:59.391Z","last_posted_at":"2026-01-19T17:20:43.843Z","bumped":true,"bumped_at":"2026-01-19T17:20:43.843Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[{"id":46,"name":"rethinking-rm","slug":"rethinking-rm"}],"tags_descriptions":{},"views":90,"like_count":3,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41}]},{"fancy_title":"Report on QTT-RM Ideation","id":2519,"title":"Report on QTT-RM Ideation","slug":"report-on-qtt-rm-ideation","posts_count":7,"reply_count":4,"highest_post_number":7,"image_url":null,"created_at":"2025-12-02T12:04:07.181Z","last_posted_at":"2025-12-05T15:23:49.160Z","bumped":true,"bumped_at":"2025-12-05T15:23:49.160Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":124,"like_count":2,"has_summary":false,"last_poster_username":"isheff","category_id":44,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":49,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41},{"extras":"latest","description":"Most Recent Poster","user_id":9,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Ephemerality and nonce derivation","id":2468,"title":"Ephemerality and nonce derivation","slug":"ephemerality-and-nonce-derivation","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/original/2X/e/e5e51b035ad2911edd5bd0cf262ef846a0314789.png","created_at":"2025-11-12T14:32:30.542Z","last_posted_at":"2025-11-12T14:32:30.646Z","bumped":true,"bumped_at":"2025-11-12T14:32:30.646Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":65,"like_count":1,"has_summary":false,"last_poster_username":"kike","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":207,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Semi-deterministic key hierarchy proposal","id":2444,"title":"Semi-deterministic key hierarchy proposal","slug":"semi-deterministic-key-hierarchy-proposal","posts_count":6,"reply_count":2,"highest_post_number":6,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/0/0b5eb4feb24b47ae3cbb6edf85ecf97d52e6fc5e_2_1024x958.png","created_at":"2025-11-06T12:29:49.113Z","last_posted_at":"2025-11-12T14:24:00.931Z","bumped":true,"bumped_at":"2025-11-12T14:24:00.931Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":223,"like_count":8,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":7,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":195,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":335,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Thoughts on intents in GOOSE","id":2337,"title":"Thoughts on intents in GOOSE","slug":"thoughts-on-intents-in-goose","posts_count":30,"reply_count":25,"highest_post_number":30,"image_url":null,"created_at":"2025-10-03T15:45:58.493Z","last_posted_at":"2025-11-12T11:00:09.969Z","bumped":true,"bumped_at":"2025-11-12T11:00:09.969Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":359,"like_count":21,"has_summary":false,"last_poster_username":"mariari","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":21,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":7,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41},{"extras":null,"description":"Frequent Poster","user_id":52,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":64,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Optimizing the compliance circuit with sigmabus","id":2305,"title":"Optimizing the compliance circuit with sigmabus","slug":"optimizing-the-compliance-circuit-with-sigmabus","posts_count":7,"reply_count":4,"highest_post_number":7,"image_url":null,"created_at":"2025-09-19T14:43:40.964Z","last_posted_at":"2025-10-28T11:48:05.695Z","bumped":true,"bumped_at":"2025-10-28T11:48:05.695Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":139,"like_count":3,"has_summary":false,"last_poster_username":"kike","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":207,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Four ways to use ephemeral resources","id":2415,"title":"Four ways to use ephemeral resources","slug":"four-ways-to-use-ephemeral-resources","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/a/a883ea877be21b173cb9e766ab829e9493d11b3c_2_756x1024.png","created_at":"2025-10-24T13:23:39.450Z","last_posted_at":"2025-10-24T13:23:39.514Z","bumped":true,"bumped_at":"2025-10-24T13:23:39.514Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":39,"like_count":4,"has_summary":false,"last_poster_username":"vveiln","category_id":44,"op_like_count":4,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":45,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Access control: easy mode using explicit checks","id":2382,"title":"Access control: easy mode using explicit checks","slug":"access-control-easy-mode-using-explicit-checks","posts_count":13,"reply_count":9,"highest_post_number":13,"image_url":null,"created_at":"2025-10-16T08:57:16.323Z","last_posted_at":"2025-10-23T11:09:55.693Z","bumped":true,"bumped_at":"2025-10-23T11:09:55.693Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":198,"like_count":9,"has_summary":false,"last_poster_username":"Lukasz","category_id":120,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":3,"primary_group_id":41,"flair_group_id":41},{"extras":null,"description":"Frequent Poster","user_id":7,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":21,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Automatic constraint generation and dynamic dispatch in GOOSE","id":2363,"title":"Automatic constraint generation and dynamic dispatch in GOOSE","slug":"automatic-constraint-generation-and-dynamic-dispatch-in-goose","posts_count":4,"reply_count":2,"highest_post_number":4,"image_url":null,"created_at":"2025-10-09T13:31:59.768Z","last_posted_at":"2025-10-20T13:34:28.140Z","bumped":true,"bumped_at":"2025-10-20T13:34:28.140Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":108,"like_count":3,"has_summary":false,"last_poster_username":"cwgoes","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":21,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":7,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Further brainstorming on several AVM-related topics","id":1994,"title":"Further brainstorming on several AVM-related topics","slug":"further-brainstorming-on-several-avm-related-topics","posts_count":3,"reply_count":1,"highest_post_number":3,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/1/14e958ba78c859c22391bfcde717354f759239c1_2_1024x1022.png","created_at":"2025-07-26T15:33:02.387Z","last_posted_at":"2025-10-20T09:27:01.640Z","bumped":true,"bumped_at":"2025-10-20T09:27:01.640Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":132,"like_count":2,"has_summary":false,"last_poster_username":"cwgoes","category_id":44,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":7,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41}]},{"fancy_title":"Hyperproperties and the power set to the square","id":2385,"title":"Hyperproperties and the power set to the square","slug":"hyperproperties-and-the-power-set-to-the-square","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2025-10-16T14:35:08.538Z","last_posted_at":"2025-10-16T14:35:08.593Z","bumped":true,"bumped_at":"2025-10-16T14:35:08.593Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":40,"like_count":0,"has_summary":false,"last_poster_username":"graphomath","category_id":119,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41}]},{"fancy_title":"What’s a trace property anyway?","id":2384,"title":"What's a trace property anyway?","slug":"whats-a-trace-property-anyway","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2025-10-16T13:13:08.581Z","last_posted_at":"2025-10-16T13:13:08.649Z","bumped":true,"bumped_at":"2025-10-16T13:13:08.649Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":51,"like_count":0,"has_summary":false,"last_poster_username":"graphomath","category_id":119,"op_like_count":0,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41}]},{"fancy_title":"AVM → transaction function compilation","id":2369,"title":"AVM → transaction function compilation","slug":"avm-transaction-function-compilation","posts_count":7,"reply_count":4,"highest_post_number":7,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/c/cae1718600c9a974170acc5f444a740d9fe3e89c_2_1024x904.png","created_at":"2025-10-13T11:44:46.348Z","last_posted_at":"2025-10-14T08:30:36.666Z","bumped":true,"bumped_at":"2025-10-14T08:30:36.666Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":136,"like_count":10,"has_summary":false,"last_poster_username":"Lukasz","category_id":44,"op_like_count":2,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":7,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41},{"extras":"latest","description":"Most Recent Poster","user_id":21,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"Variable compliance units & comparisons","id":2367,"title":"Variable compliance units & comparisons","slug":"variable-compliance-units-comparisons","posts_count":7,"reply_count":4,"highest_post_number":7,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/original/2X/f/fe503a280725acc1e08675b26486b65788ccc128.png","created_at":"2025-10-10T13:46:03.409Z","last_posted_at":"2025-10-13T12:33:16.883Z","bumped":true,"bumped_at":"2025-10-13T12:33:16.883Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":128,"like_count":5,"has_summary":false,"last_poster_username":"xuyang","category_id":44,"op_like_count":3,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":null,"description":"Original Poster","user_id":207,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":49,"primary_group_id":null,"flair_group_id":null},{"extras":"latest","description":"Most Recent Poster","user_id":61,"primary_group_id":null,"flair_group_id":null}]},{"fancy_title":"From generalized non-interference to properties of the shape ∀*∃*Φ for safe Φ","id":2362,"title":"From generalized non-interference to properties of the shape ∀*∃*Φ for safe Φ","slug":"from-generalized-non-interference-to-properties-of-the-shape-for-safe","posts_count":1,"reply_count":0,"highest_post_number":1,"image_url":null,"created_at":"2025-10-09T13:26:34.126Z","last_posted_at":"2025-10-09T13:26:34.200Z","bumped":true,"bumped_at":"2025-10-09T13:26:34.200Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":33,"like_count":1,"has_summary":false,"last_poster_username":"graphomath","category_id":119,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest single","description":"Original Poster, Most Recent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41}]},{"fancy_title":"Goose v0.3 review","id":2338,"title":"Goose v0.3 review","slug":"goose-v0-3-review","posts_count":9,"reply_count":5,"highest_post_number":9,"image_url":"https://europe1.discourse-cdn.com/flex013/uploads/anoma1/optimized/2X/4/47802139546f85d7aaf660b9ce5e9e8f0bcc1dcb_2_1024x148.png","created_at":"2025-10-04T10:16:40.506Z","last_posted_at":"2025-10-09T07:47:25.622Z","bumped":true,"bumped_at":"2025-10-09T07:47:25.622Z","archetype":"regular","unseen":false,"pinned":false,"unpinned":null,"visible":true,"closed":false,"archived":false,"bookmarked":null,"liked":null,"tags":[],"tags_descriptions":{},"views":151,"like_count":8,"has_summary":false,"last_poster_username":"cwgoes","category_id":44,"op_like_count":1,"pinned_globally":false,"featured_link":null,"has_accepted_answer":false,"posters":[{"extras":"latest","description":"Original Poster, Most Recent Poster","user_id":7,"primary_group_id":null,"flair_group_id":null},{"extras":null,"description":"Frequent Poster","user_id":3,"primary_group_id":41,"flair_group_id":41},{"extras":null,"description":"Frequent Poster","user_id":21,"primary_group_id":null,"flair_group_id":null}]}]}}