[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"summary-a4984aea1596710b-the-hidden-costs-of-ai-driven-coding-summary":3,"summaries-facets-categories":127,"summary-related-a4984aea1596710b-the-hidden-costs-of-ai-driven-coding-summary":7031},{"id":4,"title":5,"ai":6,"body":13,"categories":77,"created_at":79,"date_modified":79,"description":70,"extension":80,"faq":79,"featured":81,"kicker_label":79,"meta":82,"navigation":108,"path":109,"published_at":110,"question":79,"scraped_at":111,"seo":112,"sitemap":113,"source_id":114,"source_name":115,"source_type":116,"source_url":117,"stem":118,"tags":119,"thumbnail_url":79,"tldr":124,"tweet":79,"unknown_tags":125,"__hash__":126},"summaries\u002Fsummaries\u002Fa4984aea1596710b-the-hidden-costs-of-ai-driven-coding-summary.md","The Hidden Costs of AI-Driven Coding",{"provider":7,"model":8,"input_tokens":9,"output_tokens":10,"processing_time_ms":11,"cost_usd":12},"openrouter","google\u002Fgemini-3.1-flash-lite",10764,737,3886,0.0037965,{"type":14,"value":15,"toc":69},"minimark",[16,21,25,29,32,36,39,43,46],[17,18,20],"h2",{"id":19},"the-productivity-paradox","The Productivity Paradox",[22,23,24],"p",{},"While AI coding assistants are widely adopted, recent research suggests they may be creating a \"productivity illusion.\" A 2025 study highlighted that while AI generates code faster, the time saved is often offset by the overhead of debugging, steering the AI, and waiting for output. By 2026, the dependency has become so entrenched that researchers at METR found it difficult to conduct studies on non-AI coding because developers are unwilling to work without their AI tools.",[17,26,28],{"id":27},"the-hidden-costs-of-tokenmaxxing","The Hidden Costs of \"Tokenmaxxing\"",[22,30,31],{},"Organizations are discovering that high AI usage does not correlate with better business outcomes. The trend of \"tokenmaxxing\"—using token consumption as a proxy for productivity—has proven to be a flawed metric. Companies like Amazon and Uber have faced significant budget overruns without seeing measurable increases in project velocity or output.",[17,33,35],{"id":34},"maintenance-debt-and-quality-concerns","Maintenance Debt and Quality Concerns",[22,37,38],{},"AI-generated code often introduces long-term maintenance burdens. Independent reports, including findings from Singapore Management University, warn that AI-generated code can increase maintenance costs significantly. Data from Code Rabbit suggests that AI produces 1.7x more problems than human-written code, and startups like Entelligence AI report that companies spend up to 44% of their AI token budget simply fixing bugs introduced by the AI itself.",[17,40,42],{"id":41},"a-more-disciplined-approach","A More Disciplined Approach",[22,44,45],{},"Experts suggest that the \"hand-it-off and forget it\" approach to AI is unsustainable. Instead, developers should:",[47,48,49,57,63],"ul",{},[50,51,52,56],"li",{},[53,54,55],"strong",{},"Treat AI as a Junior Dev:"," AI output requires the same level of rigorous review and quality assurance as code written by a junior developer.",[50,58,59,62],{},[53,60,61],{},"Focus on Architecture:"," Humans must retain control over high-level software architecture and security design.",[50,64,65,68],{},[53,66,67],{},"Develop AI Literacy:"," Programmers need to understand the specific strengths and weaknesses of their AI tools as deeply as they understand their programming languages.",{"title":70,"searchDepth":71,"depth":71,"links":72},"",2,[73,74,75,76],{"id":19,"depth":71,"text":20},{"id":27,"depth":71,"text":28},{"id":34,"depth":71,"text":35},{"id":41,"depth":71,"text":42},[78],"Software Engineering",null,"md",false,{"content_references":83,"triage":103},[84,90,95,100],{"type":85,"title":86,"author":87,"url":88,"context":89},"other","METR AI coding productivity research","METR","https:\u002F\u002Fmetr.org\u002Fblog\u002F2026-02-24-uplift-update\u002F","cited",{"type":91,"title":92,"author":93,"url":94,"context":89},"paper","AI-generated code can introduce long-term maintenance costs into real software projects","Singapore Management University researchers","https:\u002F\u002Farxiv.org\u002Fabs\u002F2603.28592",{"type":96,"title":97,"author":98,"context":99},"tool","Devin","Cognition","mentioned",{"type":96,"title":101,"url":102,"context":99},"Code Rabbit","https:\u002F\u002Fwww.coderabbit.ai\u002F",{"relevance":104,"novelty":105,"quality":104,"actionability":104,"composite":106,"reasoning":107},4,3,3.8,"Category: Software Engineering. The article discusses the implications of AI tools on coding productivity and maintenance, addressing a specific pain point for developers regarding the hidden costs of AI reliance. It provides actionable advice on how to manage AI outputs effectively, such as treating AI as a junior developer and focusing on architecture.",true,"\u002Fsummaries\u002Fa4984aea1596710b-the-hidden-costs-of-ai-driven-coding-summary","2026-05-29 22:14:22","2026-05-30 14:03:24",{"title":5,"description":70},{"loc":109},"a4984aea1596710b","TechCrunch — AI","article","https:\u002F\u002Ftechcrunch.com\u002F2026\u002F05\u002F29\u002Fcoders-are-refusing-to-work-without-ai-and-that-could-come-back-to-bite-them\u002F","summaries\u002Fa4984aea1596710b-the-hidden-costs-of-ai-driven-coding-summary",[120,121,122,123],"ai-tools","coding","productivity","software-engineering","Developers are increasingly dependent on AI, yet evidence suggests this reliance often decreases productivity and increases long-term maintenance debt rather than improving code quality.",[122,123],"_GdojxqI54vhpubSoZr8n-zGuP0pfBEP2M7NDXVzwME",[128,131,134,136,139,141,144,147,149,151,153,155,157,159,161,163,165,168,170,172,174,176,179,182,184,186,188,190,192,194,196,198,200,202,204,206,208,210,212,214,216,218,220,222,224,226,228,231,233,235,237,239,241,243,245,247,249,251,253,255,257,260,262,264,266,268,270,272,274,276,278,280,282,284,286,288,290,292,294,296,298,301,303,305,307,309,311,313,315,317,319,321,323,325,327,330,332,334,336,338,340,342,344,346,348,350,352,354,356,358,360,362,364,366,368,370,372,374,376,378,380,382,384,386,388,390,392,395,397,399,401,403,405,407,409,411,413,415,418,420,422,424,426,428,430,432,434,436,438,440,442,444,446,448,451,453,455,457,459,461,463,465,467,469,471,474,476,478,480,482,484,486,488,490,492,494,496,498,500,502,504,506,508,510,512,514,516,518,520,522,524,526,528,530,533,535,537,540,542,544,546,548,550,552,554,556,558,560,562,564,566,568,570,572,574,576,579,581,583,585,587,589,591,593,595,597,599,601,604,606,608,610,612,614,616,618,620,622,624,626,628,630,632,634,636,638,640,642,644,646,648,650,652,654,656,658,660,662,664,666,668,670,672,674,676,678,680,682,684,686,688,690,692,694,696,698,700,702,704,706,708,710,712,714,716,718,720,722,724,726,728,730,732,734,736,738,740,742,744,746,748,750,752,754,756,758,760,762,764,766,768,770,772,774,776,778,780,782,784,786,788,790,792,794,796,798,800,802,804,806,808,810,812,814,816,818,820,822,824,826,828,830,832,834,836,838,840,842,844,846,848,850,852,854,856,858,860,862,864,866,868,870,872,874,876,878,880,882,884,886,888,891,893,895,897,899,902,904,906,908,910,912,914,916,918,920,922,924,926,929,931,933,935,937,939,941,943,945,947,949,951,953,955,957,959,961,963,965,967,969,971,973,975,977,979,981,983,985,987,989,991,993,995,997,999,1001,1003,1005,1007,1009,1011,1013,1015,1017,1019,1021,1023,1025,1027,1029,1031,1033,1035,1037,1039,1041,1043,1045,1047,1049,1051,1053,1055,1057,1059,1061,1063,1065,1067,1069,1071,1073,1075,1077,1079,1081,1083,1085,1087,1089,1091,1093,1095,1097,1099,1101,1103,1105,1107,1109,1111,1113,1115,1117,1119,1121,1123,1125,1127,1129,1131,1133,1135,1137,1139,1141,1143,1145,1147,1149,1151,1153,1155,1157,1159,1161,1163,1165,1167,1169,1171,1173,1175,1177,1179,1181,1183,1185,1187,1189,1191,1193,1195,1197,1199,1201,1203,1205,1207,1209,1211,1213,1215,1217,1219,1221,1223,1225,1227,1229,1231,1233,1235,1237,1239,1241,1243,1245,1247,1249,1251,1254,1256,1258,1260,1262,1264,1266,1268,1270,1272,1274,1276,1278,1280,1282,1284,1286,1288,1290,1292,1294,1296,1298,1300,1302,1304,1306,1308,1310,1312,1314,1316,1318,1320,1322,1324,1326,1328,1330,1332,1334,1336,1338,1340,1342,1344,1346,1348,1350,1352,1354,1356,1358,1360,1362,1364,1366,1368,1370,1372,1374,1376,1378,1380,1382,1384,1386,1388,1390,1392,1394,1396,1398,1400,1402,1404,1406,1408,1410,1412,1414,1416,1418,1420,1422,1424,1426,1428,1430,1432,1434,1436,1438,1440,1442,1444,1446,1448,1450,1452,1455,1457,1459,1461,1463,1465,1467,1469,1471,1473,1475,1477,1479,1481,1483,1485,1487,1489,1491,1493,1495,1497,1499,1501,1503,1505,1507,1509,1511,1513,1515,1517,1519,1521,1523,1525,1527,1529,1531,1533,1535,1537,1539,1541,1543,1545,1547,1549,1551,1553,1555,1557,1559,1561,1563,1565,1567,1569,1571,1573,1575,1577,1579,1581,1583,1585,1587,1589,1591,1594,1596,1598,1600,1602,1604,1606,1608,1610,1612,1614,1616,1618,1620,1622,1624,1626,1628,1630,1632,1634,1636,1638,1640,1642,1644,1646,1648,1650,1652,1654,1656,1658,1660,1662,1664,1666,1668,1670,1672,1674,1676,1678,1680,1682,1684,1686,1688,1690,1692,1694,1696,1698,1700,1702,1704,1706,1708,1710,1712,1714,1716,1718,1720,1722,1724,1726,1728,1730,1732,1734,1736,1738,1740,1742,1744,1746,1748,1750,1753,1755,1757,1759,1761,1763,1765,1767,1769,1771,1773,1775,1777,1779,1781,1783,1785,1787,1789,1791,1793,1795,1797,1799,1801,1803,1805,1807,1809,1811,1813,1816,1818,1820,1822,1824,1826,1828,1830,1832,1834,1836,1838,1840,1842,1844,1846,1848,1850,1852,1854,1856,1858,1860,1862,1864,1866,1868,1870,1872,1874,1876,1878,1880,1882,1884,1886,1888,1890,1892,1894,1896,1898,1900,1902,1904,1906,1908,1910,1912,1914,1916,1918,1920,1922,1924,1926,1928,1930,1932,1934,1936,1938,1940,1942,1944,1946,1948,1950,1952,1954,1956,1958,1960,1962,1964,1966,1968,1970,1972,1974,1976,1978,1980,1982,1984,1986,1988,1990,1992,1994,1996,1998,2000,2002,2004,2006,2008,2010,2012,2014,2016,2018,2020,2022,2024,2026,2028,2030,2032,2034,2036,2038,2040,2042,2044,2046,2048,2050,2052,2054,2056,2058,2060,2062,2064,2066,2068,2070,2072,2074,2076,2078,2080,2082,2084,2086,2088,2090,2092,2094,2096,2098,2100,2102,2104,2106,2108,2110,2112,2114,2116,2118,2120,2122,2124,2126,2128,2130,2132,2134,2136,2138,2140,2142,2144,2146,2148,2150,2152,2154,2156,2158,2160,2162,2164,2166,2168,2170,2172,2174,2176,2178,2180,2182,2184,2186,2188,2190,2192,2194,2196,2198,2200,2202,2204,2206,2208,2210,2212,2214,2216,2218,2220,2222,2224,2226,2228,2230,2232,2234,2236,2238,2240,2242,2244,2246,2248,2250,2252,2254,2257,2259,2261,2263,2265,2267,2269,2271,2273,2275,2277,2279,2281,2283,2285,2287,2289,2291,2293,2295,2297,2299,2301,2303,2305,2307,2309,2311,2313,2315,2317,2319,2321,2323,2325,2327,2329,2331,2333,2335,2337,2339,2341,2343,2345,2347,2350,2352,2354,2356,2358,2360,2362,2364,2366,2368,2370,2372,2374,2376,2378,2380,2382,2384,2386,2388,2390,2392,2394,2396,2398,2400,2402,2404,2406,2408,2410,2412,2414,2416,2418,2420,2422,2424,2426,2428,2430,2432,2434,2436,2438,2440,2442,2444,2446,2448,2450,2452,2454,2456,2458,2460,2462,2464,2466,2469,2471,2473,2475,2477,2479,2481,2483,2485,2487,2489,2491,2493,2495,2497,2499,2501,2503,2505,2507,2509,2512,2514,2516,2518,2520,2522,2524,2526,2528,2530,2532,2534,2536,2538,2540,2542,2544,2546,2548,2550,2552,2554,2556,2558,2560,2562,2564,2566,2568,2570,2572,2574,2576,2578,2580,2582,2584,2586,2588,2590,2592,2594,2596,2598,2600,2602,2604,2606,2608,2610,2612,2614,2616,2618,2620,2622,2624,2626,2628,2630,2632,2634,2636,2638,2640,2642,2644,2646,2648,2650,2652,2654,2656,2658,2660,2662,2664,2666,2668,2670,2672,2674,2676,2678,2680,2682,2684,2686,2688,2690,2692,2694,2696,2698,2700,2702,2704,2706,2708,2710,2712,2714,2716,2718,2720,2722,2724,2726,2728,2730,2732,2734,2736,2738,2740,2742,2744,2746,2748,2750,2752,2754,2756,2758,2760,2762,2764,2766,2768,2770,2772,2774,2776,2778,2780,2782,2784,2786,2788,2790,2792,2794,2796,2798,2800,2802,2804,2806,2808,2810,2812,2814,2816,2818,2820,2822,2824,2826,2828,2830,2832,2834,2836,2838,2840,2842,2844,2846,2848,2850,2852,2854,2856,2858,2860,2862,2864,2866,2868,2870,2872,2874,2876,2878,2880,2882,2884,2886,2888,2890,2892,2894,2896,2898,2900,2902,2904,2906,2908,2910,2912,2914,2916,2918,2920,2922,2924,2926,2928,2930,2932,2934,2936,2938,2940,2942,2944,2946,2948,2950,2952,2954,2956,2958,2960,2962,2964,2966,2968,2970,2972,2974,2976,2978,2980,2982,2984,2986,2988,2990,2992,2994,2996,2998,3000,3002,3004,3006,3008,3010,3012,3014,3016,3018,3020,3022,3024,3026,3028,3030,3032,3034,3036,3038,3040,3042,3044,3046,3048,3050,3052,3054,3056,3058,3060,3062,3064,3066,3068,3070,3072,3074,3076,3078,3080,3082,3084,3086,3088,3090,3092,3094,3096,3098,3100,3102,3104,3106,3108,3110,3112,3114,3116,3118,3120,3122,3124,3126,3128,3130,3132,3134,3136,3138,3140,3142,3144,3146,3148,3150,3153,3155,3157,3159,3161,3163,3165,3167,3169,3171,3173,3175,3177,3179,3181,3183,3185,3187,3189,3191,3193,3195,3197,3199,3201,3203,3205,3207,3209,3211,3213,3215,3217,3219,3221,3223,3225,3227,3229,3231,3233,3235,3237,3239,3241,3243,3245,3247,3249,3251,3253,3255,3257,3259,3261,3263,3265,3267,3269,3271,3273,3275,3277,3280,3282,3284,3286,3288,3290,3292,3294,3296,3298,3300,3302,3304,3306,3308,3310,3312,3314,3316,3318,3320,3322,3324,3326,3328,3330,3332,3334,3336,3338,3340,3342,3344,3346,3348,3350,3352,3354,3356,3358,3360,3362,3364,3366,3368,3370,3372,3374,3376,3378,3380,3382,3384,3386,3388,3390,3392,3394,3396,3398,3400,3402,3404,3406,3408,3410,3412,3414,3416,3418,3420,3422,3424,3426,3428,3430,3432,3434,3436,3438,3440,3442,3444,3446,3448,3450,3452,3454,3456,3458,3460,3462,3464,3466,3468,3470,3472,3474,3476,3478,3480,3482,3484,3486,3488,3490,3492,3494,3496,3498,3500,3502,3504,3506,3508,3510,3512,3514,3516,3518,3520,3522,3524,3526,3528,3530,3532,3534,3536,3538,3540,3542,3544,3546,3548,3550,3552,3554,3556,3558,3560,3562,3564,3566,3568,3570,3572,3574,3576,3578,3580,3582,3584,3586,3588,3590,3592,3594,3596,3598,3600,3602,3604,3606,3608,3610,3612,3614,3616,3618,3620,3622,3624,3626,3628,3630,3632,3634,3636,3638,3640,3642,3644,3646,3648,3650,3652,3654,3656,3658,3660,3662,3664,3666,3668,3670,3672,3674,3676,3678,3680,3682,3684,3686,3688,3690,3692,3694,3696,3698,3700,3702,3704,3706,3708,3710,3712,3714,3716,3718,3720,3722,3724,3726,3728,3730,3732,3734,3736,3738,3740,3742,3744,3746,3748,3750,3752,3754,3756,3758,3760,3762,3764,3766,3768,3770,3772,3774,3776,3778,3780,3782,3784,3786,3788,3790,3792,3794,3796,3798,3800,3802,3804,3806,3808,3810,3812,3814,3816,3818,3820,3822,3824,3826,3828,3830,3832,3834,3836,3838,3840,3842,3844,3846,3848,3850,3852,3854,3856,3858,3860,3862,3864,3866,3868,3870,3872,3874,3876,3878,3880,3882,3884,3886,3888,3890,3892,3894,3896,3898,3900,3902,3904,3906,3908,3910,3912,3914,3916,3918,3920,3922,3924,3926,3928,3930,3932,3934,3936,3938,3940,3942,3944,3946,3948,3950,3952,3954,3956,3958,3960,3962,3964,3966,3968,3970,3972,3974,3976,3978,3980,3982,3984,3986,3988,3990,3992,3994,3996,3998,4000,4002,4004,4006,4008,4010,4012,4014,4016,4018,4020,4022,4024,4026,4028,4030,4032,4034,4036,4038,4040,4042,4044,4046,4048,4050,4052,4054,4056,4058,4060,4062,4064,4066,4068,4070,4072,4074,4076,4078,4080,4082,4084,4086,4088,4090,4092,4094,4096,4098,4100,4102,4104,4106,4108,4110,4112,4114,4116,4118,4120,4122,4124,4126,4128,4130,4132,4134,4136,4138,4140,4142,4144,4146,4148,4150,4152,4154,4156,4158,4160,4162,4164,4166,4168,4170,4172,4174,4176,4178,4180,4182,4184,4186,4188,4190,4192,4194,4196,4198,4200,4202,4204,4206,4208,4210,4212,4214,4216,4218,4220,4222,4224,4226,4228,4230,4232,4234,4236,4238,4240,4242,4244,4246,4248,4250,4252,4254,4256,4258,4260,4262,4264,4266,4268,4270,4272,4274,4276,4278,4280,4282,4284,4286,4288,4290,4292,4294,4296,4298,4300,4302,4304,4306,4308,4310,4312,4314,4316,4318,4320,4322,4324,4326,4328,4330,4332,4334,4336,4338,4340,4342,4344,4346,4348,4350,4352,4354,4356,4358,4360,4362,4364,4366,4368,4370,4372,4374,4376,4378,4380,4382,4384,4386,4388,4390,4392,4394,4396,4398,4400,4402,4404,4406,4408,4410,4412,4414,4416,4418,4420,4422,4424,4426,4428,4430,4432,4434,4436,4438,4440,4442,4444,4446,4448,4450,4452,4454,4456,4458,4460,4462,4464,4466,4468,4470,4472,4474,4476,4478,4480,4482,4484,4486,4488,4490,4492,4494,4496,4498,4500,4502,4504,4506,4508,4510,4512,4514,4516,4518,4520,4522,4524,4526,4528,4530,4532,4534,4536,4538,4540,4542,4544,4546,4548,4550,4552,4554,4556,4558,4560,4562,4565,4567,4569,4571,4573,4575,4577,4579,4581,4583,4585,4587,4589,4591,4593,4595,4597,4599,4601,4603,4605,4607,4609,4611,4613,4615,4617,4619,4621,4623,4625,4627,4629,4631,4633,4635,4637,4639,4641,4643,4645,4647,4649,4651,4653,4655,4657,4659,4661,4663,4665,4667,4669,4671,4673,4675,4677,4679,4681,4683,4685,4687,4689,4691,4693,4695,4697,4699,4701,4703,4705,4707,4709,4711,4713,4715,4717,4719,4721,4723,4725,4727,4729,4731,4733,4735,4737,4739,4741,4743,4745,4747,4749,4751,4753,4755,4757,4759,4761,4763,4765,4767,4769,4771,4773,4775,4777,4779,4781,4783,4785,4787,4789,4791,4793,4795,4797,4799,4801,4803,4805,4807,4809,4811,4813,4815,4817,4819,4821,4823,4825,4827,4829,4831,4833,4835,4837,4839,4841,4843,4845,4847,4849,4851,4853,4855,4857,4859,4861,4863,4865,4867,4869,4871,4873,4875,4877,4879,4881,4883,4885,4887,4889,4891,4893,4895,4897,4899,4901,4903,4905,4907,4909,4911,4913,4915,4917,4919,4921,4923,4925,4927,4929,4931,4933,4935,4937,4939,4941,4943,4945,4947,4949,4951,4953,4955,4957,4959,4961,4963,4965,4967,4969,4971,4973,4975,4977,4979,4981,4983,4985,4987,4989,4991,4993,4995,4997,4999,5001,5003,5005,5007,5009,5011,5013,5015,5017,5019,5021,5023,5025,5027,5029,5031,5033,5035,5037,5039,5041,5043,5045,5047,5049,5051,5053,5055,5057,5059,5061,5063,5065,5067,5069,5071,5073,5075,5077,5079,5081,5083,5085,5087,5089,5091,5093,5095,5097,5099,5101,5103,5105,5107,5109,5111,5113,5115,5117,5119,5121,5123,5125,5127,5129,5131,5133,5135,5137,5139,5141,5143,5145,5147,5149,5151,5153,5155,5157,5159,5161,5163,5165,5167,5169,5171,5173,5175,5177,5179,5181,5183,5185,5187,5189,5191,5193,5195,5197,5199,5201,5203,5205,5207,5209,5211,5213,5215,5217,5219,5221,5223,5225,5227,5229,5231,5233,5235,5237,5239,5241,5243,5245,5247,5249,5251,5253,5255,5257,5259,5261,5263,5265,5267,5269,5271,5273,5275,5277,5279,5281,5283,5285,5287,5289,5291,5293,5295,5297,5299,5301,5303,5305,5307,5309,5311,5313,5315,5317,5319,5321,5323,5325,5327,5329,5331,5333,5335,5337,5339,5341,5343,5345,5347,5349,5351,5353,5355,5357,5359,5361,5363,5365,5367,5369,5371,5373,5375,5377,5379,5381,5383,5385,5387,5389,5391,5393,5395,5397,5399,5401,5403,5405,5407,5409,5411,5413,5415,5417,5419,5422,5424,5426,5428,5430,5432,5434,5436,5438,5440,5442,5444,5446,5448,5450,5452,5454,5456,5458,5460,5462,5464,5466,5468,5470,5472,5474,5476,5478,5480,5482,5484,5486,5488,5490,5492,5494,5496,5498,5500,5502,5504,5506,5508,5510,5512,5514,5516,5518,5520,5522,5524,5526,5528,5530,5532,5534,5536,5538,5540,5542,5544,5546,5548,5550,5552,5554,5556,5558,5560,5562,5564,5566,5568,5570,5572,5574,5576,5578,5580,5582,5584,5586,5588,5590,5592,5594,5596,5598,5600,5602,5604,5606,5608,5610,5612,5614,5616,5618,5620,5622,5625,5627,5629,5631,5633,5635,5637,5639,5641,5643,5645,5647,5649,5651,5653,5655,5657,5659,5661,5663,5665,5667,5669,5671,5673,5675,5677,5679,5681,5683,5685,5687,5689,5691,5693,5695,5697,5699,5701,5703,5705,5707,5709,5711,5713,5715,5717,5719,5721,5723,5725,5727,5729,5731,5733,5735,5737,5739,5741,5743,5745,5747,5749,5751,5753,5755,5757,5759,5761,5763,5765,5767,5769,5771,5773,5775,5777,5779,5781,5783,5785,5787,5789,5791,5793,5795,5797,5799,5801,5803,5805,5807,5809,5811,5813,5815,5817,5819,5821,5823,5825,5827,5829,5831,5833,5835,5837,5839,5841,5843,5845,5847,5849,5851,5853,5855,5857,5859,5861,5863,5865,5867,5869,5871,5873,5875,5877,5879,5881,5883,5885,5887,5889,5891,5893,5895,5897,5899,5901,5903,5905,5907,5909,5911,5913,5915,5917,5919,5921,5923,5925,5927,5929,5931,5933,5935,5937,5939,5941,5943,5945,5947,5949,5951,5953,5955,5957,5959,5961,5963,5965,5967,5969,5971,5973,5975,5977,5979,5981,5983,5985,5987,5989,5991,5993,5995,5997,5999,6001,6003,6005,6007,6009,6011,6013,6015,6017,6019,6021,6023,6025,6027,6029,6031,6033,6035,6037,6039,6041,6043,6045,6047,6049,6051,6053,6055,6057,6059,6061,6063,6065,6067,6069,6071,6073,6075,6077,6079,6081,6083,6085,6087,6089,6091,6093,6095,6097,6099,6101,6103,6105,6107,6109,6111,6113,6115,6117,6119,6121,6123,6125,6127,6129,6131,6133,6135,6137,6139,6141,6143,6145,6147,6149,6151,6153,6155,6157,6159,6161,6163,6165,6167,6169,6171,6173,6175,6177,6179,6181,6183,6185,6187,6189,6191,6193,6195,6197,6199,6201,6203,6205,6207,6209,6211,6213,6215,6217,6219,6221,6223,6225,6227,6229,6231,6233,6235,6237,6239,6241,6243,6245,6247,6249,6251,6253,6255,6257,6259,6261,6263,6265,6267,6269,6271,6273,6275,6277,6279,6281,6283,6285,6287,6289,6291,6293,6295,6297,6299,6301,6303,6305,6307,6309,6311,6313,6315,6317,6319,6321,6323,6325,6327,6329,6331,6333,6335,6337,6339,6341,6343,6345,6347,6349,6351,6353,6355,6357,6359,6361,6363,6365,6367,6369,6371,6373,6375,6377,6379,6381,6383,6385,6387,6389,6391,6393,6395,6397,6399,6401,6403,6405,6407,6409,6411,6413,6415,6417,6419,6421,6423,6425,6427,6429,6431,6433,6435,6437,6439,6441,6443,6445,6447,6449,6451,6453,6455,6457,6459,6461,6463,6465,6467,6469,6471,6473,6475,6477,6479,6481,6483,6485,6487,6489,6491,6493,6495,6497,6499,6501,6503,6505,6507,6509,6511,6513,6515,6517,6519,6521,6523,6525,6527,6529,6531,6533,6535,6537,6539,6541,6543,6545,6547,6549,6551,6553,6555,6557,6559,6561,6563,6565,6567,6569,6571,6573,6575,6577,6579,6581,6583,6585,6587,6589,6591,6593,6595,6597,6599,6601,6603,6605,6607,6609,6611,6613,6615,6617,6619,6621,6623,6625,6627,6629,6631,6633,6635,6637,6639,6641,6643,6645,6647,6649,6651,6653,6655,6657,6659,6661,6663,6665,6667,6669,6671,6673,6675,6677,6679,6681,6683,6685,6687,6689,6691,6693,6695,6697,6699,6701,6703,6705,6707,6709,6711,6713,6715,6717,6719,6721,6723,6725,6727,6729,6731,6733,6735,6737,6739,6741,6743,6745,6747,6749,6751,6753,6755,6757,6759,6761,6763,6765,6767,6769,6771,6773,6775,6777,6779,6781,6783,6785,6787,6789,6791,6793,6795,6797,6799,6801,6803,6805,6807,6809,6811,6813,6815,6817,6819,6821,6823,6825,6827,6829,6831,6833,6835,6837,6839,6841,6843,6845,6847,6849,6851,6853,6855,6857,6859,6861,6863,6865,6867,6869,6871,6873,6875,6877,6879,6881,6883,6885,6887,6889,6891,6893,6895,6897,6899,6901,6903,6905,6907,6909,6911,6913,6915,6917,6919,6921,6923,6925,6927,6929,6931,6933,6935,6937,6939,6941,6943,6945,6947,6949,6951,6953,6955,6957,6959,6961,6963,6965,6967,6969,6971,6973,6975,6977,6979,6981,6983,6985,6987,6989,6991,6993,6995,6997,6999,7001,7003,7005,7007,7009,7011,7013,7015,7017,7019,7021,7023,7025,7027,7029],{"categories":129},[130],"AI & LLMs",{"categories":132},[133],"Developer Productivity",{"categories":135},[130],{"categories":137},[138],"Business & SaaS",{"categories":140},[130],{"categories":142},[143],"AI Automation",{"categories":145},[146],"Product Strategy",{"categories":148},[143],{"categories":150},[130],{"categories":152},[133],{"categories":154},[143],{"categories":156},[78],{"categories":158},[130],{"categories":160},[138],{"categories":162},[],{"categories":164},[130],{"categories":166},[167],"Inference & Serving",{"categories":169},[130],{"categories":171},[130],{"categories":173},[143],{"categories":175},[],{"categories":177},[178],"AI News & Trends",{"categories":180},[181],"Data Science & Visualization",{"categories":183},[143],{"categories":185},[130],{"categories":187},[130],{"categories":189},[138],{"categories":191},[133],{"categories":193},[130],{"categories":195},[143],{"categories":197},[178],{"categories":199},[130],{"categories":201},[143],{"categories":203},[143],{"categories":205},[130],{"categories":207},[130],{"categories":209},[143],{"categories":211},[130],{"categories":213},[130],{"categories":215},[130],{"categories":217},[143],{"categories":219},[178],{"categories":221},[130],{"categories":223},[130],{"categories":225},[130],{"categories":227},[],{"categories":229},[230],"Design & Frontend",{"categories":232},[181],{"categories":234},[178],{"categories":236},[130],{"categories":238},[130],{"categories":240},[130],{"categories":242},[],{"categories":244},[130],{"categories":246},[130],{"categories":248},[143],{"categories":250},[78],{"categories":252},[130],{"categories":254},[143],{"categories":256},[130],{"categories":258},[259],"Marketing & Growth",{"categories":261},[230],{"categories":263},[130],{"categories":265},[143],{"categories":267},[130],{"categories":269},[130],{"categories":271},[78],{"categories":273},[130],{"categories":275},[],{"categories":277},[],{"categories":279},[230],{"categories":281},[130],{"categories":283},[143],{"categories":285},[133],{"categories":287},[78],{"categories":289},[143],{"categories":291},[230],{"categories":293},[146],{"categories":295},[130],{"categories":297},[78],{"categories":299},[300],"DevOps & Cloud",{"categories":302},[143],{"categories":304},[146],{"categories":306},[178],{"categories":308},[130],{"categories":310},[],{"categories":312},[130],{"categories":314},[130],{"categories":316},[],{"categories":318},[143],{"categories":320},[78],{"categories":322},[],{"categories":324},[78],{"categories":326},[130],{"categories":328},[329],"Governance & Standards",{"categories":331},[138],{"categories":333},[],{"categories":335},[],{"categories":337},[130],{"categories":339},[130],{"categories":341},[143],{"categories":343},[130],{"categories":345},[130],{"categories":347},[143],{"categories":349},[130],{"categories":351},[130],{"categories":353},[130],{"categories":355},[],{"categories":357},[78],{"categories":359},[],{"categories":361},[],{"categories":363},[130],{"categories":365},[78],{"categories":367},[],{"categories":369},[78],{"categories":371},[130],{"categories":373},[130],{"categories":375},[259],{"categories":377},[130],{"categories":379},[130],{"categories":381},[130],{"categories":383},[230],{"categories":385},[230],{"categories":387},[130],{"categories":389},[78],{"categories":391},[143],{"categories":393},[394],"GovTech & Public-Sector Adoption",{"categories":396},[78],{"categories":398},[130],{"categories":400},[130],{"categories":402},[130],{"categories":404},[143],{"categories":406},[143],{"categories":408},[181],{"categories":410},[130],{"categories":412},[178],{"categories":414},[143],{"categories":416},[417],"Legal AI Tools",{"categories":419},[130],{"categories":421},[143],{"categories":423},[130],{"categories":425},[259],{"categories":427},[143],{"categories":429},[146],{"categories":431},[130],{"categories":433},[78],{"categories":435},[394],{"categories":437},[],{"categories":439},[143],{"categories":441},[],{"categories":443},[138],{"categories":445},[143],{"categories":447},[143],{"categories":449},[450],"RAG & Retrieval",{"categories":452},[138],{"categories":454},[130],{"categories":456},[78],{"categories":458},[78],{"categories":460},[300],{"categories":462},[230],{"categories":464},[143],{"categories":466},[130],{"categories":468},[130],{"categories":470},[],{"categories":472},[473],"Agents & Orchestration",{"categories":475},[78],{"categories":477},[130],{"categories":479},[],{"categories":481},[143],{"categories":483},[138],{"categories":485},[],{"categories":487},[130],{"categories":489},[],{"categories":491},[130],{"categories":493},[133],{"categories":495},[78],{"categories":497},[138],{"categories":499},[130],{"categories":501},[143],{"categories":503},[130],{"categories":505},[178],{"categories":507},[130],{"categories":509},[],{"categories":511},[130],{"categories":513},[],{"categories":515},[130],{"categories":517},[78],{"categories":519},[130],{"categories":521},[143],{"categories":523},[181],{"categories":525},[],{"categories":527},[130],{"categories":529},[230],{"categories":531},[532],"Models & Frontier Labs",{"categories":534},[],{"categories":536},[230],{"categories":538},[539],"Regulation & Governance of AI",{"categories":541},[146],{"categories":543},[143],{"categories":545},[],{"categories":547},[130],{"categories":549},[130],{"categories":551},[143],{"categories":553},[143],{"categories":555},[178],{"categories":557},[130],{"categories":559},[138],{"categories":561},[130],{"categories":563},[143],{"categories":565},[],{"categories":567},[78],{"categories":569},[143],{"categories":571},[130],{"categories":573},[146],{"categories":575},[130],{"categories":577},[578],"AI Policy & Regulation",{"categories":580},[],{"categories":582},[130],{"categories":584},[143],{"categories":586},[146],{"categories":588},[143],{"categories":590},[130],{"categories":592},[130],{"categories":594},[130],{"categories":596},[143],{"categories":598},[],{"categories":600},[181],{"categories":602},[603],"Evals & Reliability",{"categories":605},[130],{"categories":607},[130],{"categories":609},[],{"categories":611},[133],{"categories":613},[394],{"categories":615},[578],{"categories":617},[130],{"categories":619},[138],{"categories":621},[130],{"categories":623},[143],{"categories":625},[130],{"categories":627},[143],{"categories":629},[473],{"categories":631},[130],{"categories":633},[78],{"categories":635},[130],{"categories":637},[],{"categories":639},[230],{"categories":641},[],{"categories":643},[130],{"categories":645},[394],{"categories":647},[130],{"categories":649},[130],{"categories":651},[130],{"categories":653},[],{"categories":655},[130],{"categories":657},[230],{"categories":659},[78],{"categories":661},[],{"categories":663},[130],{"categories":665},[],{"categories":667},[143],{"categories":669},[130],{"categories":671},[230],{"categories":673},[],{"categories":675},[130],{"categories":677},[130],{"categories":679},[181],{"categories":681},[143],{"categories":683},[130],{"categories":685},[138],{"categories":687},[143],{"categories":689},[130],{"categories":691},[130],{"categories":693},[78],{"categories":695},[230],{"categories":697},[130],{"categories":699},[143],{"categories":701},[],{"categories":703},[78],{"categories":705},[143],{"categories":707},[181],{"categories":709},[],{"categories":711},[130],{"categories":713},[178],{"categories":715},[130],{"categories":717},[],{"categories":719},[130],{"categories":721},[130],{"categories":723},[130],{"categories":725},[138,259],{"categories":727},[],{"categories":729},[78],{"categories":731},[130],{"categories":733},[130],{"categories":735},[143],{"categories":737},[130],{"categories":739},[],{"categories":741},[],{"categories":743},[130],{"categories":745},[230],{"categories":747},[130],{"categories":749},[],{"categories":751},[130],{"categories":753},[300],{"categories":755},[],{"categories":757},[143],{"categories":759},[178],{"categories":761},[130],{"categories":763},[130],{"categories":765},[230],{"categories":767},[],{"categories":769},[178],{"categories":771},[130],{"categories":773},[167],{"categories":775},[130],{"categories":777},[130],{"categories":779},[143],{"categories":781},[178],{"categories":783},[532],{"categories":785},[130],{"categories":787},[259],{"categories":789},[],{"categories":791},[143],{"categories":793},[138],{"categories":795},[78],{"categories":797},[130],{"categories":799},[143],{"categories":801},[],{"categories":803},[130,300],{"categories":805},[130],{"categories":807},[130],{"categories":809},[130],{"categories":811},[143],{"categories":813},[130,78],{"categories":815},[181],{"categories":817},[130],{"categories":819},[130],{"categories":821},[130],{"categories":823},[78],{"categories":825},[130],{"categories":827},[143],{"categories":829},[143],{"categories":831},[578],{"categories":833},[259],{"categories":835},[130],{"categories":837},[143],{"categories":839},[130],{"categories":841},[130],{"categories":843},[143],{"categories":845},[],{"categories":847},[143],{"categories":849},[130],{"categories":851},[130],{"categories":853},[143],{"categories":855},[130],{"categories":857},[130,138],{"categories":859},[130],{"categories":861},[138],{"categories":863},[],{"categories":865},[230],{"categories":867},[230],{"categories":869},[130],{"categories":871},[],{"categories":873},[],{"categories":875},[130],{"categories":877},[178],{"categories":879},[],{"categories":881},[133],{"categories":883},[130],{"categories":885},[78],{"categories":887},[130],{"categories":889},[890],"Generative UI & Design-to-Code",{"categories":892},[130],{"categories":894},[130],{"categories":896},[230],{"categories":898},[130],{"categories":900},[901],"Algorithmic Accountability",{"categories":903},[143],{"categories":905},[78],{"categories":907},[178],{"categories":909},[230],{"categories":911},[130],{"categories":913},[],{"categories":915},[146],{"categories":917},[130],{"categories":919},[130],{"categories":921},[130],{"categories":923},[130],{"categories":925},[143],{"categories":927},[928],"MLOps & Infrastructure",{"categories":930},[130],{"categories":932},[130],{"categories":934},[130],{"categories":936},[130],{"categories":938},[130],{"categories":940},[78],{"categories":942},[178],{"categories":944},[130],{"categories":946},[146],{"categories":948},[133],{"categories":950},[130],{"categories":952},[143],{"categories":954},[300],{"categories":956},[130],{"categories":958},[138],{"categories":960},[130],{"categories":962},[230],{"categories":964},[130],{"categories":966},[130],{"categories":968},[143],{"categories":970},[],{"categories":972},[],{"categories":974},[130],{"categories":976},[167],{"categories":978},[230],{"categories":980},[178],{"categories":982},[181],{"categories":984},[],{"categories":986},[130],{"categories":988},[130],{"categories":990},[138],{"categories":992},[143],{"categories":994},[130],{"categories":996},[130],{"categories":998},[130],{"categories":1000},[130],{"categories":1002},[178],{"categories":1004},[167],{"categories":1006},[130],{"categories":1008},[230],{"categories":1010},[130],{"categories":1012},[],{"categories":1014},[143],{"categories":1016},[78],{"categories":1018},[],{"categories":1020},[130],{"categories":1022},[130],{"categories":1024},[143],{"categories":1026},[78],{"categories":1028},[130],{"categories":1030},[181],{"categories":1032},[230],{"categories":1034},[],{"categories":1036},[130],{"categories":1038},[],{"categories":1040},[130],{"categories":1042},[],{"categories":1044},[130],{"categories":1046},[130],{"categories":1048},[146],{"categories":1050},[138],{"categories":1052},[143],{"categories":1054},[143],{"categories":1056},[],{"categories":1058},[130],{"categories":1060},[133],{"categories":1062},[130],{"categories":1064},[130],{"categories":1066},[138],{"categories":1068},[178],{"categories":1070},[133],{"categories":1072},[],{"categories":1074},[130],{"categories":1076},[],{"categories":1078},[130],{"categories":1080},[],{"categories":1082},[178],{"categories":1084},[178],{"categories":1086},[],{"categories":1088},[473],{"categories":1090},[130],{"categories":1092},[230],{"categories":1094},[78],{"categories":1096},[],{"categories":1098},[417],{"categories":1100},[143],{"categories":1102},[138],{"categories":1104},[],{"categories":1106},[],{"categories":1108},[133],{"categories":1110},[181],{"categories":1112},[],{"categories":1114},[259],{"categories":1116},[143],{"categories":1118},[138],{"categories":1120},[143],{"categories":1122},[130],{"categories":1124},[138],{"categories":1126},[130],{"categories":1128},[78],{"categories":1130},[],{"categories":1132},[167],{"categories":1134},[146],{"categories":1136},[130],{"categories":1138},[230],{"categories":1140},[78],{"categories":1142},[138],{"categories":1144},[130],{"categories":1146},[78],{"categories":1148},[130],{"categories":1150},[143],{"categories":1152},[138],{"categories":1154},[130],{"categories":1156},[130],{"categories":1158},[130],{"categories":1160},[130],{"categories":1162},[130],{"categories":1164},[],{"categories":1166},[],{"categories":1168},[78],{"categories":1170},[181],{"categories":1172},[146],{"categories":1174},[130],{"categories":1176},[143],{"categories":1178},[78],{"categories":1180},[78],{"categories":1182},[130],{"categories":1184},[],{"categories":1186},[178],{"categories":1188},[146],{"categories":1190},[146],{"categories":1192},[78],{"categories":1194},[130],{"categories":1196},[603],{"categories":1198},[300],{"categories":1200},[],{"categories":1202},[143],{"categories":1204},[130],{"categories":1206},[],{"categories":1208},[133],{"categories":1210},[],{"categories":1212},[130],{"categories":1214},[130],{"categories":1216},[130],{"categories":1218},[230],{"categories":1220},[259],{"categories":1222},[130],{"categories":1224},[78],{"categories":1226},[130],{"categories":1228},[143],{"categories":1230},[],{"categories":1232},[78],{"categories":1234},[130],{"categories":1236},[133],{"categories":1238},[],{"categories":1240},[138],{"categories":1242},[130],{"categories":1244},[130],{"categories":1246},[178],{"categories":1248},[130,300],{"categories":1250},[130],{"categories":1252},[1253],"Design Systems for AI",{"categories":1255},[130],{"categories":1257},[130],{"categories":1259},[178],{"categories":1261},[130],{"categories":1263},[130],{"categories":1265},[130],{"categories":1267},[138],{"categories":1269},[130],{"categories":1271},[130],{"categories":1273},[130],{"categories":1275},[],{"categories":1277},[130],{"categories":1279},[130],{"categories":1281},[138],{"categories":1283},[130],{"categories":1285},[],{"categories":1287},[143],{"categories":1289},[143],{"categories":1291},[78],{"categories":1293},[178],{"categories":1295},[78],{"categories":1297},[130],{"categories":1299},[230],{"categories":1301},[178],{"categories":1303},[181],{"categories":1305},[130],{"categories":1307},[130],{"categories":1309},[143],{"categories":1311},[133],{"categories":1313},[578],{"categories":1315},[130],{"categories":1317},[143],{"categories":1319},[130],{"categories":1321},[78],{"categories":1323},[78],{"categories":1325},[],{"categories":1327},[],{"categories":1329},[130],{"categories":1331},[143],{"categories":1333},[146],{"categories":1335},[],{"categories":1337},[138],{"categories":1339},[130],{"categories":1341},[],{"categories":1343},[230],{"categories":1345},[78],{"categories":1347},[143],{"categories":1349},[78],{"categories":1351},[230],{"categories":1353},[130],{"categories":1355},[130],{"categories":1357},[230],{"categories":1359},[],{"categories":1361},[],{"categories":1363},[178],{"categories":1365},[143],{"categories":1367},[143],{"categories":1369},[130],{"categories":1371},[130],{"categories":1373},[130],{"categories":1375},[130],{"categories":1377},[138],{"categories":1379},[130],{"categories":1381},[130],{"categories":1383},[],{"categories":1385},[78],{"categories":1387},[78],{"categories":1389},[130],{"categories":1391},[78],{"categories":1393},[138],{"categories":1395},[],{"categories":1397},[130],{"categories":1399},[130],{"categories":1401},[130],{"categories":1403},[130],{"categories":1405},[130],{"categories":1407},[143],{"categories":1409},[133],{"categories":1411},[138],{"categories":1413},[130],{"categories":1415},[143],{"categories":1417},[178],{"categories":1419},[143],{"categories":1421},[167],{"categories":1423},[259],{"categories":1425},[130],{"categories":1427},[143],{"categories":1429},[130],{"categories":1431},[130],{"categories":1433},[130],{"categories":1435},[],{"categories":1437},[230],{"categories":1439},[],{"categories":1441},[130],{"categories":1443},[130],{"categories":1445},[],{"categories":1447},[130],{"categories":1449},[78],{"categories":1451},[138],{"categories":1453},[1454],"Visual & Generative Media",{"categories":1456},[143],{"categories":1458},[],{"categories":1460},[130],{"categories":1462},[130],{"categories":1464},[78],{"categories":1466},[300],{"categories":1468},[130],{"categories":1470},[181],{"categories":1472},[578],{"categories":1474},[78],{"categories":1476},[259],{"categories":1478},[130],{"categories":1480},[230],{"categories":1482},[130],{"categories":1484},[130],{"categories":1486},[78],{"categories":1488},[143],{"categories":1490},[130],{"categories":1492},[],{"categories":1494},[],{"categories":1496},[143],{"categories":1498},[78],{"categories":1500},[133],{"categories":1502},[143],{"categories":1504},[532],{"categories":1506},[130],{"categories":1508},[146],{"categories":1510},[130],{"categories":1512},[138],{"categories":1514},[],{"categories":1516},[130],{"categories":1518},[146],{"categories":1520},[130],{"categories":1522},[130],{"categories":1524},[130],{"categories":1526},[146],{"categories":1528},[130],{"categories":1530},[130],{"categories":1532},[259],{"categories":1534},[130],{"categories":1536},[473],{"categories":1538},[130],{"categories":1540},[143],{"categories":1542},[130],{"categories":1544},[130],{"categories":1546},[130],{"categories":1548},[130],{"categories":1550},[230],{"categories":1552},[143],{"categories":1554},[],{"categories":1556},[143],{"categories":1558},[],{"categories":1560},[300],{"categories":1562},[78],{"categories":1564},[],{"categories":1566},[532],{"categories":1568},[130],{"categories":1570},[143],{"categories":1572},[143],{"categories":1574},[130],{"categories":1576},[230,130],{"categories":1578},[133],{"categories":1580},[130],{"categories":1582},[230],{"categories":1584},[],{"categories":1586},[130],{"categories":1588},[133],{"categories":1590},[130],{"categories":1592},[1593],"Medical Imaging & Radiology",{"categories":1595},[130],{"categories":1597},[130],{"categories":1599},[130],{"categories":1601},[230],{"categories":1603},[143],{"categories":1605},[78],{"categories":1607},[],{"categories":1609},[130],{"categories":1611},[130],{"categories":1613},[130],{"categories":1615},[],{"categories":1617},[],{"categories":1619},[130],{"categories":1621},[130],{"categories":1623},[473],{"categories":1625},[130],{"categories":1627},[133],{"categories":1629},[130],{"categories":1631},[130],{"categories":1633},[],{"categories":1635},[143],{"categories":1637},[130],{"categories":1639},[146],{"categories":1641},[78],{"categories":1643},[130],{"categories":1645},[143],{"categories":1647},[473],{"categories":1649},[130],{"categories":1651},[143],{"categories":1653},[130],{"categories":1655},[130],{"categories":1657},[130],{"categories":1659},[230],{"categories":1661},[143],{"categories":1663},[300],{"categories":1665},[230],{"categories":1667},[138],{"categories":1669},[143],{"categories":1671},[178],{"categories":1673},[130],{"categories":1675},[130],{"categories":1677},[146],{"categories":1679},[130],{"categories":1681},[130],{"categories":1683},[130],{"categories":1685},[130],{"categories":1687},[143],{"categories":1689},[130],{"categories":1691},[78],{"categories":1693},[78],{"categories":1695},[130],{"categories":1697},[146],{"categories":1699},[],{"categories":1701},[178],{"categories":1703},[],{"categories":1705},[146],{"categories":1707},[143],{"categories":1709},[130],{"categories":1711},[143],{"categories":1713},[1253],{"categories":1715},[1253],{"categories":1717},[230],{"categories":1719},[130],{"categories":1721},[130],{"categories":1723},[130],{"categories":1725},[143],{"categories":1727},[78],{"categories":1729},[230],{"categories":1731},[143],{"categories":1733},[178],{"categories":1735},[],{"categories":1737},[130],{"categories":1739},[],{"categories":1741},[130],{"categories":1743},[130],{"categories":1745},[130],{"categories":1747},[130],{"categories":1749},[143],{"categories":1751},[1752],"Contract Review & E-Discovery",{"categories":1754},[130],{"categories":1756},[230],{"categories":1758},[130],{"categories":1760},[133],{"categories":1762},[130],{"categories":1764},[178],{"categories":1766},[130],{"categories":1768},[130],{"categories":1770},[259],{"categories":1772},[78],{"categories":1774},[130],{"categories":1776},[130],{"categories":1778},[143],{"categories":1780},[143],{"categories":1782},[901],{"categories":1784},[130],{"categories":1786},[130],{"categories":1788},[143],{"categories":1790},[143],{"categories":1792},[130],{"categories":1794},[130],{"categories":1796},[130],{"categories":1798},[143],{"categories":1800},[130],{"categories":1802},[130],{"categories":1804},[473],{"categories":1806},[450],{"categories":1808},[130],{"categories":1810},[143],{"categories":1812},[130],{"categories":1814},[1815],"Law-Firm Practice & Adoption",{"categories":1817},[130],{"categories":1819},[143],{"categories":1821},[230],{"categories":1823},[130],{"categories":1825},[130],{"categories":1827},[130],{"categories":1829},[],{"categories":1831},[],{"categories":1833},[78],{"categories":1835},[130],{"categories":1837},[],{"categories":1839},[143],{"categories":1841},[133],{"categories":1843},[300],{"categories":1845},[130],{"categories":1847},[],{"categories":1849},[133],{"categories":1851},[138],{"categories":1853},[130],{"categories":1855},[259],{"categories":1857},[],{"categories":1859},[138],{"categories":1861},[143],{"categories":1863},[138],{"categories":1865},[],{"categories":1867},[130],{"categories":1869},[146],{"categories":1871},[130],{"categories":1873},[78],{"categories":1875},[],{"categories":1877},[],{"categories":1879},[],{"categories":1881},[],{"categories":1883},[130],{"categories":1885},[146],{"categories":1887},[143],{"categories":1889},[300],{"categories":1891},[130],{"categories":1893},[133],{"categories":1895},[78],{"categories":1897},[130],{"categories":1899},[130],{"categories":1901},[78],{"categories":1903},[146],{"categories":1905},[130],{"categories":1907},[130],{"categories":1909},[130],{"categories":1911},[928],{"categories":1913},[130],{"categories":1915},[78],{"categories":1917},[130],{"categories":1919},[259],{"categories":1921},[78],{"categories":1923},[138],{"categories":1925},[130],{"categories":1927},[130],{"categories":1929},[130],{"categories":1931},[230],{"categories":1933},[130],{"categories":1935},[130],{"categories":1937},[130],{"categories":1939},[130],{"categories":1941},[138],{"categories":1943},[143],{"categories":1945},[130,133],{"categories":1947},[473],{"categories":1949},[130],{"categories":1951},[130],{"categories":1953},[78],{"categories":1955},[78],{"categories":1957},[230],{"categories":1959},[143],{"categories":1961},[143],{"categories":1963},[78],{"categories":1965},[130],{"categories":1967},[130],{"categories":1969},[130],{"categories":1971},[],{"categories":1973},[],{"categories":1975},[130],{"categories":1977},[181],{"categories":1979},[130],{"categories":1981},[143],{"categories":1983},[],{"categories":1985},[130],{"categories":1987},[130],{"categories":1989},[78],{"categories":1991},[181],{"categories":1993},[178],{"categories":1995},[230],{"categories":1997},[130],{"categories":1999},[143],{"categories":2001},[130],{"categories":2003},[78],{"categories":2005},[],{"categories":2007},[143],{"categories":2009},[130],{"categories":2011},[130],{"categories":2013},[130],{"categories":2015},[130],{"categories":2017},[],{"categories":2019},[143],{"categories":2021},[130],{"categories":2023},[130],{"categories":2025},[130],{"categories":2027},[],{"categories":2029},[143],{"categories":2031},[130],{"categories":2033},[130],{"categories":2035},[138],{"categories":2037},[130],{"categories":2039},[130],{"categories":2041},[],{"categories":2043},[133],{"categories":2045},[130],{"categories":2047},[130],{"categories":2049},[130],{"categories":2051},[230],{"categories":2053},[130],{"categories":2055},[78],{"categories":2057},[130],{"categories":2059},[133],{"categories":2061},[130],{"categories":2063},[78],{"categories":2065},[259],{"categories":2067},[143],{"categories":2069},[143],{"categories":2071},[130],{"categories":2073},[130],{"categories":2075},[130,230],{"categories":2077},[130],{"categories":2079},[143],{"categories":2081},[178],{"categories":2083},[130],{"categories":2085},[178],{"categories":2087},[143],{"categories":2089},[230],{"categories":2091},[130],{"categories":2093},[],{"categories":2095},[78],{"categories":2097},[300],{"categories":2099},[230],{"categories":2101},[78],{"categories":2103},[130],{"categories":2105},[146],{"categories":2107},[130],{"categories":2109},[130],{"categories":2111},[143],{"categories":2113},[],{"categories":2115},[],{"categories":2117},[130],{"categories":2119},[],{"categories":2121},[],{"categories":2123},[146],{"categories":2125},[78],{"categories":2127},[130],{"categories":2129},[143],{"categories":2131},[143],{"categories":2133},[138],{"categories":2135},[143],{"categories":2137},[300],{"categories":2139},[130],{"categories":2141},[130],{"categories":2143},[130],{"categories":2145},[167],{"categories":2147},[130],{"categories":2149},[130],{"categories":2151},[130],{"categories":2153},[78],{"categories":2155},[143],{"categories":2157},[130],{"categories":2159},[130],{"categories":2161},[78],{"categories":2163},[417],{"categories":2165},[143],{"categories":2167},[901],{"categories":2169},[],{"categories":2171},[230],{"categories":2173},[1815],{"categories":2175},[78],{"categories":2177},[],{"categories":2179},[],{"categories":2181},[130],{"categories":2183},[143],{"categories":2185},[],{"categories":2187},[],{"categories":2189},[130],{"categories":2191},[259],{"categories":2193},[130],{"categories":2195},[259],{"categories":2197},[143],{"categories":2199},[130],{"categories":2201},[130],{"categories":2203},[78],{"categories":2205},[146],{"categories":2207},[],{"categories":2209},[130],{"categories":2211},[130],{"categories":2213},[78],{"categories":2215},[1752],{"categories":2217},[230],{"categories":2219},[230],{"categories":2221},[130],{"categories":2223},[143],{"categories":2225},[133],{"categories":2227},[130],{"categories":2229},[130],{"categories":2231},[130],{"categories":2233},[130],{"categories":2235},[230],{"categories":2237},[230],{"categories":2239},[143],{"categories":2241},[143],{"categories":2243},[143],{"categories":2245},[130],{"categories":2247},[130],{"categories":2249},[],{"categories":2251},[130],{"categories":2253},[],{"categories":2255},[2256],"Interaction & Product Design",{"categories":2258},[130],{"categories":2260},[143],{"categories":2262},[78],{"categories":2264},[329],{"categories":2266},[178],{"categories":2268},[78],{"categories":2270},[130],{"categories":2272},[130],{"categories":2274},[130],{"categories":2276},[78],{"categories":2278},[130],{"categories":2280},[133],{"categories":2282},[143],{"categories":2284},[130],{"categories":2286},[],{"categories":2288},[143],{"categories":2290},[143],{"categories":2292},[143],{"categories":2294},[],{"categories":2296},[78],{"categories":2298},[130],{"categories":2300},[143],{"categories":2302},[133],{"categories":2304},[2256],{"categories":2306},[130],{"categories":2308},[133],{"categories":2310},[133],{"categories":2312},[],{"categories":2314},[143],{"categories":2316},[78],{"categories":2318},[],{"categories":2320},[143],{"categories":2322},[178],{"categories":2324},[130],{"categories":2326},[143],{"categories":2328},[130],{"categories":2330},[143],{"categories":2332},[143],{"categories":2334},[130],{"categories":2336},[130],{"categories":2338},[178],{"categories":2340},[181],{"categories":2342},[130],{"categories":2344},[146],{"categories":2346},[78],{"categories":2348},[2349],"Coding Agents & Dev Productivity",{"categories":2351},[178],{"categories":2353},[230],{"categories":2355},[130],{"categories":2357},[130],{"categories":2359},[],{"categories":2361},[130],{"categories":2363},[901],{"categories":2365},[],{"categories":2367},[130],{"categories":2369},[130],{"categories":2371},[300],{"categories":2373},[130],{"categories":2375},[178],{"categories":2377},[],{"categories":2379},[],{"categories":2381},[130],{"categories":2383},[],{"categories":2385},[143],{"categories":2387},[130],{"categories":2389},[],{"categories":2391},[78],{"categories":2393},[78],{"categories":2395},[130],{"categories":2397},[181],{"categories":2399},[],{"categories":2401},[130],{"categories":2403},[130],{"categories":2405},[130],{"categories":2407},[181],{"categories":2409},[78],{"categories":2411},[143],{"categories":2413},[],{"categories":2415},[],{"categories":2417},[130],{"categories":2419},[130],{"categories":2421},[143],{"categories":2423},[143],{"categories":2425},[394],{"categories":2427},[78],{"categories":2429},[78],{"categories":2431},[143],{"categories":2433},[178],{"categories":2435},[178],{"categories":2437},[143],{"categories":2439},[143],{"categories":2441},[130],{"categories":2443},[133],{"categories":2445},[2256],{"categories":2447},[146],{"categories":2449},[130,300],{"categories":2451},[181],{"categories":2453},[],{"categories":2455},[230],{"categories":2457},[143],{"categories":2459},[78],{"categories":2461},[133],{"categories":2463},[130],{"categories":2465},[143],{"categories":2467},[2468],"The Designer's Role & Craft",{"categories":2470},[230],{"categories":2472},[],{"categories":2474},[143],{"categories":2476},[130],{"categories":2478},[143],{"categories":2480},[143],{"categories":2482},[130],{"categories":2484},[259],{"categories":2486},[130],{"categories":2488},[78],{"categories":2490},[130],{"categories":2492},[230],{"categories":2494},[130],{"categories":2496},[],{"categories":2498},[143],{"categories":2500},[230],{"categories":2502},[146],{"categories":2504},[130],{"categories":2506},[130],{"categories":2508},[130],{"categories":2510},[2511],"AI UX Patterns",{"categories":2513},[143],{"categories":2515},[143],{"categories":2517},[143],{"categories":2519},[143],{"categories":2521},[259],{"categories":2523},[181],{"categories":2525},[130],{"categories":2527},[143],{"categories":2529},[130],{"categories":2531},[1253],{"categories":2533},[],{"categories":2535},[259],{"categories":2537},[143],{"categories":2539},[178],{"categories":2541},[78],{"categories":2543},[130],{"categories":2545},[143],{"categories":2547},[],{"categories":2549},[],{"categories":2551},[130],{"categories":2553},[130],{"categories":2555},[143],{"categories":2557},[130],{"categories":2559},[143],{"categories":2561},[394],{"categories":2563},[230],{"categories":2565},[130],{"categories":2567},[178],{"categories":2569},[78],{"categories":2571},[130],{"categories":2573},[143],{"categories":2575},[143],{"categories":2577},[],{"categories":2579},[130],{"categories":2581},[],{"categories":2583},[130],{"categories":2585},[],{"categories":2587},[130],{"categories":2589},[130],{"categories":2591},[130],{"categories":2593},[143],{"categories":2595},[78],{"categories":2597},[],{"categories":2599},[],{"categories":2601},[181],{"categories":2603},[167],{"categories":2605},[130],{"categories":2607},[130],{"categories":2609},[130],{"categories":2611},[181],{"categories":2613},[130],{"categories":2615},[130],{"categories":2617},[178],{"categories":2619},[130],{"categories":2621},[130],{"categories":2623},[130],{"categories":2625},[143],{"categories":2627},[130],{"categories":2629},[143],{"categories":2631},[130],{"categories":2633},[130],{"categories":2635},[130],{"categories":2637},[143],{"categories":2639},[],{"categories":2641},[130],{"categories":2643},[],{"categories":2645},[130],{"categories":2647},[130],{"categories":2649},[300],{"categories":2651},[130],{"categories":2653},[],{"categories":2655},[],{"categories":2657},[230],{"categories":2659},[928],{"categories":2661},[143],{"categories":2663},[133],{"categories":2665},[2468],{"categories":2667},[],{"categories":2669},[],{"categories":2671},[130],{"categories":2673},[],{"categories":2675},[],{"categories":2677},[78],{"categories":2679},[178],{"categories":2681},[259],{"categories":2683},[143],{"categories":2685},[138],{"categories":2687},[130],{"categories":2689},[130],{"categories":2691},[138],{"categories":2693},[],{"categories":2695},[230],{"categories":2697},[146],{"categories":2699},[130],{"categories":2701},[130],{"categories":2703},[143],{"categories":2705},[138],{"categories":2707},[130],{"categories":2709},[130],{"categories":2711},[133],{"categories":2713},[130],{"categories":2715},[130],{"categories":2717},[],{"categories":2719},[133],{"categories":2721},[130],{"categories":2723},[259],{"categories":2725},[143],{"categories":2727},[178],{"categories":2729},[130],{"categories":2731},[78],{"categories":2733},[130],{"categories":2735},[130],{"categories":2737},[138],{"categories":2739},[130],{"categories":2741},[130],{"categories":2743},[130],{"categories":2745},[143],{"categories":2747},[130],{"categories":2749},[],{"categories":2751},[130],{"categories":2753},[78],{"categories":2755},[133],{"categories":2757},[130],{"categories":2759},[130],{"categories":2761},[130],{"categories":2763},[],{"categories":2765},[130],{"categories":2767},[473],{"categories":2769},[143],{"categories":2771},[138],{"categories":2773},[178],{"categories":2775},[130],{"categories":2777},[130],{"categories":2779},[],{"categories":2781},[138],{"categories":2783},[138],{"categories":2785},[130],{"categories":2787},[130],{"categories":2789},[146],{"categories":2791},[130],{"categories":2793},[130],{"categories":2795},[130],{"categories":2797},[130],{"categories":2799},[78],{"categories":2801},[78],{"categories":2803},[130],{"categories":2805},[],{"categories":2807},[78],{"categories":2809},[130],{"categories":2811},[78],{"categories":2813},[143],{"categories":2815},[578],{"categories":2817},[],{"categories":2819},[],{"categories":2821},[130],{"categories":2823},[178],{"categories":2825},[],{"categories":2827},[300],{"categories":2829},[130],{"categories":2831},[130],{"categories":2833},[130],{"categories":2835},[230],{"categories":2837},[890],{"categories":2839},[],{"categories":2841},[130],{"categories":2843},[130],{"categories":2845},[130],{"categories":2847},[78],{"categories":2849},[130],{"categories":2851},[130],{"categories":2853},[130,300],{"categories":2855},[130],{"categories":2857},[130],{"categories":2859},[230],{"categories":2861},[143],{"categories":2863},[],{"categories":2865},[143],{"categories":2867},[143],{"categories":2869},[130],{"categories":2871},[130],{"categories":2873},[130],{"categories":2875},[130],{"categories":2877},[181],{"categories":2879},[130],{"categories":2881},[2511],{"categories":2883},[133],{"categories":2885},[181],{"categories":2887},[133],{"categories":2889},[78],{"categories":2891},[230],{"categories":2893},[143],{"categories":2895},[130],{"categories":2897},[],{"categories":2899},[138],{"categories":2901},[130],{"categories":2903},[130],{"categories":2905},[178],{"categories":2907},[130],{"categories":2909},[130],{"categories":2911},[130],{"categories":2913},[143],{"categories":2915},[130],{"categories":2917},[130],{"categories":2919},[130],{"categories":2921},[138],{"categories":2923},[],{"categories":2925},[300],{"categories":2927},[130],{"categories":2929},[394],{"categories":2931},[230],{"categories":2933},[230],{"categories":2935},[78],{"categories":2937},[143],{"categories":2939},[130],{"categories":2941},[138],{"categories":2943},[178],{"categories":2945},[130],{"categories":2947},[130],{"categories":2949},[130],{"categories":2951},[230],{"categories":2953},[143],{"categories":2955},[143],{"categories":2957},[130],{"categories":2959},[130],{"categories":2961},[532],{"categories":2963},[143],{"categories":2965},[],{"categories":2967},[130],{"categories":2969},[130],{"categories":2971},[130],{"categories":2973},[],{"categories":2975},[],{"categories":2977},[130],{"categories":2979},[130],{"categories":2981},[143],{"categories":2983},[130],{"categories":2985},[130],{"categories":2987},[130],{"categories":2989},[78],{"categories":2991},[130],{"categories":2993},[130],{"categories":2995},[143],{"categories":2997},[130],{"categories":2999},[130],{"categories":3001},[130],{"categories":3003},[130],{"categories":3005},[130],{"categories":3007},[],{"categories":3009},[78],{"categories":3011},[181],{"categories":3013},[130],{"categories":3015},[143],{"categories":3017},[143],{"categories":3019},[130],{"categories":3021},[130],{"categories":3023},[],{"categories":3025},[],{"categories":3027},[130],{"categories":3029},[130],{"categories":3031},[130],{"categories":3033},[178],{"categories":3035},[181],{"categories":3037},[],{"categories":3039},[130],{"categories":3041},[230],{"categories":3043},[130],{"categories":3045},[300],{"categories":3047},[1815],{"categories":3049},[178],{"categories":3051},[78],{"categories":3053},[130],{"categories":3055},[78],{"categories":3057},[78],{"categories":3059},[130],{"categories":3061},[130],{"categories":3063},[78],{"categories":3065},[178],{"categories":3067},[178],{"categories":3069},[300],{"categories":3071},[143],{"categories":3073},[],{"categories":3075},[178],{"categories":3077},[130],{"categories":3079},[143],{"categories":3081},[133],{"categories":3083},[78],{"categories":3085},[130],{"categories":3087},[178],{"categories":3089},[],{"categories":3091},[130],{"categories":3093},[78],{"categories":3095},[78],{"categories":3097},[181],{"categories":3099},[130],{"categories":3101},[178],{"categories":3103},[130],{"categories":3105},[78],{"categories":3107},[143],{"categories":3109},[143],{"categories":3111},[178],{"categories":3113},[143],{"categories":3115},[300],{"categories":3117},[143],{"categories":3119},[130],{"categories":3121},[130],{"categories":3123},[130],{"categories":3125},[130],{"categories":3127},[78],{"categories":3129},[130],{"categories":3131},[],{"categories":3133},[143],{"categories":3135},[138],{"categories":3137},[78],{"categories":3139},[],{"categories":3141},[],{"categories":3143},[130],{"categories":3145},[143],{"categories":3147},[130],{"categories":3149},[130],{"categories":3151},[3152],"Frameworks & Tooling",{"categories":3154},[130],{"categories":3156},[130],{"categories":3158},[78],{"categories":3160},[130],{"categories":3162},[130],{"categories":3164},[],{"categories":3166},[181],{"categories":3168},[181],{"categories":3170},[133],{"categories":3172},[130],{"categories":3174},[143],{"categories":3176},[130],{"categories":3178},[230],{"categories":3180},[],{"categories":3182},[1815],{"categories":3184},[130],{"categories":3186},[78],{"categories":3188},[130],{"categories":3190},[300],{"categories":3192},[300],{"categories":3194},[],{"categories":3196},[143],{"categories":3198},[143],{"categories":3200},[130],{"categories":3202},[130],{"categories":3204},[178],{"categories":3206},[143],{"categories":3208},[178],{"categories":3210},[130],{"categories":3212},[143],{"categories":3214},[],{"categories":3216},[230],{"categories":3218},[130],{"categories":3220},[130],{"categories":3222},[],{"categories":3224},[130],{"categories":3226},[143],{"categories":3228},[130],{"categories":3230},[130],{"categories":3232},[130],{"categories":3234},[],{"categories":3236},[78],{"categories":3238},[130],{"categories":3240},[78],{"categories":3242},[300],{"categories":3244},[130],{"categories":3246},[130],{"categories":3248},[130],{"categories":3250},[78],{"categories":3252},[138],{"categories":3254},[130],{"categories":3256},[1815],{"categories":3258},[],{"categories":3260},[143],{"categories":3262},[133],{"categories":3264},[130],{"categories":3266},[133],{"categories":3268},[130],{"categories":3270},[],{"categories":3272},[143],{"categories":3274},[130],{"categories":3276},[130],{"categories":3278},[3279],"AI Design Tooling",{"categories":3281},[230],{"categories":3283},[130],{"categories":3285},[130],{"categories":3287},[78],{"categories":3289},[230],{"categories":3291},[130],{"categories":3293},[130],{"categories":3295},[78],{"categories":3297},[178],{"categories":3299},[146],{"categories":3301},[78],{"categories":3303},[130],{"categories":3305},[130],{"categories":3307},[130],{"categories":3309},[143],{"categories":3311},[130],{"categories":3313},[],{"categories":3315},[143],{"categories":3317},[130],{"categories":3319},[130],{"categories":3321},[143],{"categories":3323},[130],{"categories":3325},[130],{"categories":3327},[130],{"categories":3329},[143],{"categories":3331},[],{"categories":3333},[143],{"categories":3335},[3152],{"categories":3337},[130],{"categories":3339},[130],{"categories":3341},[143],{"categories":3343},[143],{"categories":3345},[78],{"categories":3347},[78],{"categories":3349},[130],{"categories":3351},[],{"categories":3353},[78],{"categories":3355},[130],{"categories":3357},[130],{"categories":3359},[143],{"categories":3361},[138],{"categories":3363},[130],{"categories":3365},[],{"categories":3367},[130],{"categories":3369},[130],{"categories":3371},[2256],{"categories":3373},[],{"categories":3375},[130],{"categories":3377},[130],{"categories":3379},[130],{"categories":3381},[130],{"categories":3383},[230],{"categories":3385},[130],{"categories":3387},[],{"categories":3389},[130],{"categories":3391},[130],{"categories":3393},[130],{"categories":3395},[130],{"categories":3397},[259],{"categories":3399},[178],{"categories":3401},[130],{"categories":3403},[130],{"categories":3405},[1815],{"categories":3407},[133],{"categories":3409},[130],{"categories":3411},[130],{"categories":3413},[181],{"categories":3415},[130],{"categories":3417},[130],{"categories":3419},[178],{"categories":3421},[143],{"categories":3423},[],{"categories":3425},[130],{"categories":3427},[130],{"categories":3429},[230],{"categories":3431},[130],{"categories":3433},[259],{"categories":3435},[143],{"categories":3437},[130],{"categories":3439},[143],{"categories":3441},[],{"categories":3443},[],{"categories":3445},[],{"categories":3447},[133],{"categories":3449},[178],{"categories":3451},[143],{"categories":3453},[130],{"categories":3455},[130],{"categories":3457},[130],{"categories":3459},[130],{"categories":3461},[417],{"categories":3463},[230],{"categories":3465},[143],{"categories":3467},[130],{"categories":3469},[],{"categories":3471},[143],{"categories":3473},[143],{"categories":3475},[],{"categories":3477},[130],{"categories":3479},[143],{"categories":3481},[130],{"categories":3483},[],{"categories":3485},[130],{"categories":3487},[130],{"categories":3489},[130],{"categories":3491},[178],{"categories":3493},[230],{"categories":3495},[143],{"categories":3497},[230],{"categories":3499},[143],{"categories":3501},[130],{"categories":3503},[138],{"categories":3505},[],{"categories":3507},[],{"categories":3509},[130],{"categories":3511},[130],{"categories":3513},[130],{"categories":3515},[133],{"categories":3517},[143],{"categories":3519},[178],{"categories":3521},[],{"categories":3523},[230],{"categories":3525},[],{"categories":3527},[78],{"categories":3529},[130],{"categories":3531},[78],{"categories":3533},[230],{"categories":3535},[78],{"categories":3537},[130],{"categories":3539},[],{"categories":3541},[130],{"categories":3543},[130],{"categories":3545},[],{"categories":3547},[130],{"categories":3549},[130],{"categories":3551},[259],{"categories":3553},[130],{"categories":3555},[130],{"categories":3557},[300],{"categories":3559},[78],{"categories":3561},[130],{"categories":3563},[],{"categories":3565},[143],{"categories":3567},[130],{"categories":3569},[133],{"categories":3571},[532],{"categories":3573},[130],{"categories":3575},[130],{"categories":3577},[143],{"categories":3579},[130],{"categories":3581},[143],{"categories":3583},[130],{"categories":3585},[130],{"categories":3587},[130],{"categories":3589},[130],{"categories":3591},[],{"categories":3593},[130],{"categories":3595},[133],{"categories":3597},[130],{"categories":3599},[138],{"categories":3601},[78],{"categories":3603},[230],{"categories":3605},[],{"categories":3607},[130],{"categories":3609},[],{"categories":3611},[143],{"categories":3613},[130],{"categories":3615},[],{"categories":3617},[143],{"categories":3619},[130],{"categories":3621},[78],{"categories":3623},[230],{"categories":3625},[178],{"categories":3627},[130],{"categories":3629},[178],{"categories":3631},[143],{"categories":3633},[230],{"categories":3635},[130],{"categories":3637},[],{"categories":3639},[130],{"categories":3641},[167],{"categories":3643},[143],{"categories":3645},[130],{"categories":3647},[230],{"categories":3649},[178],{"categories":3651},[138],{"categories":3653},[78],{"categories":3655},[130],{"categories":3657},[130],{"categories":3659},[130],{"categories":3661},[130],{"categories":3663},[178],{"categories":3665},[259],{"categories":3667},[],{"categories":3669},[],{"categories":3671},[181],{"categories":3673},[473],{"categories":3675},[130],{"categories":3677},[143],{"categories":3679},[130,78],{"categories":3681},[178],{"categories":3683},[130],{"categories":3685},[130],{"categories":3687},[130],{"categories":3689},[130],{"categories":3691},[130],{"categories":3693},[130],{"categories":3695},[130],{"categories":3697},[143],{"categories":3699},[130],{"categories":3701},[143],{"categories":3703},[130],{"categories":3705},[130],{"categories":3707},[130],{"categories":3709},[],{"categories":3711},[130],{"categories":3713},[1253],{"categories":3715},[78],{"categories":3717},[230],{"categories":3719},[130],{"categories":3721},[130],{"categories":3723},[130],{"categories":3725},[181],{"categories":3727},[143],{"categories":3729},[259],{"categories":3731},[300],{"categories":3733},[],{"categories":3735},[78],{"categories":3737},[130],{"categories":3739},[138],{"categories":3741},[143],{"categories":3743},[133],{"categories":3745},[143],{"categories":3747},[130],{"categories":3749},[143],{"categories":3751},[143],{"categories":3753},[146],{"categories":3755},[78],{"categories":3757},[130],{"categories":3759},[130],{"categories":3761},[],{"categories":3763},[],{"categories":3765},[],{"categories":3767},[300],{"categories":3769},[130],{"categories":3771},[178],{"categories":3773},[130],{"categories":3775},[130],{"categories":3777},[130],{"categories":3779},[130],{"categories":3781},[],{"categories":3783},[130],{"categories":3785},[181],{"categories":3787},[138],{"categories":3789},[143],{"categories":3791},[130],{"categories":3793},[],{"categories":3795},[130],{"categories":3797},[143],{"categories":3799},[130],{"categories":3801},[300],{"categories":3803},[],{"categories":3805},[230],{"categories":3807},[230],{"categories":3809},[130],{"categories":3811},[143],{"categories":3813},[],{"categories":3815},[78],{"categories":3817},[130],{"categories":3819},[230],{"categories":3821},[130],{"categories":3823},[138],{"categories":3825},[143],{"categories":3827},[130],{"categories":3829},[],{"categories":3831},[178],{"categories":3833},[130],{"categories":3835},[130],{"categories":3837},[130],{"categories":3839},[230],{"categories":3841},[143],{"categories":3843},[178],{"categories":3845},[],{"categories":3847},[143],{"categories":3849},[138],{"categories":3851},[143],{"categories":3853},[230],{"categories":3855},[130],{"categories":3857},[130],{"categories":3859},[130],{"categories":3861},[473],{"categories":3863},[130],{"categories":3865},[143],{"categories":3867},[],{"categories":3869},[130],{"categories":3871},[130],{"categories":3873},[300],{"categories":3875},[178],{"categories":3877},[181],{"categories":3879},[578],{"categories":3881},[181],{"categories":3883},[181],{"categories":3885},[130],{"categories":3887},[],{"categories":3889},[],{"categories":3891},[],{"categories":3893},[143],{"categories":3895},[130],{"categories":3897},[143],{"categories":3899},[143],{"categories":3901},[78],{"categories":3903},[130],{"categories":3905},[450],{"categories":3907},[78],{"categories":3909},[143],{"categories":3911},[130],{"categories":3913},[130],{"categories":3915},[130],{"categories":3917},[130],{"categories":3919},[130],{"categories":3921},[143],{"categories":3923},[130],{"categories":3925},[],{"categories":3927},[],{"categories":3929},[130],{"categories":3931},[],{"categories":3933},[130],{"categories":3935},[143],{"categories":3937},[230],{"categories":3939},[130],{"categories":3941},[130],{"categories":3943},[],{"categories":3945},[143],{"categories":3947},[130],{"categories":3949},[130],{"categories":3951},[146],{"categories":3953},[130],{"categories":3955},[230],{"categories":3957},[130],{"categories":3959},[143],{"categories":3961},[138],{"categories":3963},[130],{"categories":3965},[130],{"categories":3967},[259],{"categories":3969},[143],{"categories":3971},[130],{"categories":3973},[130],{"categories":3975},[890],{"categories":3977},[130],{"categories":3979},[143],{"categories":3981},[130],{"categories":3983},[78],{"categories":3985},[130],{"categories":3987},[532],{"categories":3989},[230],{"categories":3991},[],{"categories":3993},[130],{"categories":3995},[130],{"categories":3997},[178],{"categories":3999},[473],{"categories":4001},[143],{"categories":4003},[130],{"categories":4005},[],{"categories":4007},[178],{"categories":4009},[394],{"categories":4011},[143],{"categories":4013},[143],{"categories":4015},[143],{"categories":4017},[130],{"categories":4019},[130],{"categories":4021},[143],{"categories":4023},[],{"categories":4025},[138],{"categories":4027},[130],{"categories":4029},[138],{"categories":4031},[143],{"categories":4033},[],{"categories":4035},[78],{"categories":4037},[130],{"categories":4039},[130],{"categories":4041},[133],{"categories":4043},[130],{"categories":4045},[178],{"categories":4047},[300],{"categories":4049},[167],{"categories":4051},[143],{"categories":4053},[143],{"categories":4055},[130],{"categories":4057},[130],{"categories":4059},[143],{"categories":4061},[130],{"categories":4063},[133],{"categories":4065},[],{"categories":4067},[143],{"categories":4069},[130],{"categories":4071},[130],{"categories":4073},[130],{"categories":4075},[143],{"categories":4077},[130],{"categories":4079},[],{"categories":4081},[130],{"categories":4083},[],{"categories":4085},[230],{"categories":4087},[143],{"categories":4089},[130,138],{"categories":4091},[143],{"categories":4093},[130],{"categories":4095},[],{"categories":4097},[133],{"categories":4099},[181],{"categories":4101},[138],{"categories":4103},[130],{"categories":4105},[78],{"categories":4107},[130],{"categories":4109},[130],{"categories":4111},[143],{"categories":4113},[130],{"categories":4115},[130],{"categories":4117},[130],{"categories":4119},[178],{"categories":4121},[1253],{"categories":4123},[143],{"categories":4125},[130],{"categories":4127},[],{"categories":4129},[],{"categories":4131},[130],{"categories":4133},[143],{"categories":4135},[130],{"categories":4137},[130],{"categories":4139},[300],{"categories":4141},[],{"categories":4143},[130],{"categories":4145},[143],{"categories":4147},[167],{"categories":4149},[143],{"categories":4151},[473],{"categories":4153},[],{"categories":4155},[417],{"categories":4157},[143],{"categories":4159},[130],{"categories":4161},[130],{"categories":4163},[259],{"categories":4165},[143],{"categories":4167},[130],{"categories":4169},[181],{"categories":4171},[146],{"categories":4173},[143],{"categories":4175},[130],{"categories":4177},[473],{"categories":4179},[130],{"categories":4181},[300],{"categories":4183},[138],{"categories":4185},[],{"categories":4187},[130],{"categories":4189},[130],{"categories":4191},[259],{"categories":4193},[230],{"categories":4195},[130],{"categories":4197},[130],{"categories":4199},[130],{"categories":4201},[],{"categories":4203},[259],{"categories":4205},[178],{"categories":4207},[130],{"categories":4209},[130],{"categories":4211},[130],{"categories":4213},[578],{"categories":4215},[133],{"categories":4217},[130],{"categories":4219},[146],{"categories":4221},[130],{"categories":4223},[],{"categories":4225},[],{"categories":4227},[230],{"categories":4229},[130],{"categories":4231},[181],{"categories":4233},[259],{"categories":4235},[143],{"categories":4237},[130],{"categories":4239},[130],{"categories":4241},[259],{"categories":4243},[178],{"categories":4245},[130],{"categories":4247},[],{"categories":4249},[130],{"categories":4251},[130],{"categories":4253},[],{"categories":4255},[130],{"categories":4257},[130],{"categories":4259},[603],{"categories":4261},[130],{"categories":4263},[130],{"categories":4265},[143],{"categories":4267},[78],{"categories":4269},[473],{"categories":4271},[130],{"categories":4273},[130],{"categories":4275},[130],{"categories":4277},[],{"categories":4279},[130,78],{"categories":4281},[178],{"categories":4283},[143],{"categories":4285},[78],{"categories":4287},[143],{"categories":4289},[928],{"categories":4291},[78],{"categories":4293},[78],{"categories":4295},[143],{"categories":4297},[130],{"categories":4299},[133],{"categories":4301},[],{"categories":4303},[],{"categories":4305},[143],{"categories":4307},[130],{"categories":4309},[78],{"categories":4311},[130],{"categories":4313},[133],{"categories":4315},[78],{"categories":4317},[78],{"categories":4319},[130],{"categories":4321},[259],{"categories":4323},[130],{"categories":4325},[78],{"categories":4327},[130],{"categories":4329},[],{"categories":4331},[130],{"categories":4333},[130],{"categories":4335},[230,130],{"categories":4337},[300],{"categories":4339},[133],{"categories":4341},[130],{"categories":4343},[],{"categories":4345},[130],{"categories":4347},[130],{"categories":4349},[138],{"categories":4351},[130],{"categories":4353},[138],{"categories":4355},[130],{"categories":4357},[130],{"categories":4359},[394],{"categories":4361},[130],{"categories":4363},[138],{"categories":4365},[78],{"categories":4367},[181],{"categories":4369},[143],{"categories":4371},[130],{"categories":4373},[78],{"categories":4375},[130],{"categories":4377},[130],{"categories":4379},[178],{"categories":4381},[259],{"categories":4383},[230],{"categories":4385},[130],{"categories":4387},[130],{"categories":4389},[130],{"categories":4391},[130],{"categories":4393},[133],{"categories":4395},[130],{"categories":4397},[143],{"categories":4399},[143],{"categories":4401},[78],{"categories":4403},[178],{"categories":4405},[78],{"categories":4407},[78],{"categories":4409},[130],{"categories":4411},[130],{"categories":4413},[],{"categories":4415},[],{"categories":4417},[181],{"categories":4419},[130],{"categories":4421},[78],{"categories":4423},[130],{"categories":4425},[230],{"categories":4427},[473],{"categories":4429},[417],{"categories":4431},[394],{"categories":4433},[130],{"categories":4435},[130],{"categories":4437},[130],{"categories":4439},[181],{"categories":4441},[130],{"categories":4443},[130],{"categories":4445},[130],{"categories":4447},[130],{"categories":4449},[130],{"categories":4451},[130],{"categories":4453},[130],{"categories":4455},[143],{"categories":4457},[133],{"categories":4459},[143],{"categories":4461},[130,138],{"categories":4463},[],{"categories":4465},[230],{"categories":4467},[],{"categories":4469},[146],{"categories":4471},[130],{"categories":4473},[178],{"categories":4475},[133],{"categories":4477},[130],{"categories":4479},[133],{"categories":4481},[143],{"categories":4483},[181],{"categories":4485},[143],{"categories":4487},[146],{"categories":4489},[143],{"categories":4491},[130],{"categories":4493},[130],{"categories":4495},[138],{"categories":4497},[143],{"categories":4499},[78],{"categories":4501},[259],{"categories":4503},[130],{"categories":4505},[130],{"categories":4507},[],{"categories":4509},[178],{"categories":4511},[130],{"categories":4513},[130],{"categories":4515},[130],{"categories":4517},[130],{"categories":4519},[130],{"categories":4521},[130],{"categories":4523},[78],{"categories":4525},[178],{"categories":4527},[78],{"categories":4529},[78],{"categories":4531},[130],{"categories":4533},[130],{"categories":4535},[130],{"categories":4537},[130],{"categories":4539},[417],{"categories":4541},[130],{"categories":4543},[143],{"categories":4545},[178],{"categories":4547},[130],{"categories":4549},[130],{"categories":4551},[130],{"categories":4553},[143],{"categories":4555},[130],{"categories":4557},[130],{"categories":4559},[130],{"categories":4561},[3152],{"categories":4563},[4564],"Clinical AI",{"categories":4566},[230],{"categories":4568},[130],{"categories":4570},[130],{"categories":4572},[130],{"categories":4574},[130],{"categories":4576},[300],{"categories":4578},[2511],{"categories":4580},[130],{"categories":4582},[146],{"categories":4584},[230],{"categories":4586},[130],{"categories":4588},[143],{"categories":4590},[130],{"categories":4592},[130],{"categories":4594},[178],{"categories":4596},[130],{"categories":4598},[143],{"categories":4600},[78],{"categories":4602},[259],{"categories":4604},[130],{"categories":4606},[130],{"categories":4608},[138],{"categories":4610},[130],{"categories":4612},[130],{"categories":4614},[532],{"categories":4616},[130],{"categories":4618},[],{"categories":4620},[143],{"categories":4622},[130],{"categories":4624},[78],{"categories":4626},[133],{"categories":4628},[130],{"categories":4630},[],{"categories":4632},[],{"categories":4634},[130],{"categories":4636},[],{"categories":4638},[138],{"categories":4640},[130],{"categories":4642},[130],{"categories":4644},[143],{"categories":4646},[130],{"categories":4648},[178],{"categories":4650},[178],{"categories":4652},[178],{"categories":4654},[178],{"categories":4656},[],{"categories":4658},[133],{"categories":4660},[143],{"categories":4662},[178],{"categories":4664},[130],{"categories":4666},[603],{"categories":4668},[146],{"categories":4670},[143],{"categories":4672},[130],{"categories":4674},[133],{"categories":4676},[130],{"categories":4678},[143],{"categories":4680},[130],{"categories":4682},[130],{"categories":4684},[130],{"categories":4686},[130,143],{"categories":4688},[143],{"categories":4690},[300],{"categories":4692},[178],{"categories":4694},[143],{"categories":4696},[178],{"categories":4698},[143],{"categories":4700},[130],{"categories":4702},[],{"categories":4704},[178],{"categories":4706},[259],{"categories":4708},[133],{"categories":4710},[130],{"categories":4712},[130],{"categories":4714},[],{"categories":4716},[78],{"categories":4718},[],{"categories":4720},[133],{"categories":4722},[143],{"categories":4724},[178],{"categories":4726},[130],{"categories":4728},[178],{"categories":4730},[133],{"categories":4732},[178],{"categories":4734},[178],{"categories":4736},[],{"categories":4738},[138],{"categories":4740},[143],{"categories":4742},[178],{"categories":4744},[178],{"categories":4746},[178],{"categories":4748},[178],{"categories":4750},[178],{"categories":4752},[178],{"categories":4754},[178],{"categories":4756},[178],{"categories":4758},[178],{"categories":4760},[178],{"categories":4762},[181],{"categories":4764},[133],{"categories":4766},[130],{"categories":4768},[130],{"categories":4770},[143],{"categories":4772},[143],{"categories":4774},[],{"categories":4776},[130],{"categories":4778},[130,133],{"categories":4780},[],{"categories":4782},[143],{"categories":4784},[130],{"categories":4786},[178],{"categories":4788},[143],{"categories":4790},[928],{"categories":4792},[130],{"categories":4794},[130],{"categories":4796},[130],{"categories":4798},[130],{"categories":4800},[130],{"categories":4802},[394],{"categories":4804},[130],{"categories":4806},[130],{"categories":4808},[143],{"categories":4810},[130],{"categories":4812},[130],{"categories":4814},[138],{"categories":4816},[146],{"categories":4818},[143],{"categories":4820},[143],{"categories":4822},[],{"categories":4824},[143],{"categories":4826},[230],{"categories":4828},[178],{"categories":4830},[130],{"categories":4832},[],{"categories":4834},[146],{"categories":4836},[],{"categories":4838},[78],{"categories":4840},[130],{"categories":4842},[143],{"categories":4844},[230],{"categories":4846},[130],{"categories":4848},[],{"categories":4850},[130],{"categories":4852},[130],{"categories":4854},[],{"categories":4856},[259],{"categories":4858},[130],{"categories":4860},[143],{"categories":4862},[],{"categories":4864},[],{"categories":4866},[178],{"categories":4868},[133],{"categories":4870},[130],{"categories":4872},[130],{"categories":4874},[138],{"categories":4876},[130],{"categories":4878},[130],{"categories":4880},[143],{"categories":4882},[130],{"categories":4884},[138],{"categories":4886},[138],{"categories":4888},[230],{"categories":4890},[],{"categories":4892},[130],{"categories":4894},[178],{"categories":4896},[],{"categories":4898},[130],{"categories":4900},[130],{"categories":4902},[230],{"categories":4904},[130],{"categories":4906},[130],{"categories":4908},[259],{"categories":4910},[130],{"categories":4912},[300],{"categories":4914},[],{"categories":4916},[143],{"categories":4918},[130],{"categories":4920},[259],{"categories":4922},[78],{"categories":4924},[],{"categories":4926},[130],{"categories":4928},[],{"categories":4930},[143],{"categories":4932},[230],{"categories":4934},[78],{"categories":4936},[],{"categories":4938},[3152],{"categories":4940},[138],{"categories":4942},[133],{"categories":4944},[130],{"categories":4946},[181],{"categories":4948},[143],{"categories":4950},[230],{"categories":4952},[130],{"categories":4954},[78],{"categories":4956},[],{"categories":4958},[],{"categories":4960},[130],{"categories":4962},[133],{"categories":4964},[130],{"categories":4966},[259],{"categories":4968},[],{"categories":4970},[143],{"categories":4972},[143],{"categories":4974},[130],{"categories":4976},[143],{"categories":4978},[130],{"categories":4980},[178],{"categories":4982},[78],{"categories":4984},[130],{"categories":4986},[143],{"categories":4988},[146],{"categories":4990},[130],{"categories":4992},[130],{"categories":4994},[130],{"categories":4996},[143],{"categories":4998},[130],{"categories":5000},[146],{"categories":5002},[259],{"categories":5004},[178],{"categories":5006},[],{"categories":5008},[259],{"categories":5010},[130],{"categories":5012},[],{"categories":5014},[78],{"categories":5016},[143],{"categories":5018},[],{"categories":5020},[130],{"categories":5022},[130],{"categories":5024},[130],{"categories":5026},[130],{"categories":5028},[130],{"categories":5030},[143],{"categories":5032},[138],{"categories":5034},[133],{"categories":5036},[143],{"categories":5038},[130],{"categories":5040},[230],{"categories":5042},[78],{"categories":5044},[78],{"categories":5046},[130],{"categories":5048},[181],{"categories":5050},[143],{"categories":5052},[130],{"categories":5054},[130],{"categories":5056},[143],{"categories":5058},[130],{"categories":5060},[130],{"categories":5062},[143],{"categories":5064},[138],{"categories":5066},[130],{"categories":5068},[230],{"categories":5070},[78],{"categories":5072},[143],{"categories":5074},[130],{"categories":5076},[146],{"categories":5078},[130],{"categories":5080},[143],{"categories":5082},[130],{"categories":5084},[130],{"categories":5086},[178],{"categories":5088},[130],{"categories":5090},[],{"categories":5092},[133],{"categories":5094},[130],{"categories":5096},[130],{"categories":5098},[130],{"categories":5100},[78],{"categories":5102},[78],{"categories":5104},[130],{"categories":5106},[78],{"categories":5108},[130],{"categories":5110},[143],{"categories":5112},[130],{"categories":5114},[130],{"categories":5116},[130],{"categories":5118},[130],{"categories":5120},[130],{"categories":5122},[],{"categories":5124},[130],{"categories":5126},[230],{"categories":5128},[143],{"categories":5130},[138],{"categories":5132},[178],{"categories":5134},[130],{"categories":5136},[143],{"categories":5138},[130],{"categories":5140},[143],{"categories":5142},[130],{"categories":5144},[130],{"categories":5146},[230],{"categories":5148},[143],{"categories":5150},[130],{"categories":5152},[259],{"categories":5154},[130],{"categories":5156},[181],{"categories":5158},[130],{"categories":5160},[130],{"categories":5162},[178],{"categories":5164},[130],{"categories":5166},[130],{"categories":5168},[130],{"categories":5170},[130],{"categories":5172},[143],{"categories":5174},[300],{"categories":5176},[130],{"categories":5178},[78],{"categories":5180},[143],{"categories":5182},[181],{"categories":5184},[],{"categories":5186},[143],{"categories":5188},[78],{"categories":5190},[130],{"categories":5192},[130],{"categories":5194},[2349],{"categories":5196},[230],{"categories":5198},[329],{"categories":5200},[130],{"categories":5202},[130],{"categories":5204},[130],{"categories":5206},[130],{"categories":5208},[133],{"categories":5210},[130],{"categories":5212},[130],{"categories":5214},[78],{"categories":5216},[138],{"categories":5218},[130],{"categories":5220},[78],{"categories":5222},[130],{"categories":5224},[],{"categories":5226},[143],{"categories":5228},[143],{"categories":5230},[130],{"categories":5232},[130],{"categories":5234},[130],{"categories":5236},[181],{"categories":5238},[],{"categories":5240},[178],{"categories":5242},[],{"categories":5244},[178],{"categories":5246},[130],{"categories":5248},[130],{"categories":5250},[143],{"categories":5252},[130],{"categories":5254},[143],{"categories":5256},[143],{"categories":5258},[],{"categories":5260},[130],{"categories":5262},[178],{"categories":5264},[130],{"categories":5266},[],{"categories":5268},[130],{"categories":5270},[130],{"categories":5272},[],{"categories":5274},[130],{"categories":5276},[130],{"categories":5278},[230],{"categories":5280},[78],{"categories":5282},[143],{"categories":5284},[130],{"categories":5286},[130],{"categories":5288},[130],{"categories":5290},[130],{"categories":5292},[259],{"categories":5294},[130],{"categories":5296},[130],{"categories":5298},[130],{"categories":5300},[133],{"categories":5302},[130],{"categories":5304},[130],{"categories":5306},[],{"categories":5308},[130],{"categories":5310},[130],{"categories":5312},[130],{"categories":5314},[],{"categories":5316},[133],{"categories":5318},[130],{"categories":5320},[130],{"categories":5322},[178],{"categories":5324},[78],{"categories":5326},[146],{"categories":5328},[143],{"categories":5330},[473],{"categories":5332},[130],{"categories":5334},[130],{"categories":5336},[130],{"categories":5338},[78],{"categories":5340},[178],{"categories":5342},[230],{"categories":5344},[130],{"categories":5346},[130],{"categories":5348},[130],{"categories":5350},[130],{"categories":5352},[178],{"categories":5354},[130],{"categories":5356},[230],{"categories":5358},[130],{"categories":5360},[130],{"categories":5362},[178],{"categories":5364},[230],{"categories":5366},[130],{"categories":5368},[178],{"categories":5370},[130],{"categories":5372},[143],{"categories":5374},[143],{"categories":5376},[143],{"categories":5378},[78],{"categories":5380},[178],{"categories":5382},[143],{"categories":5384},[143],{"categories":5386},[130],{"categories":5388},[78],{"categories":5390},[230],{"categories":5392},[130],{"categories":5394},[130],{"categories":5396},[143],{"categories":5398},[130],{"categories":5400},[],{"categories":5402},[143],{"categories":5404},[],{"categories":5406},[130],{"categories":5408},[130],{"categories":5410},[],{"categories":5412},[],{"categories":5414},[143],{"categories":5416},[138],{"categories":5418},[143],{"categories":5420},[5421],"Liability & Ethics",{"categories":5423},[130],{"categories":5425},[130],{"categories":5427},[130],{"categories":5429},[143],{"categories":5431},[133],{"categories":5433},[143],{"categories":5435},[138],{"categories":5437},[259],{"categories":5439},[143],{"categories":5441},[130],{"categories":5443},[130],{"categories":5445},[],{"categories":5447},[578],{"categories":5449},[143],{"categories":5451},[],{"categories":5453},[130],{"categories":5455},[133],{"categories":5457},[143],{"categories":5459},[],{"categories":5461},[143],{"categories":5463},[130],{"categories":5465},[130],{"categories":5467},[78],{"categories":5469},[130],{"categories":5471},[178],{"categories":5473},[130],{"categories":5475},[130],{"categories":5477},[146],{"categories":5479},[143],{"categories":5481},[130],{"categories":5483},[130],{"categories":5485},[130],{"categories":5487},[178],{"categories":5489},[143],{"categories":5491},[78],{"categories":5493},[230],{"categories":5495},[133],{"categories":5497},[130],{"categories":5499},[130],{"categories":5501},[130],{"categories":5503},[],{"categories":5505},[143],{"categories":5507},[143],{"categories":5509},[143],{"categories":5511},[473],{"categories":5513},[230],{"categories":5515},[143],{"categories":5517},[300],{"categories":5519},[78],{"categories":5521},[178],{"categories":5523},[130],{"categories":5525},[230],{"categories":5527},[130],{"categories":5529},[133],{"categories":5531},[],{"categories":5533},[143],{"categories":5535},[130],{"categories":5537},[130],{"categories":5539},[130],{"categories":5541},[130],{"categories":5543},[143],{"categories":5545},[130],{"categories":5547},[130],{"categories":5549},[230],{"categories":5551},[],{"categories":5553},[143],{"categories":5555},[146],{"categories":5557},[178],{"categories":5559},[143],{"categories":5561},[138],{"categories":5563},[],{"categories":5565},[130],{"categories":5567},[130],{"categories":5569},[146],{"categories":5571},[130],{"categories":5573},[143],{"categories":5575},[178],{"categories":5577},[133],{"categories":5579},[300],{"categories":5581},[130],{"categories":5583},[130],{"categories":5585},[130],{"categories":5587},[178],{"categories":5589},[138],{"categories":5591},[130],{"categories":5593},[230],{"categories":5595},[178],{"categories":5597},[300],{"categories":5599},[130],{"categories":5601},[143],{"categories":5603},[],{"categories":5605},[532],{"categories":5607},[],{"categories":5609},[130],{"categories":5611},[300],{"categories":5613},[130],{"categories":5615},[181],{"categories":5617},[130],{"categories":5619},[143],{"categories":5621},[143],{"categories":5623},[5624],"Design News & Tools",{"categories":5626},[130],{"categories":5628},[130],{"categories":5630},[178],{"categories":5632},[130],{"categories":5634},[130],{"categories":5636},[133],{"categories":5638},[143],{"categories":5640},[130],{"categories":5642},[230],{"categories":5644},[143],{"categories":5646},[143],{"categories":5648},[230],{"categories":5650},[130],{"categories":5652},[130],{"categories":5654},[473],{"categories":5656},[143],{"categories":5658},[130],{"categories":5660},[130],{"categories":5662},[473],{"categories":5664},[130],{"categories":5666},[259],{"categories":5668},[130],{"categories":5670},[143],{"categories":5672},[],{"categories":5674},[130],{"categories":5676},[130],{"categories":5678},[130],{"categories":5680},[178],{"categories":5682},[130],{"categories":5684},[133],{"categories":5686},[],{"categories":5688},[130],{"categories":5690},[130],{"categories":5692},[130],{"categories":5694},[78],{"categories":5696},[603],{"categories":5698},[78],{"categories":5700},[230],{"categories":5702},[130],{"categories":5704},[130,143],{"categories":5706},[259,138],{"categories":5708},[78],{"categories":5710},[130],{"categories":5712},[130],{"categories":5714},[130],{"categories":5716},[130],{"categories":5718},[],{"categories":5720},[143],{"categories":5722},[130],{"categories":5724},[],{"categories":5726},[130],{"categories":5728},[78],{"categories":5730},[130],{"categories":5732},[78],{"categories":5734},[],{"categories":5736},[143],{"categories":5738},[130],{"categories":5740},[138],{"categories":5742},[130],{"categories":5744},[178],{"categories":5746},[130],{"categories":5748},[],{"categories":5750},[143],{"categories":5752},[130],{"categories":5754},[],{"categories":5756},[230],{"categories":5758},[130],{"categories":5760},[130],{"categories":5762},[143],{"categories":5764},[130],{"categories":5766},[130],{"categories":5768},[133],{"categories":5770},[143],{"categories":5772},[130],{"categories":5774},[],{"categories":5776},[130],{"categories":5778},[300],{"categories":5780},[259],{"categories":5782},[138],{"categories":5784},[138],{"categories":5786},[130],{"categories":5788},[133],{"categories":5790},[133],{"categories":5792},[130],{"categories":5794},[143],{"categories":5796},[130],{"categories":5798},[130],{"categories":5800},[130],{"categories":5802},[130],{"categories":5804},[78],{"categories":5806},[130],{"categories":5808},[133],{"categories":5810},[130],{"categories":5812},[130],{"categories":5814},[143],{"categories":5816},[130],{"categories":5818},[259],{"categories":5820},[130],{"categories":5822},[178],{"categories":5824},[130],{"categories":5826},[130],{"categories":5828},[143],{"categories":5830},[146],{"categories":5832},[130],{"categories":5834},[130],{"categories":5836},[143],{"categories":5838},[],{"categories":5840},[78],{"categories":5842},[],{"categories":5844},[78],{"categories":5846},[143],{"categories":5848},[133],{"categories":5850},[130],{"categories":5852},[],{"categories":5854},[181],{"categories":5856},[300],{"categories":5858},[130],{"categories":5860},[78],{"categories":5862},[130],{"categories":5864},[],{"categories":5866},[178],{"categories":5868},[143],{"categories":5870},[78],{"categories":5872},[230],{"categories":5874},[138],{"categories":5876},[130],{"categories":5878},[130],{"categories":5880},[143],{"categories":5882},[78],{"categories":5884},[143],{"categories":5886},[178],{"categories":5888},[130],{"categories":5890},[146],{"categories":5892},[133],{"categories":5894},[146],{"categories":5896},[178],{"categories":5898},[130],{"categories":5900},[78],{"categories":5902},[130],{"categories":5904},[230],{"categories":5906},[138],{"categories":5908},[130],{"categories":5910},[130],{"categories":5912},[130],{"categories":5914},[130],{"categories":5916},[130],{"categories":5918},[130],{"categories":5920},[143],{"categories":5922},[130],{"categories":5924},[143],{"categories":5926},[130],{"categories":5928},[130],{"categories":5930},[133],{"categories":5932},[130],{"categories":5934},[143],{"categories":5936},[143],{"categories":5938},[230],{"categories":5940},[143],{"categories":5942},[143],{"categories":5944},[130],{"categories":5946},[133],{"categories":5948},[143],{"categories":5950},[230],{"categories":5952},[],{"categories":5954},[130],{"categories":5956},[181],{"categories":5958},[473],{"categories":5960},[130],{"categories":5962},[143],{"categories":5964},[130],{"categories":5966},[130],{"categories":5968},[78],{"categories":5970},[130],{"categories":5972},[],{"categories":5974},[130],{"categories":5976},[143],{"categories":5978},[130],{"categories":5980},[259],{"categories":5982},[130],{"categories":5984},[78],{"categories":5986},[130],{"categories":5988},[178],{"categories":5990},[143],{"categories":5992},[130],{"categories":5994},[259],{"categories":5996},[143],{"categories":5998},[138],{"categories":6000},[138],{"categories":6002},[130],{"categories":6004},[130],{"categories":6006},[130],{"categories":6008},[130],{"categories":6010},[130],{"categories":6012},[130],{"categories":6014},[133],{"categories":6016},[],{"categories":6018},[130],{"categories":6020},[130],{"categories":6022},[143],{"categories":6024},[143],{"categories":6026},[130],{"categories":6028},[130],{"categories":6030},[130],{"categories":6032},[130],{"categories":6034},[130],{"categories":6036},[78],{"categories":6038},[],{"categories":6040},[133],{"categories":6042},[130],{"categories":6044},[130],{"categories":6046},[143],{"categories":6048},[143],{"categories":6050},[],{"categories":6052},[78],{"categories":6054},[78],{"categories":6056},[130],{"categories":6058},[259],{"categories":6060},[138],{"categories":6062},[230],{"categories":6064},[],{"categories":6066},[130],{"categories":6068},[143],{"categories":6070},[133],{"categories":6072},[130],{"categories":6074},[130],{"categories":6076},[78],{"categories":6078},[133],{"categories":6080},[130],{"categories":6082},[130],{"categories":6084},[178],{"categories":6086},[181],{"categories":6088},[130],{"categories":6090},[178],{"categories":6092},[143],{"categories":6094},[130],{"categories":6096},[],{"categories":6098},[178],{"categories":6100},[143],{"categories":6102},[230],{"categories":6104},[181],{"categories":6106},[130],{"categories":6108},[130],{"categories":6110},[],{"categories":6112},[143],{"categories":6114},[143],{"categories":6116},[143],{"categories":6118},[3152],{"categories":6120},[178],{"categories":6122},[130],{"categories":6124},[78],{"categories":6126},[130],{"categories":6128},[130],{"categories":6130},[130],{"categories":6132},[130],{"categories":6134},[130],{"categories":6136},[138],{"categories":6138},[130],{"categories":6140},[133],{"categories":6142},[1815],{"categories":6144},[300],{"categories":6146},[133],{"categories":6148},[],{"categories":6150},[130],{"categories":6152},[],{"categories":6154},[178],{"categories":6156},[143],{"categories":6158},[230],{"categories":6160},[130],{"categories":6162},[130],{"categories":6164},[130],{"categories":6166},[178],{"categories":6168},[],{"categories":6170},[143],{"categories":6172},[130],{"categories":6174},[143],{"categories":6176},[143],{"categories":6178},[],{"categories":6180},[130],{"categories":6182},[],{"categories":6184},[178],{"categories":6186},[133],{"categories":6188},[230],{"categories":6190},[130],{"categories":6192},[143],{"categories":6194},[178],{"categories":6196},[130],{"categories":6198},[178],{"categories":6200},[],{"categories":6202},[178],{"categories":6204},[130],{"categories":6206},[133],{"categories":6208},[473],{"categories":6210},[143],{"categories":6212},[130],{"categories":6214},[],{"categories":6216},[78],{"categories":6218},[143],{"categories":6220},[146],{"categories":6222},[143],{"categories":6224},[133],{"categories":6226},[130],{"categories":6228},[130],{"categories":6230},[],{"categories":6232},[],{"categories":6234},[],{"categories":6236},[230],{"categories":6238},[130],{"categories":6240},[143],{"categories":6242},[130],{"categories":6244},[130],{"categories":6246},[],{"categories":6248},[],{"categories":6250},[],{"categories":6252},[130],{"categories":6254},[143],{"categories":6256},[230],{"categories":6258},[130],{"categories":6260},[],{"categories":6262},[143],{"categories":6264},[130],{"categories":6266},[130],{"categories":6268},[133],{"categories":6270},[],{"categories":6272},[],{"categories":6274},[130],{"categories":6276},[130],{"categories":6278},[143],{"categories":6280},[230],{"categories":6282},[130],{"categories":6284},[178],{"categories":6286},[],{"categories":6288},[130],{"categories":6290},[130],{"categories":6292},[259],{"categories":6294},[178],{"categories":6296},[259],{"categories":6298},[181],{"categories":6300},[130],{"categories":6302},[130],{"categories":6304},[],{"categories":6306},[],{"categories":6308},[143],{"categories":6310},[],{"categories":6312},[130],{"categories":6314},[473],{"categories":6316},[130],{"categories":6318},[130],{"categories":6320},[130],{"categories":6322},[130],{"categories":6324},[],{"categories":6326},[143],{"categories":6328},[130],{"categories":6330},[130],{"categories":6332},[],{"categories":6334},[143],{"categories":6336},[130],{"categories":6338},[178],{"categories":6340},[130],{"categories":6342},[259],{"categories":6344},[138],{"categories":6346},[146],{"categories":6348},[130],{"categories":6350},[130],{"categories":6352},[143],{"categories":6354},[181],{"categories":6356},[143],{"categories":6358},[143],{"categories":6360},[],{"categories":6362},[130],{"categories":6364},[143],{"categories":6366},[],{"categories":6368},[130],{"categories":6370},[],{"categories":6372},[178],{"categories":6374},[138],{"categories":6376},[],{"categories":6378},[130],{"categories":6380},[130],{"categories":6382},[130],{"categories":6384},[],{"categories":6386},[143],{"categories":6388},[230],{"categories":6390},[133],{"categories":6392},[130],{"categories":6394},[],{"categories":6396},[138],{"categories":6398},[259],{"categories":6400},[130],{"categories":6402},[78],{"categories":6404},[133],{"categories":6406},[181],{"categories":6408},[138],{"categories":6410},[78],{"categories":6412},[143],{"categories":6414},[78],{"categories":6416},[],{"categories":6418},[130],{"categories":6420},[146],{"categories":6422},[130],{"categories":6424},[],{"categories":6426},[143],{"categories":6428},[133],{"categories":6430},[230],{"categories":6432},[130],{"categories":6434},[133],{"categories":6436},[143],{"categories":6438},[300],{"categories":6440},[130],{"categories":6442},[130],{"categories":6444},[130],{"categories":6446},[130],{"categories":6448},[130],{"categories":6450},[133],{"categories":6452},[130],{"categories":6454},[78],{"categories":6456},[181],{"categories":6458},[143],{"categories":6460},[],{"categories":6462},[130],{"categories":6464},[130],{"categories":6466},[130],{"categories":6468},[78],{"categories":6470},[143],{"categories":6472},[178],{"categories":6474},[78],{"categories":6476},[130],{"categories":6478},[146],{"categories":6480},[],{"categories":6482},[230],{"categories":6484},[78],{"categories":6486},[178],{"categories":6488},[130],{"categories":6490},[133],{"categories":6492},[143],{"categories":6494},[130],{"categories":6496},[130],{"categories":6498},[143],{"categories":6500},[146],{"categories":6502},[130],{"categories":6504},[143],{"categories":6506},[130],{"categories":6508},[138],{"categories":6510},[143],{"categories":6512},[143,300],{"categories":6514},[130],{"categories":6516},[130],{"categories":6518},[143],{"categories":6520},[78],{"categories":6522},[130],{"categories":6524},[130],{"categories":6526},[181],{"categories":6528},[143],{"categories":6530},[259],{"categories":6532},[143],{"categories":6534},[138],{"categories":6536},[],{"categories":6538},[143],{"categories":6540},[130],{"categories":6542},[138],{"categories":6544},[],{"categories":6546},[],{"categories":6548},[78],{"categories":6550},[130],{"categories":6552},[130],{"categories":6554},[143],{"categories":6556},[181],{"categories":6558},[259],{"categories":6560},[130],{"categories":6562},[130],{"categories":6564},[130],{"categories":6566},[143],{"categories":6568},[],{"categories":6570},[143],{"categories":6572},[178],{"categories":6574},[130],{"categories":6576},[143],{"categories":6578},[143],{"categories":6580},[130],{"categories":6582},[],{"categories":6584},[178],{"categories":6586},[78],{"categories":6588},[3152],{"categories":6590},[133],{"categories":6592},[78],{"categories":6594},[130],{"categories":6596},[143],{"categories":6598},[130],{"categories":6600},[130],{"categories":6602},[259],{"categories":6604},[78],{"categories":6606},[181],{"categories":6608},[],{"categories":6610},[178],{"categories":6612},[130],{"categories":6614},[130],{"categories":6616},[],{"categories":6618},[143],{"categories":6620},[130],{"categories":6622},[130],{"categories":6624},[130],{"categories":6626},[130],{"categories":6628},[143],{"categories":6630},[130],{"categories":6632},[130],{"categories":6634},[130],{"categories":6636},[146],{"categories":6638},[130],{"categories":6640},[143],{"categories":6642},[130],{"categories":6644},[130],{"categories":6646},[130],{"categories":6648},[130],{"categories":6650},[130],{"categories":6652},[130],{"categories":6654},[130],{"categories":6656},[138],{"categories":6658},[],{"categories":6660},[146],{"categories":6662},[178],{"categories":6664},[143],{"categories":6666},[130],{"categories":6668},[78],{"categories":6670},[],{"categories":6672},[78],{"categories":6674},[78],{"categories":6676},[143],{"categories":6678},[78],{"categories":6680},[130],{"categories":6682},[130],{"categories":6684},[130],{"categories":6686},[143],{"categories":6688},[78],{"categories":6690},[130],{"categories":6692},[130],{"categories":6694},[130],{"categories":6696},[143],{"categories":6698},[178],{"categories":6700},[130],{"categories":6702},[130],{"categories":6704},[130],{"categories":6706},[138],{"categories":6708},[130],{"categories":6710},[143],{"categories":6712},[230],{"categories":6714},[],{"categories":6716},[130],{"categories":6718},[181],{"categories":6720},[143],{"categories":6722},[130],{"categories":6724},[130],{"categories":6726},[],{"categories":6728},[130],{"categories":6730},[130],{"categories":6732},[178],{"categories":6734},[130],{"categories":6736},[130],{"categories":6738},[143],{"categories":6740},[259],{"categories":6742},[],{"categories":6744},[],{"categories":6746},[78],{"categories":6748},[130],{"categories":6750},[130],{"categories":6752},[178],{"categories":6754},[130],{"categories":6756},[78],{"categories":6758},[178],{"categories":6760},[130],{"categories":6762},[130],{"categories":6764},[259],{"categories":6766},[181],{"categories":6768},[130],{"categories":6770},[130],{"categories":6772},[133],{"categories":6774},[143],{"categories":6776},[130],{"categories":6778},[130],{"categories":6780},[143],{"categories":6782},[138],{"categories":6784},[143],{"categories":6786},[78],{"categories":6788},[130],{"categories":6790},[138],{"categories":6792},[],{"categories":6794},[130],{"categories":6796},[181],{"categories":6798},[130],{"categories":6800},[130],{"categories":6802},[],{"categories":6804},[178],{"categories":6806},[130],{"categories":6808},[143],{"categories":6810},[181],{"categories":6812},[130],{"categories":6814},[78],{"categories":6816},[78],{"categories":6818},[78],{"categories":6820},[130],{"categories":6822},[143],{"categories":6824},[143],{"categories":6826},[130],{"categories":6828},[143],{"categories":6830},[130],{"categories":6832},[130],{"categories":6834},[230],{"categories":6836},[181],{"categories":6838},[181],{"categories":6840},[],{"categories":6842},[178],{"categories":6844},[130],{"categories":6846},[130],{"categories":6848},[78],{"categories":6850},[],{"categories":6852},[178],{"categories":6854},[178],{"categories":6856},[178],{"categories":6858},[],{"categories":6860},[143],{"categories":6862},[130],{"categories":6864},[],{"categories":6866},[133],{"categories":6868},[138],{"categories":6870},[],{"categories":6872},[130],{"categories":6874},[130],{"categories":6876},[],{"categories":6878},[78],{"categories":6880},[],{"categories":6882},[],{"categories":6884},[],{"categories":6886},[],{"categories":6888},[130],{"categories":6890},[178],{"categories":6892},[],{"categories":6894},[],{"categories":6896},[130],{"categories":6898},[130],{"categories":6900},[130],{"categories":6902},[181],{"categories":6904},[130],{"categories":6906},[181],{"categories":6908},[],{"categories":6910},[181],{"categories":6912},[181],{"categories":6914},[300],{"categories":6916},[143],{"categories":6918},[78],{"categories":6920},[],{"categories":6922},[],{"categories":6924},[181],{"categories":6926},[78],{"categories":6928},[78],{"categories":6930},[78],{"categories":6932},[],{"categories":6934},[133],{"categories":6936},[78],{"categories":6938},[78],{"categories":6940},[133],{"categories":6942},[78],{"categories":6944},[138],{"categories":6946},[78],{"categories":6948},[78],{"categories":6950},[78],{"categories":6952},[181],{"categories":6954},[178],{"categories":6956},[178],{"categories":6958},[130],{"categories":6960},[78],{"categories":6962},[181],{"categories":6964},[300],{"categories":6966},[181],{"categories":6968},[181],{"categories":6970},[181],{"categories":6972},[],{"categories":6974},[138],{"categories":6976},[],{"categories":6978},[300],{"categories":6980},[78],{"categories":6982},[78],{"categories":6984},[78],{"categories":6986},[143],{"categories":6988},[178,138],{"categories":6990},[181],{"categories":6992},[],{"categories":6994},[],{"categories":6996},[181],{"categories":6998},[],{"categories":7000},[181],{"categories":7002},[178],{"categories":7004},[143],{"categories":7006},[],{"categories":7008},[78],{"categories":7010},[130],{"categories":7012},[230],{"categories":7014},[],{"categories":7016},[130],{"categories":7018},[],{"categories":7020},[178],{"categories":7022},[133],{"categories":7024},[181],{"categories":7026},[],{"categories":7028},[78],{"categories":7030},[178],[7032,7174,7251,7334],{"id":7033,"title":7034,"ai":7035,"body":7040,"categories":7139,"created_at":79,"date_modified":79,"description":70,"extension":80,"faq":79,"featured":81,"kicker_label":79,"meta":7140,"navigation":108,"path":7157,"published_at":7158,"question":79,"scraped_at":7159,"seo":7160,"sitemap":7161,"source_id":7162,"source_name":7163,"source_type":7164,"source_url":7165,"stem":7166,"tags":7167,"thumbnail_url":7169,"tldr":7170,"tweet":7171,"unknown_tags":7172,"__hash__":7173},"summaries\u002Fsummaries\u002Ff1d79eda683914eb-formal-verification-for-ai-generated-code-with-lea-summary.md","Formal Verification for AI-Generated Code with Lean4",{"provider":7,"model":8,"input_tokens":7036,"output_tokens":7037,"processing_time_ms":7038,"cost_usd":7039},5538,815,3985,0.002607,{"type":14,"value":7041,"toc":7133},[7042,7046,7049,7053,7056,7076,7080,7083,7109,7113],[17,7043,7045],{"id":7044},"the-verification-gap-in-ai-generated-code","The Verification Gap in AI-Generated Code",[22,7047,7048],{},"Modern coding agents produce hundreds or thousands of pull requests weekly, outpacing human review and traditional testing. Current validation methods are insufficient: LLM-based judges are probabilistic, and unit tests only cover a subset of possible inputs. Formal verification addresses this by providing a mathematical guarantee that code satisfies a specification for every possible input.",[17,7050,7052],{"id":7051},"the-specification-driven-workflow","The Specification-Driven Workflow",[22,7054,7055],{},"The core methodology relies on a clear division of labor: humans own the specification, while machines own the implementation and the proof.",[47,7057,7058,7064,7070],{},[50,7059,7060,7063],{},[53,7061,7062],{},"Specification:"," The developer defines what \"correct\" means. This can be done formally in Lean or via natural language, which an AI then auto-formalizes.",[50,7065,7066,7069],{},[53,7067,7068],{},"Validation:"," Because the specification is the upstream source of truth, it must be validated by humans or tested against real inputs before implementation begins.",[50,7071,7072,7075],{},[53,7073,7074],{},"Implementation & Proof:"," AI agents generate the code based on the spec, and formal verification tools (like Lean4) prove the implementation matches the spec.",[17,7077,7079],{"id":7078},"lean4-the-chessboard-for-code","Lean4: The Chessboard for Code",[22,7081,7082],{},"Lean4 functions as both a programming language and a proof assistant. It uses a \"chess analogy\" for verification:",[47,7084,7085,7091,7097,7103],{},[50,7086,7087,7090],{},[53,7088,7089],{},"Tactics:"," These are the \"moves\" (like moving a knight or bishop) used to traverse a logic tree.",[50,7092,7093,7096],{},[53,7094,7095],{},"Theorems:"," The goal is to prove the theorem, equivalent to achieving \"checkmate.\"",[50,7098,7099,7102],{},[53,7100,7101],{},"Backtracking:"," If a specific branch of the logic tree fails to close, the system backtracks to try a different path.",[50,7104,7105,7108],{},[53,7106,7107],{},"The Kernel:"," Lean4 includes a small, independent, open-source kernel that verifies the proof. Because the kernel is small, it is highly trusted and can be independently rebuilt in languages like C++ or Rust to ensure the proof is valid.",[17,7110,7112],{"id":7111},"production-applications","Production Applications",[47,7114,7115,7121,7127],{},[50,7116,7117,7120],{},[53,7118,7119],{},"Zlib Rewrite:"," An AI successfully decomposed the C-based zlib library into lemmas, proving the entire implementation with 32,000 lines of proof.",[50,7122,7123,7126],{},[53,7124,7125],{},"Cedar Authorization:"," AWS uses Lean to define the functional semantics of the Cedar policy language, while the production code runs in Rust. The two are reconciled nightly using 100 million differential random tests to ensure they remain in sync.",[50,7128,7129,7132],{},[53,7130,7131],{},"Strata:"," An ongoing project at AWS aims to allow any programming language to be translated into a common core (Strata core) written in Lean, enabling the use of various engines—including SMT solvers and model checkers—to verify code regardless of its original language.",{"title":70,"searchDepth":71,"depth":71,"links":7134},[7135,7136,7137,7138],{"id":7044,"depth":71,"text":7045},{"id":7051,"depth":71,"text":7052},{"id":7078,"depth":71,"text":7079},{"id":7111,"depth":71,"text":7112},[78],{"content_references":7141,"triage":7153},[7142,7146,7149,7151],{"type":96,"title":7143,"url":7144,"context":7145},"Lean4","https:\u002F\u002Flean-lang.org\u002F","recommended",{"type":96,"title":7147,"url":7148,"context":99},"Cedar","https:\u002F\u002Fwww.cedarpolicy.com\u002F",{"type":96,"title":7150,"context":99},"Varys",{"type":96,"title":7152,"context":99},"Strata",{"relevance":7154,"novelty":104,"quality":104,"actionability":105,"composite":7155,"reasoning":7156},5,4.15,"Category: Software Engineering. The article discusses formal verification for AI-generated code, addressing a critical pain point for developers regarding the correctness of AI-generated outputs. It provides a clear methodology for using Lean4, which is actionable but lacks detailed step-by-step guidance for implementation.","\u002Fsummaries\u002Ff1d79eda683914eb-formal-verification-for-ai-generated-code-with-lea-summary","2026-08-28 18:00:17","2026-08-29 03:11:45",{"title":7034,"description":70},{"loc":7157},"f1d79eda683914eb","AI Engineer","video","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=lRa9sPaMyy4","summaries\u002Ff1d79eda683914eb-formal-verification-for-ai-generated-code-with-lea-summary",[120,121,7168,123],"research","https:\u002F\u002Fi.ytimg.com\u002Fvi\u002FlRa9sPaMyy4\u002Fhqdefault.jpg","As AI agents generate code at scale, traditional testing and human review fail to guarantee correctness. Formal verification using Lean4 allows developers to define specifications that machines prove mathematically, ensuring code is correct for every possible input.","This talk explains how to use [Lean4](https:\u002F\u002Flean-lang.org\u002F) to mathematically verify that code matches a human-defined specification, moving beyond probabilistic testing. The presenter details a workflow where AI agents generate both code and proofs, using [Cedar](https:\u002F\u002Fwww.cedarpolicy.com\u002F) as a real-world example of reconciling Lean-based semantics with production Rust code.",[123],"vC0xpiBMnODYLKQZADJaKHPfcAGe4bnoYx00N4u4xJo",{"id":7175,"title":7176,"ai":7177,"body":7182,"categories":7227,"created_at":79,"date_modified":79,"description":70,"extension":80,"faq":79,"featured":81,"kicker_label":79,"meta":7228,"navigation":108,"path":7235,"published_at":7236,"question":79,"scraped_at":7237,"seo":7238,"sitemap":7239,"source_id":7240,"source_name":7241,"source_type":7164,"source_url":7242,"stem":7243,"tags":7244,"thumbnail_url":7246,"tldr":7247,"tweet":7248,"unknown_tags":7249,"__hash__":7250},"summaries\u002Fsummaries\u002Ffe8244227cd99042-modernizing-legacy-codebases-with-ai-agents-summary.md","Modernizing Legacy Codebases with AI Agents",{"provider":7,"model":8,"input_tokens":7178,"output_tokens":7179,"processing_time_ms":7180,"cost_usd":7181},5753,518,2948,0.00221525,{"type":14,"value":7183,"toc":7223},[7184,7188,7191,7216,7220],[17,7185,7187],{"id":7186},"the-three-step-workflow-for-legacy-systems","The Three-Step Workflow for Legacy Systems",[22,7189,7190],{},"Legacy codebases are often defined by poor documentation, complex data flows, and a lack of tests. Rather than attempting a massive refactor, adopt a change-request-driven approach: learn the codebase organically by only modifying what is necessary. This is executed through three distinct phases:",[47,7192,7193,7204,7210],{},[50,7194,7195,7198,7199,7203],{},[53,7196,7197],{},"Plan:"," Prepare a sandbox (ideally using Docker) and document local build, linter, and testing tools in a ",[7200,7201,7202],"code",{},"README",". This allows the AI to self-correct by running tests and catching syntax errors in a disposable environment. Before writing code, use 'planning mode' to map the 'blast radius' of changes, identifying which APIs or database tables will be affected.",[50,7205,7206,7209],{},[53,7207,7208],{},"Execute:"," Treat the AI as a human coworker rather than a typewriter. Use a 'model split' strategy: employ high-reasoning models to draft acceptance criteria and tests (BDD\u002FTDD), then hand off the implementation to faster, cheaper models. To prevent context drift, break large tasks into small subtasks and maintain a markdown checklist to track progress.",[50,7211,7212,7215],{},[53,7213,7214],{},"Verify:"," Implement a three-layer filter to prevent bugs from reaching production: (1) Human code review, (2) automated CI\u002FCD AI review where a second model critiques the PR, and (3) automated smoke tests in a staging environment.",[17,7217,7219],{"id":7218},"establishing-guardrails-and-rules","Establishing Guardrails and Rules",[22,7221,7222],{},"To maintain quality and consistency, define 'Agent Rules' that dictate how the AI behaves. These rules act as automatic guardrails, enforcing standards such as 'always write tests first,' 'check that the app builds,' and 'never commit without permission.' By forcing the agent to generate multiple architectural options and critique its own plans, you can smoke out hidden requirements and ensure the AI remains aligned with your team's engineering standards.",{"title":70,"searchDepth":71,"depth":71,"links":7224},[7225,7226],{"id":7186,"depth":71,"text":7187},{"id":7218,"depth":71,"text":7219},[78],{"content_references":7229,"triage":7232},[7230],{"type":96,"title":7231,"context":99},"Gemini",{"relevance":7154,"novelty":104,"quality":104,"actionability":7154,"composite":7233,"reasoning":7234},4.55,"Category: Software Engineering. The article provides a detailed three-step workflow for modernizing legacy codebases using AI agents, addressing a specific pain point for developers dealing with outdated systems. It offers actionable steps, such as using Docker for sandboxing and implementing a three-layer verification process, making it highly relevant and practical for the target audience.","\u002Fsummaries\u002Ffe8244227cd99042-modernizing-legacy-codebases-with-ai-agents-summary","2026-08-20 15:58:49","2026-08-21 03:13:04",{"title":7176,"description":70},{"loc":7235},"fe8244227cd99042","Google Cloud Tech","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=RKvckuC6Bsk","summaries\u002Ffe8244227cd99042-modernizing-legacy-codebases-with-ai-agents-summary",[120,7245,121,123],"agents","https:\u002F\u002Fi.ytimg.com\u002Fvi\u002FRKvckuC6Bsk\u002Fhqdefault.jpg","Tackle legacy code by treating AI as a coworker: use a three-step 'plan, execute, verify' workflow, prioritize test-driven development, and enforce strict guardrails to prevent hallucinations and errors.","This video outlines a structured, three-phase workflow for using AI agents to modify legacy codebases: planning (documenting local environments and mapping blast radii), execution (using BDD\u002FTDD and breaking tasks into subtasks), and verification (multi-layer human and automated review).",[123],"TohT1fXUnBo-dePqoNW8t83gSwQqNKAnC5wftmN8yso",{"id":7252,"title":7253,"ai":7254,"body":7259,"categories":7307,"created_at":79,"date_modified":79,"description":70,"extension":80,"faq":79,"featured":81,"kicker_label":79,"meta":7308,"navigation":108,"path":7319,"published_at":7320,"question":79,"scraped_at":7321,"seo":7322,"sitemap":7323,"source_id":7324,"source_name":7241,"source_type":7164,"source_url":7325,"stem":7326,"tags":7327,"thumbnail_url":7329,"tldr":7330,"tweet":7331,"unknown_tags":7332,"__hash__":7333},"summaries\u002Fsummaries\u002F30a30922a2b62a19-shifting-from-writing-code-to-reviewing-ai-output-summary.md","Shifting from Writing Code to Reviewing AI Output",{"provider":7,"model":8,"input_tokens":7255,"output_tokens":7256,"processing_time_ms":7257,"cost_usd":7258},4673,530,2515,0.00196325,{"type":14,"value":7260,"toc":7302},[7261,7265,7268,7272,7275,7295,7299],[17,7262,7264],{"id":7263},"the-shift-from-creator-to-reviewer","The Shift from Creator to Reviewer",[22,7266,7267],{},"AI coding agents like Claude Code have fundamentally changed the software development lifecycle. Where traditional development involves 90% of the cognitive load during the writing phase, AI-assisted development shifts that burden to the review phase. Developers must stop viewing AI as a \"code generator\" and start treating it as an \"automated brush\"—a tool that requires the human operator to maintain total responsibility for the final output.",[17,7269,7271],{"id":7270},"establishing-verification-layers","Establishing Verification Layers",[22,7273,7274],{},"To prevent the accumulation of technical debt and ensure production safety, developers must implement strict verification layers before merging AI-generated code. This includes:",[47,7276,7277,7283,7289],{},[50,7278,7279,7282],{},[53,7280,7281],{},"Draft PRs:"," Never push AI output directly to production. Use draft pull requests to isolate changes and allow for manual or automated inspection.",[50,7284,7285,7288],{},[53,7286,7287],{},"Selective Commits:"," Just because an agent generates 100,000 lines of code does not mean you must commit them. Developers should cherry-pick and refine only the code that meets their quality standards.",[50,7290,7291,7294],{},[53,7292,7293],{},"Automated Guardrails:"," Utilize git hooks and automated testing suites to enforce design specifications and security standards. If the agent's output doesn't pass these automated checks, it shouldn't reach the codebase.",[17,7296,7298],{"id":7297},"maintaining-craft-in-an-ai-first-workflow","Maintaining Craft in an AI-First Workflow",[22,7300,7301],{},"Concerns about \"losing the craft\" of programming are often misplaced; the craft has simply evolved. Being a skilled developer now requires the ability to audit, verify, and refine AI-generated logic. The goal is to reduce maintenance costs, not just increase velocity. If an agent produces code that is difficult to maintain or understand, the developer has failed to exercise their responsibility as the final gatekeeper. By treating AI as a tool that requires oversight rather than a replacement for judgment, developers can maintain high standards while leveraging the speed of modern agents.",{"title":70,"searchDepth":71,"depth":71,"links":7303},[7304,7305,7306],{"id":7263,"depth":71,"text":7264},{"id":7270,"depth":71,"text":7271},{"id":7297,"depth":71,"text":7298},[78],{"content_references":7309,"triage":7316},[7310,7313],{"type":96,"title":7311,"url":7312,"context":99},"Gemini Enterprise Agent Platform","https:\u002F\u002Fgoo.gle\u002F4x2pKi8",{"type":96,"title":7314,"url":7315,"context":99},"Claude","https:\u002F\u002Fgoo.gle\u002F4fAqu8x",{"relevance":7154,"novelty":104,"quality":104,"actionability":104,"composite":7317,"reasoning":7318},4.35,"Category: Software Engineering. The article provides a deep dive into the evolving role of developers in an AI-assisted coding environment, addressing the audience's pain point of adapting to new workflows. It offers actionable strategies like using draft PRs and automated guardrails, which are directly applicable to developers looking to integrate AI tools responsibly.","\u002Fsummaries\u002F30a30922a2b62a19-shifting-from-writing-code-to-reviewing-ai-output-summary","2026-07-29 16:01:31","2026-07-30 03:13:47",{"title":7253,"description":70},{"loc":7319},"30a30922a2b62a19","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=ABC7ifp8-Uo","summaries\u002F30a30922a2b62a19-shifting-from-writing-code-to-reviewing-ai-output-summary",[120,121,7328,123],"dev-productivity","https:\u002F\u002Fi.ytimg.com\u002Fvi\u002FABC7ifp8-Uo\u002Fhqdefault.jpg","AI coding agents don't replace developer craft; they shift the primary responsibility from writing code to rigorous review, verification, and production safety.","A discussion on shifting from writing code to managing AI-generated output, emphasizing that developers must treat [Claude](https:\u002F\u002Fgoo.gle\u002F4fAqu8x) or the [Gemini Enterprise Agent Platform](https:\u002F\u002Fgoo.gle\u002F4x2pKi8) as tools requiring rigorous manual review, automated testing, and strict verification layers rather than passive code generation.",[7328,123],"0Y8A48Hhw49j_OifXMsaYqHCzAXgZf8qX8BArmCcl30",{"id":7335,"title":7336,"ai":7337,"body":7342,"categories":7439,"created_at":79,"date_modified":79,"description":70,"extension":80,"faq":79,"featured":81,"kicker_label":79,"meta":7440,"navigation":108,"path":7454,"published_at":7455,"question":79,"scraped_at":7456,"seo":7457,"sitemap":7458,"source_id":7459,"source_name":7460,"source_type":7164,"source_url":7461,"stem":7462,"tags":7463,"thumbnail_url":7464,"tldr":7465,"tweet":7466,"unknown_tags":7467,"__hash__":7468},"summaries\u002Fsummaries\u002F0acb7a565e28d92f-how-ai-is-reshaping-the-integrated-development-env-summary.md","How AI is Reshaping the Integrated Development Environment",{"provider":7,"model":8,"input_tokens":7338,"output_tokens":7339,"processing_time_ms":7340,"cost_usd":7341},4905,788,3475,0.00240825,{"type":14,"value":7343,"toc":7434},[7344,7348,7351,7354,7374,7378,7381,7384,7404,7408,7411,7431],[17,7345,7347],{"id":7346},"the-evolution-of-the-ide","The Evolution of the IDE",[22,7349,7350],{},"An Integrated Development Environment (IDE) serves as a centralized hub for writing, building, and debugging software. By consolidating version control, build systems, and testing tools into a single interface, IDEs reduce the cognitive load of context switching. While developers can technically perform these tasks using a text editor and terminal, an IDE provides a contained workflow that minimizes manual setup and configuration.",[22,7352,7353],{},"Modern IDEs provide core features designed to reduce friction, including:",[47,7355,7356,7362,7368],{},[50,7357,7358,7361],{},[53,7359,7360],{},"Code Automation:"," Real-time syntax checking, autocomplete, and syntax highlighting.",[50,7363,7364,7367],{},[53,7365,7366],{},"Refactoring Tools:"," Safe, automated logic extraction and renaming across entire projects.",[50,7369,7370,7373],{},[53,7371,7372],{},"Integrated Lifecycle Management:"," Built-in version control (Git), build automation, and testing suites that provide immediate feedback before code is even merged.",[17,7375,7377],{"id":7376},"ai-driven-development-workflows","AI-Driven Development Workflows",[22,7379,7380],{},"AI integration is fundamentally changing how developers interact with their environments by shifting the focus from file-level editing to codebase-level awareness. Unlike traditional autocomplete, AI-powered IDEs reference the surrounding project context to generate suggestions that align with existing patterns and conventions.",[22,7382,7383],{},"Key AI-driven improvements include:",[47,7385,7386,7392,7398],{},[50,7387,7388,7391],{},[53,7389,7390],{},"Contextual Generation:"," Developers can describe intended behavior in plain language, and the IDE drafts implementations that match the project's specific architecture.",[50,7393,7394,7397],{},[53,7395,7396],{},"Continuous Analysis:"," AI tools scan for inefficient patterns, security vulnerabilities, and logic duplication in real-time, surfacing issues long before the testing phase.",[50,7399,7400,7403],{},[53,7401,7402],{},"Automated Debugging:"," AI can trace execution paths and identify state changes, reducing the need for manual, line-by-line debugging.",[17,7405,7407],{"id":7406},"selecting-the-right-environment","Selecting the Right Environment",[22,7409,7410],{},"Choosing an IDE depends on the project's language, performance requirements, and team structure.",[47,7412,7413,7419,7425],{},[50,7414,7415,7418],{},[53,7416,7417],{},"Local IDEs:"," (e.g., IntelliJ IDEA, PyCharm, Visual Studio) Run on local hardware and are ideal for deep analysis and large-scale projects.",[50,7420,7421,7424],{},[53,7422,7423],{},"Cloud IDEs:"," (e.g., AWS Cloud9, Replit) Hosted remotely, allowing teams to share environments and offload compute-intensive tasks to the cloud.",[50,7426,7427,7430],{},[53,7428,7429],{},"Specialized IDEs:"," Tools like Android Studio or MySQL Workbench are tailored for specific domains like mobile development or database management, providing specialized SDKs and emulators.",[22,7432,7433],{},"Ultimately, the goal of AI in the IDE is to handle repetitive tasks—such as documentation, boilerplate generation, and routine refactoring—allowing the developer to remain in control of the high-level logic and final review.",{"title":70,"searchDepth":71,"depth":71,"links":7435},[7436,7437,7438],{"id":7346,"depth":71,"text":7347},{"id":7376,"depth":71,"text":7377},{"id":7406,"depth":71,"text":7407},[78],{"content_references":7441,"triage":7452},[7442,7444,7446,7448,7450],{"type":96,"title":7443,"context":99},"Visual Studio Code",{"type":96,"title":7445,"context":99},"IntelliJ IDEA",{"type":96,"title":7447,"context":99},"PyCharm",{"type":96,"title":7449,"context":99},"AWS Cloud9",{"type":96,"title":7451,"context":99},"Replit",{"relevance":7154,"novelty":104,"quality":104,"actionability":104,"composite":7317,"reasoning":7453},"Category: Software Engineering. The article discusses the evolution of IDEs and how AI is enhancing developer productivity through features like contextual generation and automated debugging, which directly addresses the audience's need for practical applications in AI-powered product development. It provides specific examples of AI-driven improvements that can be implemented in development workflows.","\u002Fsummaries\u002F0acb7a565e28d92f-how-ai-is-reshaping-the-integrated-development-env-summary","2026-07-27 11:00:04","2026-07-28 03:09:38",{"title":7336,"description":70},{"loc":7454},"0acb7a565e28d92f","IBM Technology","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=fWZylhIHF9w","summaries\u002F0acb7a565e28d92f-how-ai-is-reshaping-the-integrated-development-env-summary",[120,121,123,7328],"https:\u002F\u002Fi.ytimg.com\u002Fvi\u002FfWZylhIHF9w\u002Fhqdefault.jpg","AI-powered IDEs are shifting from simple text editors to context-aware partners that automate refactoring, debugging, and code generation by analyzing entire codebases rather than individual files.","This is a high-level primer on the role of Integrated Development Environments in software engineering. It provides a standard definition of [IDEs](https:\u002F\u002Fibm.biz\u002F~J9S6W8pvo), explains their core features like version control and debugging, and briefly touches on how AI integration is automating routine tasks within these environments.",[123,7328],"zGs4cmjy1KfwsQoiGcrGsPKVf6GWPzp8yBIKe5ILWf0"]