[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"summary-neural-autoformalization-proves-ai-law-compliance-summary":3,"summaries-facets-categories":86,"summary-related-neural-autoformalization-proves-ai-law-compliance-summary":4492},{"id":4,"title":5,"ai":6,"body":13,"categories":64,"created_at":65,"date_modified":65,"description":58,"extension":66,"faq":65,"featured":67,"kicker_label":65,"meta":68,"navigation":69,"path":70,"published_at":71,"question":65,"scraped_at":65,"seo":72,"sitemap":73,"source_id":74,"source_name":75,"source_type":76,"source_url":77,"stem":78,"tags":79,"thumbnail_url":65,"tldr":83,"tweet":65,"unknown_tags":84,"__hash__":85},"summaries\u002Fsummaries\u002Fneural-autoformalization-proves-ai-law-compliance-summary.md","Neural Autoformalization Proves AI Law Compliance",{"provider":7,"model":8,"input_tokens":9,"output_tokens":10,"processing_time_ms":11,"cost_usd":12},"openrouter","x-ai\u002Fgrok-4.1-fast",9019,1465,17722,0.00251365,{"type":14,"value":15,"toc":57},"minimark",[16,21,25,28,31,35,38,41,44,48,51,54],[17,18,20],"h2",{"id":19},"policy-to-logic-pipeline-delivers-verifiable-compliance","Policy-to-Logic Pipeline Delivers Verifiable Compliance",[22,23,24],"p",{},"Neural autoformalization uses LLMs combined with neurosymbolic architectures to transform natural language policies—like \"For loans above ₹10 lakh, at least two independent credit checks must be completed unless the customer is a government entity\"—into precise formal rules: IF loan_amount > 1,000,000 AND customer_type ≠ GOVERNMENT THEN required_checks ≥ 2. This targets theorem provers (Lean, Coq, Isabelle), SMT solvers, and model checkers for machine verification.",[22,26,27],{},"The five-stage process starts by ingesting messy sources (PDFs, Word files) to segment into structured elements: definitions, obligations (must\u002Fshall), prohibitions, conditions (unless\u002Fonly if), and thresholds (₹10 lakh, $10,000, 24 hours). LLMs generate candidate formalizations in SMT-LIB or temporal logic, respecting cross-references. Symbolic tools then verify consistency, simulate scenarios, and flag contradictions via redundant LLM translations. Human experts approve high-risk rules, creating a governed repository.",[22,29,30],{},"This compresses the risky chain (PDF → human interpretation → Excel → code → ML) into policy text → formal logic → enforced AI decisions, ensuring traceability (source clause), consistency (same input yields same output), and verifiability (prove decisions followed rules).",[17,32,34],{"id":33},"driven-by-regulation-and-ai-maturity-in-key-sectors","Driven by Regulation and AI Maturity in Key Sectors",[22,36,37],{},"Converging forces make this essential now: AI explosion in regulated fields (credit scoring, fraud\u002FAML, claims triage, diagnostics); global rules like EU AI Act\u002FGDPR, US executive orders, India DPDP Act demanding auditable compliance; and LLM advances in autoformalizing math proofs, now extending to policies.",[22,39,40],{},"In banking across US\u002FEU\u002FIndia\u002FGlobal South, it formalizes KYC\u002FAML thresholds, sanctions, and affordability rules from 180-page policies, auto-ingesting updates for versioned, jurisdiction-specific logic. AI blocks violating actions pre-commitment. Healthcare formalizes protocols (drug contraindications, sepsis escalations) so diagnostic AI proves guideline adherence. Data protection encodes GDPR\u002FDPDP constraints as access\u002Fmovement rules, preventing unauthorized cross-border flows in multi-cloud setups.",[22,42,43],{},"Outcomes: Regulators see exact rule traces for 10,000+ decisions; hospitals log evidence-backed plans; enterprises shift lawyers from manual coding to reviewing AI translations.",[17,45,47],{"id":46},"enterprise-patterns-risks-and-immediate-actions","Enterprise Patterns, Risks, and Immediate Actions",[22,49,50],{},"Build a \"Policy-to-Logic Factory\": Ingest updates, prioritize high-impact sections (lending thresholds, data transfers), autoformalize, route for review, store in versioned repos. Expose as Guardrails-as-a-Service API: AI queries \"Is this loan approval allowed?\" with violation details if denied. Enable continuous audits via decision logs, rule tagging, and simulations (e.g., stricter EU thresholds).",[22,52,53],{},"Risks demand caution: Laws' intentional ambiguity resists rigid logic, risking false precision—formalize only checkable rules like thresholds, leave judicial parts human. Misformalization (dropped exceptions) cascades errors, so mandate redundant translations, SMT checks, and testing. Governance requires defining model ownership, review cadences, cross-jurisdiction conflict resolution.",[22,55,56],{},"Leaders map formalization gaps in critical policies, pilot one area (e.g., KYC) with stakeholders using LLMs\u002Fsolvers in sandbox, then design approval workflows aligned to regulations before scaling. This evolves from \"trust us\" to \"prove it,\" embedding non-negotiable constraints in AI agents for court-standable compliance.",{"title":58,"searchDepth":59,"depth":59,"links":60},"",2,[61,62,63],{"id":19,"depth":59,"text":20},{"id":33,"depth":59,"text":34},{"id":46,"depth":59,"text":47},[],null,"md",false,{},true,"\u002Fsummaries\u002Fneural-autoformalization-proves-ai-law-compliance-summary","2026-04-08 21:21:17",{"title":5,"description":58},{"loc":70},"0d75cde08439d294","Data and Beyond","article","https:\u002F\u002Funknown","summaries\u002Fneural-autoformalization-proves-ai-law-compliance-summary",[80,81,82],"llm","ai-tools","automation","AI converts messy laws\u002Fpolicies into machine-checkable logic via LLMs and symbolic solvers, enabling traceable decisions that regulators can verify in banking, healthcare, and data protection.",[],"3ytYlIKrRhGUoc9OwCVn1tJojg47C7gkZ2pKdfwjZIY",[87,90,92,95,97,100,103,106,109,111,113,115,117,119,121,123,126,128,130,132,134,136,138,141,143,145,147,149,151,153,155,157,159,161,163,165,167,169,171,173,175,177,179,181,183,186,188,190,192,194,196,198,200,202,204,206,208,210,212,214,216,218,220,222,224,226,228,230,232,234,236,238,240,242,244,246,248,250,252,254,256,258,260,262,264,266,268,270,272,274,276,278,280,282,284,286,288,290,292,294,296,298,300,302,304,306,308,310,312,314,316,318,320,322,324,326,328,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,394,396,398,400,402,404,406,408,410,412,414,416,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,473,475,477,479,481,483,485,487,489,491,493,495,497,499,501,503,505,507,509,511,513,515,517,519,521,523,525,527,529,531,533,535,538,540,542,544,546,548,550,552,554,556,558,560,562,564,566,568,570,572,574,576,578,580,582,584,586,588,590,592,594,596,598,600,602,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,890,892,894,896,898,900,902,904,906,908,910,912,914,916,918,920,922,924,926,928,930,932,934,936,938,940,942,944,946,948,950,952,954,956,958,960,962,964,966,968,970,972,974,976,978,980,982,984,986,988,990,992,994,996,998,1000,1002,1004,1006,1008,1010,1012,1014,1016,1018,1020,1022,1024,1026,1028,1030,1032,1034,1036,1038,1040,1042,1044,1046,1048,1050,1052,1054,1056,1058,1060,1062,1064,1066,1068,1070,1072,1074,1076,1078,1080,1082,1084,1086,1088,1090,1092,1094,1096,1098,1100,1102,1104,1106,1108,1110,1112,1114,1116,1118,1120,1122,1124,1126,1128,1130,1132,1134,1136,1138,1140,1142,1144,1146,1148,1150,1152,1154,1156,1158,1160,1162,1164,1166,1168,1170,1172,1174,1176,1178,1180,1182,1184,1186,1188,1190,1192,1194,1196,1198,1200,1202,1204,1206,1208,1210,1212,1214,1216,1218,1220,1222,1224,1226,1228,1230,1232,1234,1236,1238,1240,1242,1244,1246,1248,1250,1252,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,1454,1456,1458,1460,1462,1464,1466,1468,1470,1472,1474,1476,1478,1480,1482,1484,1486,1488,1490,1492,1494,1496,1498,1500,1502,1504,1506,1508,1510,1512,1514,1516,1518,1520,1522,1524,1526,1528,1530,1532,1534,1536,1538,1540,1542,1544,1546,1548,1550,1552,1554,1556,1558,1560,1562,1564,1566,1568,1570,1572,1574,1576,1578,1580,1582,1584,1586,1588,1590,1592,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,1752,1754,1756,1758,1760,1762,1764,1766,1768,1770,1772,1774,1776,1778,1780,1782,1784,1786,1788,1790,1792,1794,1796,1798,1800,1802,1804,1806,1808,1810,1812,1814,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,2256,2258,2260,2262,2264,2266,2268,2270,2272,2274,2276,2278,2280,2282,2284,2286,2288,2290,2292,2294,2296,2298,2300,2302,2304,2306,2308,2310,2312,2314,2316,2318,2320,2322,2324,2326,2328,2330,2332,2334,2336,2338,2340,2342,2344,2346,2348,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,2468,2470,2472,2474,2476,2478,2480,2482,2484,2486,2488,2490,2492,2494,2496,2498,2500,2502,2504,2506,2508,2510,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,3152,3154,3156,3158,3160,3162,3164,3166,3168,3170,3172,3174,3176,3178,3180,3182,3184,3186,3188,3190,3192,3194,3196,3198,3200,3202,3204,3206,3208,3210,3212,3214,3216,3218,3220,3222,3224,3226,3228,3230,3232,3234,3236,3238,3240,3242,3244,3246,3248,3250,3252,3254,3256,3258,3260,3262,3264,3266,3268,3270,3272,3274,3276,3278,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],{"categories":88},[89],"Business & SaaS",{"categories":91},[89],{"categories":93},[94],"AI News & Trends",{"categories":96},[],{"categories":98},[99],"AI Automation",{"categories":101},[102],"Marketing & Growth",{"categories":104},[105],"Design & Frontend",{"categories":107},[108],"Software Engineering",{"categories":110},[99],{"categories":112},[],{"categories":114},[105],{"categories":116},[105],{"categories":118},[99],{"categories":120},[105],{"categories":122},[105],{"categories":124},[125],"AI & LLMs",{"categories":127},[105],{"categories":129},[105],{"categories":131},[],{"categories":133},[105],{"categories":135},[105],{"categories":137},[125],{"categories":139},[140],"Developer Productivity",{"categories":142},[125],{"categories":144},[125],{"categories":146},[125],{"categories":148},[94],{"categories":150},[125],{"categories":152},[99],{"categories":154},[89],{"categories":156},[94],{"categories":158},[102],{"categories":160},[],{"categories":162},[],{"categories":164},[99],{"categories":166},[99],{"categories":168},[99],{"categories":170},[102],{"categories":172},[125],{"categories":174},[140],{"categories":176},[94],{"categories":178},[],{"categories":180},[],{"categories":182},[],{"categories":184},[185],"Data Science & Visualization",{"categories":187},[],{"categories":189},[99],{"categories":191},[108],{"categories":193},[99],{"categories":195},[99],{"categories":197},[125],{"categories":199},[102],{"categories":201},[99],{"categories":203},[],{"categories":205},[],{"categories":207},[],{"categories":209},[105],{"categories":211},[105],{"categories":213},[99],{"categories":215},[102],{"categories":217},[140],{"categories":219},[105],{"categories":221},[125],{"categories":223},[108],{"categories":225},[125],{"categories":227},[],{"categories":229},[99],{"categories":231},[125],{"categories":233},[140],{"categories":235},[140],{"categories":237},[],{"categories":239},[102],{"categories":241},[89],{"categories":243},[125],{"categories":245},[89],{"categories":247},[89],{"categories":249},[99],{"categories":251},[102],{"categories":253},[99],{"categories":255},[89],{"categories":257},[99],{"categories":259},[105],{"categories":261},[125],{"categories":263},[105],{"categories":265},[125],{"categories":267},[89],{"categories":269},[125],{"categories":271},[102],{"categories":273},[],{"categories":275},[125],{"categories":277},[89],{"categories":279},[],{"categories":281},[94],{"categories":283},[108],{"categories":285},[],{"categories":287},[125],{"categories":289},[105],{"categories":291},[125],{"categories":293},[105],{"categories":295},[],{"categories":297},[99],{"categories":299},[],{"categories":301},[],{"categories":303},[],{"categories":305},[125],{"categories":307},[],{"categories":309},[125],{"categories":311},[125],{"categories":313},[105],{"categories":315},[125],{"categories":317},[140],{"categories":319},[99],{"categories":321},[102],{"categories":323},[140],{"categories":325},[140],{"categories":327},[140],{"categories":329},[102],{"categories":331},[102],{"categories":333},[125],{"categories":335},[125],{"categories":337},[105],{"categories":339},[89],{"categories":341},[105],{"categories":343},[108],{"categories":345},[89],{"categories":347},[89],{"categories":349},[89],{"categories":351},[105],{"categories":353},[],{"categories":355},[],{"categories":357},[125],{"categories":359},[125],{"categories":361},[108],{"categories":363},[125],{"categories":365},[125],{"categories":367},[],{"categories":369},[125],{"categories":371},[125],{"categories":373},[],{"categories":375},[125],{"categories":377},[94],{"categories":379},[94],{"categories":381},[],{"categories":383},[],{"categories":385},[102],{"categories":387},[102],{"categories":389},[108],{"categories":391},[125],{"categories":393},[],{"categories":395},[],{"categories":397},[99],{"categories":399},[125],{"categories":401},[125],{"categories":403},[],{"categories":405},[125,89],{"categories":407},[125],{"categories":409},[],{"categories":411},[125],{"categories":413},[125],{"categories":415},[],{"categories":417},[],{"categories":419},[99],{"categories":421},[125],{"categories":423},[125],{"categories":425},[99],{"categories":427},[125],{"categories":429},[],{"categories":431},[],{"categories":433},[125],{"categories":435},[],{"categories":437},[125],{"categories":439},[125],{"categories":441},[],{"categories":443},[99],{"categories":445},[105],{"categories":447},[],{"categories":449},[99,450],"DevOps & Cloud",{"categories":452},[125],{"categories":454},[99],{"categories":456},[125],{"categories":458},[],{"categories":460},[],{"categories":462},[],{"categories":464},[],{"categories":466},[125],{"categories":468},[99],{"categories":470},[],{"categories":472},[99],{"categories":474},[],{"categories":476},[125],{"categories":478},[],{"categories":480},[],{"categories":482},[],{"categories":484},[],{"categories":486},[99],{"categories":488},[105],{"categories":490},[125],{"categories":492},[102],{"categories":494},[94],{"categories":496},[89],{"categories":498},[140],{"categories":500},[],{"categories":502},[99],{"categories":504},[99],{"categories":506},[125],{"categories":508},[],{"categories":510},[],{"categories":512},[],{"categories":514},[99],{"categories":516},[],{"categories":518},[99],{"categories":520},[99],{"categories":522},[94],{"categories":524},[99],{"categories":526},[125],{"categories":528},[],{"categories":530},[125],{"categories":532},[],{"categories":534},[94],{"categories":536},[99,537],"Product Strategy",{"categories":539},[108],{"categories":541},[450],{"categories":543},[537],{"categories":545},[125],{"categories":547},[99],{"categories":549},[],{"categories":551},[94],{"categories":553},[94],{"categories":555},[99],{"categories":557},[],{"categories":559},[99],{"categories":561},[125],{"categories":563},[125],{"categories":565},[140],{"categories":567},[125],{"categories":569},[],{"categories":571},[125,108],{"categories":573},[94],{"categories":575},[125],{"categories":577},[94],{"categories":579},[99],{"categories":581},[94],{"categories":583},[],{"categories":585},[108],{"categories":587},[89],{"categories":589},[],{"categories":591},[99],{"categories":593},[99],{"categories":595},[99],{"categories":597},[99],{"categories":599},[89],{"categories":601},[105],{"categories":603},[102],{"categories":605},[],{"categories":607},[99],{"categories":609},[],{"categories":611},[94],{"categories":613},[94],{"categories":615},[94],{"categories":617},[99],{"categories":619},[94],{"categories":621},[125],{"categories":623},[140],{"categories":625},[125],{"categories":627},[108],{"categories":629},[125,140],{"categories":631},[140],{"categories":633},[140],{"categories":635},[140],{"categories":637},[140],{"categories":639},[125],{"categories":641},[],{"categories":643},[],{"categories":645},[102],{"categories":647},[],{"categories":649},[125],{"categories":651},[140],{"categories":653},[125],{"categories":655},[105],{"categories":657},[108],{"categories":659},[],{"categories":661},[125],{"categories":663},[140],{"categories":665},[102],{"categories":667},[94],{"categories":669},[108],{"categories":671},[125],{"categories":673},[],{"categories":675},[108],{"categories":677},[105],{"categories":679},[89],{"categories":681},[89],{"categories":683},[],{"categories":685},[105],{"categories":687},[89],{"categories":689},[94],{"categories":691},[140],{"categories":693},[99],{"categories":695},[99],{"categories":697},[125],{"categories":699},[125],{"categories":701},[94],{"categories":703},[94],{"categories":705},[140],{"categories":707},[94],{"categories":709},[],{"categories":711},[537],{"categories":713},[99],{"categories":715},[94],{"categories":717},[94],{"categories":719},[94],{"categories":721},[125],{"categories":723},[99],{"categories":725},[99],{"categories":727},[89],{"categories":729},[89],{"categories":731},[125],{"categories":733},[94],{"categories":735},[],{"categories":737},[125],{"categories":739},[89],{"categories":741},[99],{"categories":743},[99],{"categories":745},[99],{"categories":747},[105],{"categories":749},[99],{"categories":751},[140],{"categories":753},[94],{"categories":755},[94],{"categories":757},[94],{"categories":759},[94],{"categories":761},[94],{"categories":763},[],{"categories":765},[],{"categories":767},[140],{"categories":769},[94],{"categories":771},[94],{"categories":773},[94],{"categories":775},[],{"categories":777},[125],{"categories":779},[],{"categories":781},[],{"categories":783},[105],{"categories":785},[89],{"categories":787},[],{"categories":789},[94],{"categories":791},[99],{"categories":793},[99],{"categories":795},[99],{"categories":797},[102],{"categories":799},[99],{"categories":801},[],{"categories":803},[94],{"categories":805},[94],{"categories":807},[125],{"categories":809},[],{"categories":811},[102],{"categories":813},[102],{"categories":815},[125],{"categories":817},[94],{"categories":819},[89],{"categories":821},[108],{"categories":823},[125],{"categories":825},[],{"categories":827},[125],{"categories":829},[125],{"categories":831},[108],{"categories":833},[125],{"categories":835},[125],{"categories":837},[125],{"categories":839},[102],{"categories":841},[94],{"categories":843},[125],{"categories":845},[125],{"categories":847},[94],{"categories":849},[99],{"categories":851},[140],{"categories":853},[89],{"categories":855},[125],{"categories":857},[140],{"categories":859},[140],{"categories":861},[],{"categories":863},[102],{"categories":865},[94],{"categories":867},[94],{"categories":869},[140],{"categories":871},[99],{"categories":873},[99],{"categories":875},[99],{"categories":877},[99],{"categories":879},[105],{"categories":881},[125],{"categories":883},[125],{"categories":885},[537],{"categories":887},[125],{"categories":889},[125],{"categories":891},[99],{"categories":893},[89],{"categories":895},[102],{"categories":897},[],{"categories":899},[89],{"categories":901},[89],{"categories":903},[],{"categories":905},[105],{"categories":907},[125],{"categories":909},[],{"categories":911},[],{"categories":913},[94],{"categories":915},[94],{"categories":917},[94],{"categories":919},[94],{"categories":921},[],{"categories":923},[94],{"categories":925},[125],{"categories":927},[125],{"categories":929},[],{"categories":931},[94],{"categories":933},[94],{"categories":935},[89],{"categories":937},[125],{"categories":939},[],{"categories":941},[],{"categories":943},[94],{"categories":945},[94],{"categories":947},[94],{"categories":949},[125],{"categories":951},[94],{"categories":953},[94],{"categories":955},[94],{"categories":957},[94],{"categories":959},[94],{"categories":961},[],{"categories":963},[99],{"categories":965},[125],{"categories":967},[102],{"categories":969},[89],{"categories":971},[99],{"categories":973},[125],{"categories":975},[],{"categories":977},[102],{"categories":979},[94],{"categories":981},[94],{"categories":983},[94],{"categories":985},[94],{"categories":987},[140],{"categories":989},[108],{"categories":991},[],{"categories":993},[125],{"categories":995},[99],{"categories":997},[99],{"categories":999},[99],{"categories":1001},[450],{"categories":1003},[99],{"categories":1005},[125],{"categories":1007},[125],{"categories":1009},[108],{"categories":1011},[450],{"categories":1013},[185],{"categories":1015},[125],{"categories":1017},[185],{"categories":1019},[],{"categories":1021},[102],{"categories":1023},[102],{"categories":1025},[105],{"categories":1027},[450],{"categories":1029},[99],{"categories":1031},[125],{"categories":1033},[125],{"categories":1035},[99],{"categories":1037},[99],{"categories":1039},[99],{"categories":1041},[140],{"categories":1043},[140],{"categories":1045},[99],{"categories":1047},[99],{"categories":1049},[],{"categories":1051},[99],{"categories":1053},[99],{"categories":1055},[125],{"categories":1057},[185],{"categories":1059},[99],{"categories":1061},[99],{"categories":1063},[99],{"categories":1065},[99],{"categories":1067},[89],{"categories":1069},[105],{"categories":1071},[94],{"categories":1073},[108],{"categories":1075},[450],{"categories":1077},[108],{"categories":1079},[185],{"categories":1081},[],{"categories":1083},[108],{"categories":1085},[],{"categories":1087},[],{"categories":1089},[108],{"categories":1091},[125],{"categories":1093},[],{"categories":1095},[],{"categories":1097},[],{"categories":1099},[89],{"categories":1101},[],{"categories":1103},[],{"categories":1105},[185],{"categories":1107},[125],{"categories":1109},[450],{"categories":1111},[125],{"categories":1113},[],{"categories":1115},[99],{"categories":1117},[140],{"categories":1119},[140],{"categories":1121},[102],{"categories":1123},[102],{"categories":1125},[102],{"categories":1127},[450],{"categories":1129},[108],{"categories":1131},[99],{"categories":1133},[89],{"categories":1135},[89],{"categories":1137},[108],{"categories":1139},[105],{"categories":1141},[185],{"categories":1143},[105],{"categories":1145},[],{"categories":1147},[125],{"categories":1149},[99],{"categories":1151},[99],{"categories":1153},[140],{"categories":1155},[99],{"categories":1157},[99],{"categories":1159},[105],{"categories":1161},[105],{"categories":1163},[99],{"categories":1165},[450],{"categories":1167},[125],{"categories":1169},[],{"categories":1171},[102],{"categories":1173},[99],{"categories":1175},[89],{"categories":1177},[99],{"categories":1179},[99],{"categories":1181},[],{"categories":1183},[125],{"categories":1185},[99],{"categories":1187},[99],{"categories":1189},[140],{"categories":1191},[99],{"categories":1193},[125],{"categories":1195},[],{"categories":1197},[99],{"categories":1199},[],{"categories":1201},[105],{"categories":1203},[140],{"categories":1205},[125],{"categories":1207},[108],{"categories":1209},[105],{"categories":1211},[140],{"categories":1213},[185],{"categories":1215},[140],{"categories":1217},[],{"categories":1219},[125],{"categories":1221},[125],{"categories":1223},[537],{"categories":1225},[108],{"categories":1227},[125,99],{"categories":1229},[99],{"categories":1231},[125],{"categories":1233},[99],{"categories":1235},[99,108],{"categories":1237},[99],{"categories":1239},[125],{"categories":1241},[],{"categories":1243},[140],{"categories":1245},[125],{"categories":1247},[99],{"categories":1249},[125],{"categories":1251},[],{"categories":1253},[108],{"categories":1255},[89],{"categories":1257},[99],{"categories":1259},[],{"categories":1261},[185],{"categories":1263},[108],{"categories":1265},[99],{"categories":1267},[108],{"categories":1269},[],{"categories":1271},[99],{"categories":1273},[],{"categories":1275},[99],{"categories":1277},[],{"categories":1279},[],{"categories":1281},[105],{"categories":1283},[140],{"categories":1285},[125],{"categories":1287},[99],{"categories":1289},[],{"categories":1291},[99],{"categories":1293},[108],{"categories":1295},[125],{"categories":1297},[125],{"categories":1299},[108],{"categories":1301},[108],{"categories":1303},[140],{"categories":1305},[89],{"categories":1307},[],{"categories":1309},[125],{"categories":1311},[125],{"categories":1313},[125],{"categories":1315},[99],{"categories":1317},[125],{"categories":1319},[],{"categories":1321},[105],{"categories":1323},[125],{"categories":1325},[99],{"categories":1327},[],{"categories":1329},[125],{"categories":1331},[],{"categories":1333},[125],{"categories":1335},[],{"categories":1337},[],{"categories":1339},[],{"categories":1341},[125],{"categories":1343},[125],{"categories":1345},[125],{"categories":1347},[125],{"categories":1349},[],{"categories":1351},[125],{"categories":1353},[125],{"categories":1355},[125],{"categories":1357},[],{"categories":1359},[125],{"categories":1361},[],{"categories":1363},[102],{"categories":1365},[125],{"categories":1367},[],{"categories":1369},[],{"categories":1371},[],{"categories":1373},[125],{"categories":1375},[94],{"categories":1377},[94],{"categories":1379},[],{"categories":1381},[99],{"categories":1383},[125],{"categories":1385},[],{"categories":1387},[125],{"categories":1389},[125],{"categories":1391},[94],{"categories":1393},[],{"categories":1395},[125],{"categories":1397},[94],{"categories":1399},[99],{"categories":1401},[125],{"categories":1403},[],{"categories":1405},[],{"categories":1407},[],{"categories":1409},[99],{"categories":1411},[99],{"categories":1413},[99],{"categories":1415},[99],{"categories":1417},[125],{"categories":1419},[105],{"categories":1421},[105],{"categories":1423},[99],{"categories":1425},[99],{"categories":1427},[140],{"categories":1429},[537],{"categories":1431},[140],{"categories":1433},[140],{"categories":1435},[125],{"categories":1437},[99],{"categories":1439},[125],{"categories":1441},[140],{"categories":1443},[125],{"categories":1445},[99],{"categories":1447},[99],{"categories":1449},[99],{"categories":1451},[99],{"categories":1453},[99],{"categories":1455},[125],{"categories":1457},[140],{"categories":1459},[140],{"categories":1461},[102],{"categories":1463},[99],{"categories":1465},[],{"categories":1467},[99],{"categories":1469},[],{"categories":1471},[94],{"categories":1473},[125],{"categories":1475},[],{"categories":1477},[89],{"categories":1479},[105],{"categories":1481},[105],{"categories":1483},[99],{"categories":1485},[99],{"categories":1487},[125],{"categories":1489},[125],{"categories":1491},[94],{"categories":1493},[94],{"categories":1495},[450],{"categories":1497},[99],{"categories":1499},[94],{"categories":1501},[],{"categories":1503},[125],{"categories":1505},[99],{"categories":1507},[99],{"categories":1509},[99],{"categories":1511},[99],{"categories":1513},[125],{"categories":1515},[125],{"categories":1517},[125],{"categories":1519},[125],{"categories":1521},[99],{"categories":1523},[99],{"categories":1525},[99],{"categories":1527},[99],{"categories":1529},[],{"categories":1531},[105],{"categories":1533},[125],{"categories":1535},[125],{"categories":1537},[125],{"categories":1539},[],{"categories":1541},[102],{"categories":1543},[],{"categories":1545},[140],{"categories":1547},[],{"categories":1549},[99],{"categories":1551},[140],{"categories":1553},[105],{"categories":1555},[140],{"categories":1557},[],{"categories":1559},[140],{"categories":1561},[140],{"categories":1563},[],{"categories":1565},[105],{"categories":1567},[99],{"categories":1569},[99],{"categories":1571},[140],{"categories":1573},[125],{"categories":1575},[125],{"categories":1577},[],{"categories":1579},[94],{"categories":1581},[],{"categories":1583},[102],{"categories":1585},[],{"categories":1587},[105],{"categories":1589},[94],{"categories":1591},[105],{"categories":1593},[105],{"categories":1595},[105],{"categories":1597},[105],{"categories":1599},[105],{"categories":1601},[105],{"categories":1603},[105],{"categories":1605},[105],{"categories":1607},[105],{"categories":1609},[105],{"categories":1611},[],{"categories":1613},[99],{"categories":1615},[105],{"categories":1617},[125],{"categories":1619},[125],{"categories":1621},[105],{"categories":1623},[105],{"categories":1625},[105],{"categories":1627},[105],{"categories":1629},[105],{"categories":1631},[105],{"categories":1633},[105],{"categories":1635},[125,105],{"categories":1637},[105],{"categories":1639},[105],{"categories":1641},[105],{"categories":1643},[105],{"categories":1645},[],{"categories":1647},[105],{"categories":1649},[105],{"categories":1651},[105],{"categories":1653},[105],{"categories":1655},[105],{"categories":1657},[105],{"categories":1659},[105],{"categories":1661},[105],{"categories":1663},[105],{"categories":1665},[105,125],{"categories":1667},[105],{"categories":1669},[105],{"categories":1671},[],{"categories":1673},[94],{"categories":1675},[],{"categories":1677},[125],{"categories":1679},[],{"categories":1681},[99],{"categories":1683},[450],{"categories":1685},[537],{"categories":1687},[99],{"categories":1689},[99],{"categories":1691},[],{"categories":1693},[99],{"categories":1695},[],{"categories":1697},[99],{"categories":1699},[],{"categories":1701},[],{"categories":1703},[125],{"categories":1705},[125],{"categories":1707},[125],{"categories":1709},[94],{"categories":1711},[94],{"categories":1713},[94],{"categories":1715},[94],{"categories":1717},[],{"categories":1719},[94],{"categories":1721},[],{"categories":1723},[94],{"categories":1725},[125],{"categories":1727},[94],{"categories":1729},[94],{"categories":1731},[94],{"categories":1733},[94],{"categories":1735},[125],{"categories":1737},[94],{"categories":1739},[99],{"categories":1741},[],{"categories":1743},[99],{"categories":1745},[94],{"categories":1747},[125],{"categories":1749},[94],{"categories":1751},[94],{"categories":1753},[94],{"categories":1755},[125],{"categories":1757},[125],{"categories":1759},[125],{"categories":1761},[],{"categories":1763},[],{"categories":1765},[125],{"categories":1767},[94],{"categories":1769},[],{"categories":1771},[125],{"categories":1773},[99],{"categories":1775},[125],{"categories":1777},[99],{"categories":1779},[99],{"categories":1781},[125],{"categories":1783},[],{"categories":1785},[],{"categories":1787},[99],{"categories":1789},[99],{"categories":1791},[99],{"categories":1793},[99],{"categories":1795},[99],{"categories":1797},[99],{"categories":1799},[99],{"categories":1801},[99],{"categories":1803},[],{"categories":1805},[99],{"categories":1807},[99],{"categories":1809},[99],{"categories":1811},[125],{"categories":1813},[125],{"categories":1815},[125],{"categories":1817},[94],{"categories":1819},[125],{"categories":1821},[125],{"categories":1823},[125],{"categories":1825},[99],{"categories":1827},[102],{"categories":1829},[102],{"categories":1831},[102],{"categories":1833},[99],{"categories":1835},[],{"categories":1837},[125],{"categories":1839},[],{"categories":1841},[],{"categories":1843},[125],{"categories":1845},[],{"categories":1847},[99],{"categories":1849},[105],{"categories":1851},[140],{"categories":1853},[185],{"categories":1855},[125],{"categories":1857},[99],{"categories":1859},[105],{"categories":1861},[],{"categories":1863},[99],{"categories":1865},[102,89],{"categories":1867},[99],{"categories":1869},[99],{"categories":1871},[450],{"categories":1873},[108],{"categories":1875},[102],{"categories":1877},[140],{"categories":1879},[125],{"categories":1881},[],{"categories":1883},[125],{"categories":1885},[],{"categories":1887},[125],{"categories":1889},[125],{"categories":1891},[99],{"categories":1893},[],{"categories":1895},[125],{"categories":1897},[99],{"categories":1899},[125],{"categories":1901},[140],{"categories":1903},[99],{"categories":1905},[125],{"categories":1907},[125,140],{"categories":1909},[140],{"categories":1911},[],{"categories":1913},[125],{"categories":1915},[125],{"categories":1917},[125],{"categories":1919},[],{"categories":1921},[],{"categories":1923},[99],{"categories":1925},[102],{"categories":1927},[94],{"categories":1929},[99],{"categories":1931},[125],{"categories":1933},[94],{"categories":1935},[],{"categories":1937},[140],{"categories":1939},[94],{"categories":1941},[],{"categories":1943},[185],{"categories":1945},[102],{"categories":1947},[89],{"categories":1949},[94],{"categories":1951},[125],{"categories":1953},[99],{"categories":1955},[125],{"categories":1957},[99],{"categories":1959},[99],{"categories":1961},[94],{"categories":1963},[140],{"categories":1965},[105],{"categories":1967},[89],{"categories":1969},[125],{"categories":1971},[125],{"categories":1973},[],{"categories":1975},[],{"categories":1977},[125],{"categories":1979},[],{"categories":1981},[125],{"categories":1983},[94],{"categories":1985},[],{"categories":1987},[99],{"categories":1989},[140],{"categories":1991},[94],{"categories":1993},[140],{"categories":1995},[99],{"categories":1997},[125],{"categories":1999},[],{"categories":2001},[99],{"categories":2003},[99],{"categories":2005},[105],{"categories":2007},[99],{"categories":2009},[105],{"categories":2011},[99],{"categories":2013},[99],{"categories":2015},[105],{"categories":2017},[],{"categories":2019},[],{"categories":2021},[105],{"categories":2023},[105],{"categories":2025},[105],{"categories":2027},[108],{"categories":2029},[140],{"categories":2031},[140],{"categories":2033},[99],{"categories":2035},[94],{"categories":2037},[140],{"categories":2039},[140],{"categories":2041},[102],{"categories":2043},[105],{"categories":2045},[99],{"categories":2047},[99],{"categories":2049},[125],{"categories":2051},[140],{"categories":2053},[125],{"categories":2055},[],{"categories":2057},[450],{"categories":2059},[537],{"categories":2061},[],{"categories":2063},[],{"categories":2065},[99],{"categories":2067},[94],{"categories":2069},[102],{"categories":2071},[102],{"categories":2073},[185],{"categories":2075},[105],{"categories":2077},[185],{"categories":2079},[185],{"categories":2081},[99],{"categories":2083},[],{"categories":2085},[],{"categories":2087},[185],{"categories":2089},[108],{"categories":2091},[125],{"categories":2093},[108],{"categories":2095},[185],{"categories":2097},[108],{"categories":2099},[185],{"categories":2101},[89],{"categories":2103},[108],{"categories":2105},[140],{"categories":2107},[125],{"categories":2109},[],{"categories":2111},[185],{"categories":2113},[450],{"categories":2115},[],{"categories":2117},[125],{"categories":2119},[125],{"categories":2121},[],{"categories":2123},[],{"categories":2125},[125],{"categories":2127},[125],{"categories":2129},[94],{"categories":2131},[125],{"categories":2133},[],{"categories":2135},[94],{"categories":2137},[],{"categories":2139},[],{"categories":2141},[94],{"categories":2143},[94],{"categories":2145},[125],{"categories":2147},[125],{"categories":2149},[125],{"categories":2151},[125],{"categories":2153},[125],{"categories":2155},[125],{"categories":2157},[102],{"categories":2159},[],{"categories":2161},[125],{"categories":2163},[],{"categories":2165},[],{"categories":2167},[99],{"categories":2169},[140],{"categories":2171},[],{"categories":2173},[450],{"categories":2175},[125,450],{"categories":2177},[125],{"categories":2179},[],{"categories":2181},[105],{"categories":2183},[105],{"categories":2185},[105],{"categories":2187},[105],{"categories":2189},[105],{"categories":2191},[],{"categories":2193},[],{"categories":2195},[],{"categories":2197},[108],{"categories":2199},[99],{"categories":2201},[89],{"categories":2203},[108],{"categories":2205},[140],{"categories":2207},[105],{"categories":2209},[],{"categories":2211},[102],{"categories":2213},[537],{"categories":2215},[185],{"categories":2217},[185],{"categories":2219},[185],{"categories":2221},[140],{"categories":2223},[537],{"categories":2225},[140],{"categories":2227},[],{"categories":2229},[89],{"categories":2231},[108],{"categories":2233},[125],{"categories":2235},[105],{"categories":2237},[102],{"categories":2239},[108],{"categories":2241},[102],{"categories":2243},[125],{"categories":2245},[105],{"categories":2247},[108],{"categories":2249},[450],{"categories":2251},[125],{"categories":2253},[94],{"categories":2255},[108],{"categories":2257},[],{"categories":2259},[125],{"categories":2261},[108],{"categories":2263},[108],{"categories":2265},[99],{"categories":2267},[],{"categories":2269},[102],{"categories":2271},[102],{"categories":2273},[102],{"categories":2275},[99],{"categories":2277},[125],{"categories":2279},[],{"categories":2281},[89],{"categories":2283},[140],{"categories":2285},[140],{"categories":2287},[185],{"categories":2289},[89],{"categories":2291},[94],{"categories":2293},[185],{"categories":2295},[],{"categories":2297},[94],{"categories":2299},[94],{"categories":2301},[94],{"categories":2303},[125],{"categories":2305},[89],{"categories":2307},[125],{"categories":2309},[],{"categories":2311},[],{"categories":2313},[],{"categories":2315},[108],{"categories":2317},[99],{"categories":2319},[],{"categories":2321},[140],{"categories":2323},[105],{"categories":2325},[],{"categories":2327},[102],{"categories":2329},[],{"categories":2331},[105],{"categories":2333},[125],{"categories":2335},[140],{"categories":2337},[89],{"categories":2339},[],{"categories":2341},[105],{"categories":2343},[105],{"categories":2345},[125],{"categories":2347},[],{"categories":2349},[],{"categories":2351},[108],{"categories":2353},[125],{"categories":2355},[],{"categories":2357},[99],{"categories":2359},[125],{"categories":2361},[],{"categories":2363},[108],{"categories":2365},[99],{"categories":2367},[125],{"categories":2369},[185],{"categories":2371},[125],{"categories":2373},[],{"categories":2375},[185],{"categories":2377},[125],{"categories":2379},[108],{"categories":2381},[125],{"categories":2383},[185],{"categories":2385},[99],{"categories":2387},[125],{"categories":2389},[125],{"categories":2391},[125,99],{"categories":2393},[99],{"categories":2395},[99],{"categories":2397},[99],{"categories":2399},[105],{"categories":2401},[140],{"categories":2403},[125],{"categories":2405},[140],{"categories":2407},[105],{"categories":2409},[125],{"categories":2411},[],{"categories":2413},[],{"categories":2415},[125],{"categories":2417},[125],{"categories":2419},[125],{"categories":2421},[99],{"categories":2423},[125],{"categories":2425},[],{"categories":2427},[125],{"categories":2429},[125],{"categories":2431},[99],{"categories":2433},[99],{"categories":2435},[125],{"categories":2437},[125],{"categories":2439},[],{"categories":2441},[125],{"categories":2443},[],{"categories":2445},[125],{"categories":2447},[125],{"categories":2449},[125],{"categories":2451},[125],{"categories":2453},[125],{"categories":2455},[125],{"categories":2457},[125],{"categories":2459},[],{"categories":2461},[125],{"categories":2463},[94],{"categories":2465},[94],{"categories":2467},[],{"categories":2469},[],{"categories":2471},[125],{"categories":2473},[],{"categories":2475},[125],{"categories":2477},[125,450],{"categories":2479},[],{"categories":2481},[94],{"categories":2483},[],{"categories":2485},[125],{"categories":2487},[],{"categories":2489},[],{"categories":2491},[],{"categories":2493},[125],{"categories":2495},[],{"categories":2497},[125],{"categories":2499},[],{"categories":2501},[125],{"categories":2503},[125],{"categories":2505},[],{"categories":2507},[],{"categories":2509},[125,450],{"categories":2511},[450,125],{"categories":2513},[94],{"categories":2515},[],{"categories":2517},[125],{"categories":2519},[],{"categories":2521},[125],{"categories":2523},[125],{"categories":2525},[],{"categories":2527},[94],{"categories":2529},[125,89],{"categories":2531},[94],{"categories":2533},[108],{"categories":2535},[],{"categories":2537},[99],{"categories":2539},[125],{"categories":2541},[102],{"categories":2543},[125],{"categories":2545},[140],{"categories":2547},[140],{"categories":2549},[450],{"categories":2551},[94],{"categories":2553},[125],{"categories":2555},[450],{"categories":2557},[108],{"categories":2559},[125],{"categories":2561},[140],{"categories":2563},[],{"categories":2565},[125],{"categories":2567},[],{"categories":2569},[],{"categories":2571},[125],{"categories":2573},[],{"categories":2575},[125],{"categories":2577},[108],{"categories":2579},[89],{"categories":2581},[140],{"categories":2583},[102],{"categories":2585},[99],{"categories":2587},[140],{"categories":2589},[],{"categories":2591},[102],{"categories":2593},[],{"categories":2595},[],{"categories":2597},[125],{"categories":2599},[94],{"categories":2601},[102],{"categories":2603},[],{"categories":2605},[125],{"categories":2607},[94],{"categories":2609},[94],{"categories":2611},[102],{"categories":2613},[94],{"categories":2615},[125],{"categories":2617},[94],{"categories":2619},[125],{"categories":2621},[],{"categories":2623},[125],{"categories":2625},[125],{"categories":2627},[125],{"categories":2629},[94],{"categories":2631},[],{"categories":2633},[],{"categories":2635},[105],{"categories":2637},[94],{"categories":2639},[],{"categories":2641},[125],{"categories":2643},[125],{"categories":2645},[125],{"categories":2647},[125],{"categories":2649},[125],{"categories":2651},[125],{"categories":2653},[125],{"categories":2655},[125],{"categories":2657},[125],{"categories":2659},[102],{"categories":2661},[125,105],{"categories":2663},[94],{"categories":2665},[94],{"categories":2667},[125],{"categories":2669},[108],{"categories":2671},[185],{"categories":2673},[125],{"categories":2675},[125],{"categories":2677},[],{"categories":2679},[],{"categories":2681},[125],{"categories":2683},[125],{"categories":2685},[],{"categories":2687},[105],{"categories":2689},[105],{"categories":2691},[140],{"categories":2693},[125],{"categories":2695},[140],{"categories":2697},[125],{"categories":2699},[125],{"categories":2701},[],{"categories":2703},[125],{"categories":2705},[],{"categories":2707},[],{"categories":2709},[125],{"categories":2711},[],{"categories":2713},[],{"categories":2715},[94],{"categories":2717},[],{"categories":2719},[125],{"categories":2721},[125],{"categories":2723},[125],{"categories":2725},[],{"categories":2727},[125],{"categories":2729},[94],{"categories":2731},[537],{"categories":2733},[99],{"categories":2735},[125],{"categories":2737},[],{"categories":2739},[99],{"categories":2741},[125],{"categories":2743},[],{"categories":2745},[125],{"categories":2747},[],{"categories":2749},[99],{"categories":2751},[],{"categories":2753},[],{"categories":2755},[99],{"categories":2757},[99],{"categories":2759},[99],{"categories":2761},[125],{"categories":2763},[],{"categories":2765},[99],{"categories":2767},[99],{"categories":2769},[],{"categories":2771},[],{"categories":2773},[99],{"categories":2775},[125],{"categories":2777},[94],{"categories":2779},[537],{"categories":2781},[102],{"categories":2783},[],{"categories":2785},[105],{"categories":2787},[125],{"categories":2789},[125],{"categories":2791},[89],{"categories":2793},[94],{"categories":2795},[94],{"categories":2797},[94],{"categories":2799},[94],{"categories":2801},[],{"categories":2803},[99],{"categories":2805},[99],{"categories":2807},[99],{"categories":2809},[99],{"categories":2811},[140],{"categories":2813},[125],{"categories":2815},[89],{"categories":2817},[],{"categories":2819},[140],{"categories":2821},[99],{"categories":2823},[105],{"categories":2825},[105],{"categories":2827},[105],{"categories":2829},[105],{"categories":2831},[105],{"categories":2833},[105],{"categories":2835},[125,89],{"categories":2837},[99],{"categories":2839},[89],{"categories":2841},[94],{"categories":2843},[94],{"categories":2845},[140],{"categories":2847},[],{"categories":2849},[],{"categories":2851},[102],{"categories":2853},[],{"categories":2855},[125],{"categories":2857},[102],{"categories":2859},[125],{"categories":2861},[108],{"categories":2863},[99],{"categories":2865},[89],{"categories":2867},[99],{"categories":2869},[108],{"categories":2871},[140],{"categories":2873},[99],{"categories":2875},[],{"categories":2877},[140],{"categories":2879},[],{"categories":2881},[],{"categories":2883},[99],{"categories":2885},[99],{"categories":2887},[99],{"categories":2889},[125],{"categories":2891},[125],{"categories":2893},[125],{"categories":2895},[125],{"categories":2897},[125],{"categories":2899},[],{"categories":2901},[450],{"categories":2903},[125],{"categories":2905},[],{"categories":2907},[],{"categories":2909},[],{"categories":2911},[140],{"categories":2913},[],{"categories":2915},[125],{"categories":2917},[],{"categories":2919},[94],{"categories":2921},[125],{"categories":2923},[94],{"categories":2925},[125],{"categories":2927},[99],{"categories":2929},[],{"categories":2931},[125],{"categories":2933},[125],{"categories":2935},[],{"categories":2937},[185],{"categories":2939},[185],{"categories":2941},[108],{"categories":2943},[105],{"categories":2945},[],{"categories":2947},[125],{"categories":2949},[99],{"categories":2951},[],{"categories":2953},[],{"categories":2955},[125],{"categories":2957},[108],{"categories":2959},[99],{"categories":2961},[89],{"categories":2963},[140,108],{"categories":2965},[108],{"categories":2967},[125],{"categories":2969},[99],{"categories":2971},[],{"categories":2973},[],{"categories":2975},[],{"categories":2977},[],{"categories":2979},[],{"categories":2981},[],{"categories":2983},[125],{"categories":2985},[],{"categories":2987},[],{"categories":2989},[125],{"categories":2991},[],{"categories":2993},[],{"categories":2995},[],{"categories":2997},[125],{"categories":2999},[94],{"categories":3001},[],{"categories":3003},[],{"categories":3005},[],{"categories":3007},[125],{"categories":3009},[],{"categories":3011},[125],{"categories":3013},[125],{"categories":3015},[],{"categories":3017},[125],{"categories":3019},[108],{"categories":3021},[],{"categories":3023},[140],{"categories":3025},[140],{"categories":3027},[],{"categories":3029},[102],{"categories":3031},[],{"categories":3033},[],{"categories":3035},[],{"categories":3037},[105],{"categories":3039},[94],{"categories":3041},[99],{"categories":3043},[125],{"categories":3045},[89],{"categories":3047},[125],{"categories":3049},[],{"categories":3051},[],{"categories":3053},[89],{"categories":3055},[102],{"categories":3057},[99],{"categories":3059},[],{"categories":3061},[450],{"categories":3063},[],{"categories":3065},[102],{"categories":3067},[125],{"categories":3069},[125],{"categories":3071},[102],{"categories":3073},[125],{"categories":3075},[105],{"categories":3077},[99],{"categories":3079},[125],{"categories":3081},[99],{"categories":3083},[125],{"categories":3085},[99],{"categories":3087},[140],{"categories":3089},[140],{"categories":3091},[105],{"categories":3093},[],{"categories":3095},[125],{"categories":3097},[125],{"categories":3099},[102],{"categories":3101},[537],{"categories":3103},[140],{"categories":3105},[94],{"categories":3107},[125],{"categories":3109},[94],{"categories":3111},[125],{"categories":3113},[125],{"categories":3115},[],{"categories":3117},[125],{"categories":3119},[],{"categories":3121},[125],{"categories":3123},[102],{"categories":3125},[125],{"categories":3127},[125],{"categories":3129},[125],{"categories":3131},[],{"categories":3133},[125],{"categories":3135},[125],{"categories":3137},[537],{"categories":3139},[],{"categories":3141},[94],{"categories":3143},[450],{"categories":3145},[108],{"categories":3147},[],{"categories":3149},[185],{"categories":3151},[],{"categories":3153},[],{"categories":3155},[94],{"categories":3157},[125],{"categories":3159},[],{"categories":3161},[125],{"categories":3163},[125],{"categories":3165},[99],{"categories":3167},[125],{"categories":3169},[94],{"categories":3171},[94],{"categories":3173},[105],{"categories":3175},[105],{"categories":3177},[105],{"categories":3179},[125],{"categories":3181},[185],{"categories":3183},[94],{"categories":3185},[140],{"categories":3187},[],{"categories":3189},[105],{"categories":3191},[105],{"categories":3193},[450],{"categories":3195},[105],{"categories":3197},[105],{"categories":3199},[99],{"categories":3201},[94],{"categories":3203},[450],{"categories":3205},[125],{"categories":3207},[125],{"categories":3209},[125],{"categories":3211},[125],{"categories":3213},[],{"categories":3215},[99],{"categories":3217},[125],{"categories":3219},[105],{"categories":3221},[],{"categories":3223},[],{"categories":3225},[94],{"categories":3227},[],{"categories":3229},[99],{"categories":3231},[99],{"categories":3233},[99],{"categories":3235},[99],{"categories":3237},[99],{"categories":3239},[99],{"categories":3241},[99],{"categories":3243},[99],{"categories":3245},[],{"categories":3247},[],{"categories":3249},[125],{"categories":3251},[],{"categories":3253},[99],{"categories":3255},[140],{"categories":3257},[140],{"categories":3259},[185],{"categories":3261},[89],{"categories":3263},[],{"categories":3265},[],{"categories":3267},[],{"categories":3269},[105],{"categories":3271},[125],{"categories":3273},[],{"categories":3275},[89],{"categories":3277},[89],{"categories":3279},[105],{"categories":3281},[140],{"categories":3283},[185],{"categories":3285},[105],{"categories":3287},[105],{"categories":3289},[],{"categories":3291},[99],{"categories":3293},[89],{"categories":3295},[89],{"categories":3297},[125],{"categories":3299},[99],{"categories":3301},[108],{"categories":3303},[105],{"categories":3305},[],{"categories":3307},[102],{"categories":3309},[185],{"categories":3311},[94],{"categories":3313},[94],{"categories":3315},[94],{"categories":3317},[450],{"categories":3319},[],{"categories":3321},[99],{"categories":3323},[],{"categories":3325},[99],{"categories":3327},[99],{"categories":3329},[125],{"categories":3331},[125],{"categories":3333},[108],{"categories":3335},[99],{"categories":3337},[108],{"categories":3339},[],{"categories":3341},[99],{"categories":3343},[105],{"categories":3345},[105],{"categories":3347},[105],{"categories":3349},[125],{"categories":3351},[99],{"categories":3353},[125],{"categories":3355},[89],{"categories":3357},[94],{"categories":3359},[105],{"categories":3361},[94],{"categories":3363},[125],{"categories":3365},[],{"categories":3367},[94],{"categories":3369},[99],{"categories":3371},[94],{"categories":3373},[94],{"categories":3375},[94],{"categories":3377},[94],{"categories":3379},[],{"categories":3381},[],{"categories":3383},[94],{"categories":3385},[94],{"categories":3387},[],{"categories":3389},[94],{"categories":3391},[94],{"categories":3393},[125],{"categories":3395},[125],{"categories":3397},[94],{"categories":3399},[94],{"categories":3401},[125],{"categories":3403},[],{"categories":3405},[125],{"categories":3407},[99],{"categories":3409},[125],{"categories":3411},[125],{"categories":3413},[],{"categories":3415},[125],{"categories":3417},[125],{"categories":3419},[125],{"categories":3421},[94],{"categories":3423},[],{"categories":3425},[],{"categories":3427},[],{"categories":3429},[],{"categories":3431},[125],{"categories":3433},[125],{"categories":3435},[],{"categories":3437},[102],{"categories":3439},[94],{"categories":3441},[],{"categories":3443},[],{"categories":3445},[],{"categories":3447},[],{"categories":3449},[],{"categories":3451},[125],{"categories":3453},[],{"categories":3455},[],{"categories":3457},[125],{"categories":3459},[],{"categories":3461},[99],{"categories":3463},[99],{"categories":3465},[99],{"categories":3467},[89],{"categories":3469},[],{"categories":3471},[102],{"categories":3473},[108],{"categories":3475},[108],{"categories":3477},[450],{"categories":3479},[94],{"categories":3481},[],{"categories":3483},[125],{"categories":3485},[125],{"categories":3487},[89],{"categories":3489},[],{"categories":3491},[89],{"categories":3493},[],{"categories":3495},[],{"categories":3497},[],{"categories":3499},[108],{"categories":3501},[99],{"categories":3503},[99],{"categories":3505},[99],{"categories":3507},[99],{"categories":3509},[99],{"categories":3511},[],{"categories":3513},[94],{"categories":3515},[125],{"categories":3517},[125],{"categories":3519},[125],{"categories":3521},[],{"categories":3523},[89],{"categories":3525},[],{"categories":3527},[105],{"categories":3529},[185],{"categories":3531},[105],{"categories":3533},[],{"categories":3535},[],{"categories":3537},[125],{"categories":3539},[99],{"categories":3541},[],{"categories":3543},[125],{"categories":3545},[125],{"categories":3547},[125],{"categories":3549},[99],{"categories":3551},[99],{"categories":3553},[125],{"categories":3555},[185],{"categories":3557},[99],{"categories":3559},[],{"categories":3561},[125],{"categories":3563},[],{"categories":3565},[537],{"categories":3567},[108],{"categories":3569},[185],{"categories":3571},[108],{"categories":3573},[450],{"categories":3575},[125],{"categories":3577},[108],{"categories":3579},[94],{"categories":3581},[450],{"categories":3583},[108],{"categories":3585},[105],{"categories":3587},[105],{"categories":3589},[],{"categories":3591},[108],{"categories":3593},[],{"categories":3595},[140],{"categories":3597},[108],{"categories":3599},[],{"categories":3601},[185],{"categories":3603},[185],{"categories":3605},[537],{"categories":3607},[],{"categories":3609},[125],{"categories":3611},[108],{"categories":3613},[450],{"categories":3615},[99],{"categories":3617},[99],{"categories":3619},[185],{"categories":3621},[125],{"categories":3623},[140],{"categories":3625},[125],{"categories":3627},[],{"categories":3629},[],{"categories":3631},[],{"categories":3633},[102],{"categories":3635},[125],{"categories":3637},[105],{"categories":3639},[108],{"categories":3641},[108],{"categories":3643},[125],{"categories":3645},[102],{"categories":3647},[140],{"categories":3649},[125],{"categories":3651},[108],{"categories":3653},[125],{"categories":3655},[108],{"categories":3657},[140],{"categories":3659},[140],{"categories":3661},[99],{"categories":3663},[140],{"categories":3665},[108],{"categories":3667},[89],{"categories":3669},[108],{"categories":3671},[108],{"categories":3673},[108],{"categories":3675},[108],{"categories":3677},[],{"categories":3679},[94],{"categories":3681},[],{"categories":3683},[185],{"categories":3685},[125],{"categories":3687},[125],{"categories":3689},[],{"categories":3691},[],{"categories":3693},[],{"categories":3695},[125],{"categories":3697},[94],{"categories":3699},[125],{"categories":3701},[125],{"categories":3703},[],{"categories":3705},[125],{"categories":3707},[105],{"categories":3709},[125],{"categories":3711},[125],{"categories":3713},[125],{"categories":3715},[],{"categories":3717},[],{"categories":3719},[],{"categories":3721},[450],{"categories":3723},[450],{"categories":3725},[89],{"categories":3727},[99],{"categories":3729},[89,102],{"categories":3731},[125],{"categories":3733},[94],{"categories":3735},[],{"categories":3737},[105],{"categories":3739},[185],{"categories":3741},[125],{"categories":3743},[108],{"categories":3745},[125],{"categories":3747},[],{"categories":3749},[185],{"categories":3751},[450],{"categories":3753},[99],{"categories":3755},[89],{"categories":3757},[450],{"categories":3759},[99],{"categories":3761},[140],{"categories":3763},[99],{"categories":3765},[140],{"categories":3767},[125],{"categories":3769},[140],{"categories":3771},[140],{"categories":3773},[108],{"categories":3775},[185],{"categories":3777},[125],{"categories":3779},[102],{"categories":3781},[],{"categories":3783},[125],{"categories":3785},[105],{"categories":3787},[185],{"categories":3789},[89],{"categories":3791},[125],{"categories":3793},[185],{"categories":3795},[140],{"categories":3797},[125],{"categories":3799},[125],{"categories":3801},[185],{"categories":3803},[125],{"categories":3805},[140],{"categories":3807},[125],{"categories":3809},[],{"categories":3811},[125],{"categories":3813},[125],{"categories":3815},[125],{"categories":3817},[125],{"categories":3819},[],{"categories":3821},[99],{"categories":3823},[450],{"categories":3825},[],{"categories":3827},[],{"categories":3829},[125],{"categories":3831},[89],{"categories":3833},[102],{"categories":3835},[89],{"categories":3837},[89],{"categories":3839},[99],{"categories":3841},[],{"categories":3843},[125],{"categories":3845},[94],{"categories":3847},[125],{"categories":3849},[125],{"categories":3851},[],{"categories":3853},[99],{"categories":3855},[94],{"categories":3857},[125,450],{"categories":3859},[99,450],{"categories":3861},[450],{"categories":3863},[125],{"categories":3865},[99],{"categories":3867},[99],{"categories":3869},[108],{"categories":3871},[108],{"categories":3873},[108],{"categories":3875},[125],{"categories":3877},[105],{"categories":3879},[99],{"categories":3881},[],{"categories":3883},[450],{"categories":3885},[],{"categories":3887},[450],{"categories":3889},[450],{"categories":3891},[89],{"categories":3893},[99],{"categories":3895},[],{"categories":3897},[450],{"categories":3899},[125],{"categories":3901},[94],{"categories":3903},[125],{"categories":3905},[105],{"categories":3907},[108],{"categories":3909},[108],{"categories":3911},[108],{"categories":3913},[450],{"categories":3915},[],{"categories":3917},[],{"categories":3919},[],{"categories":3921},[125],{"categories":3923},[108],{"categories":3925},[125],{"categories":3927},[108],{"categories":3929},[450],{"categories":3931},[450],{"categories":3933},[125],{"categories":3935},[99],{"categories":3937},[],{"categories":3939},[125],{"categories":3941},[125],{"categories":3943},[125],{"categories":3945},[],{"categories":3947},[],{"categories":3949},[450],{"categories":3951},[450],{"categories":3953},[125,450],{"categories":3955},[99],{"categories":3957},[99],{"categories":3959},[99],{"categories":3961},[99],{"categories":3963},[99],{"categories":3965},[99],{"categories":3967},[],{"categories":3969},[108],{"categories":3971},[125],{"categories":3973},[108],{"categories":3975},[102],{"categories":3977},[125],{"categories":3979},[537],{"categories":3981},[537],{"categories":3983},[99],{"categories":3985},[108],{"categories":3987},[],{"categories":3989},[99],{"categories":3991},[125],{"categories":3993},[],{"categories":3995},[105],{"categories":3997},[],{"categories":3999},[125],{"categories":4001},[99],{"categories":4003},[94],{"categories":4005},[125],{"categories":4007},[],{"categories":4009},[],{"categories":4011},[105],{"categories":4013},[105],{"categories":4015},[140],{"categories":4017},[105],{"categories":4019},[99],{"categories":4021},[],{"categories":4023},[99],{"categories":4025},[94],{"categories":4027},[125],{"categories":4029},[125],{"categories":4031},[],{"categories":4033},[125],{"categories":4035},[140],{"categories":4037},[125],{"categories":4039},[],{"categories":4041},[185],{"categories":4043},[108],{"categories":4045},[108],{"categories":4047},[89],{"categories":4049},[89],{"categories":4051},[89],{"categories":4053},[99],{"categories":4055},[89],{"categories":4057},[99],{"categories":4059},[450],{"categories":4061},[537],{"categories":4063},[94],{"categories":4065},[94],{"categories":4067},[94],{"categories":4069},[450],{"categories":4071},[94,89],{"categories":4073},[185],{"categories":4075},[99],{"categories":4077},[],{"categories":4079},[125],{"categories":4081},[],{"categories":4083},[108],{"categories":4085},[185],{"categories":4087},[105],{"categories":4089},[108],{"categories":4091},[140],{"categories":4093},[],{"categories":4095},[99],{"categories":4097},[],{"categories":4099},[537],{"categories":4101},[],{"categories":4103},[105],{"categories":4105},[105],{"categories":4107},[185],{"categories":4109},[],{"categories":4111},[125],{"categories":4113},[185],{"categories":4115},[],{"categories":4117},[125],{"categories":4119},[125],{"categories":4121},[],{"categories":4123},[140],{"categories":4125},[125],{"categories":4127},[],{"categories":4129},[125],{"categories":4131},[],{"categories":4133},[],{"categories":4135},[99],{"categories":4137},[99],{"categories":4139},[],{"categories":4141},[108],{"categories":4143},[108],{"categories":4145},[108],{"categories":4147},[125,99],{"categories":4149},[99],{"categories":4151},[99],{"categories":4153},[99],{"categories":4155},[185],{"categories":4157},[185],{"categories":4159},[],{"categories":4161},[94],{"categories":4163},[125],{"categories":4165},[185],{"categories":4167},[185],{"categories":4169},[94],{"categories":4171},[89],{"categories":4173},[99],{"categories":4175},[108],{"categories":4177},[125],{"categories":4179},[125],{"categories":4181},[99],{"categories":4183},[108],{"categories":4185},[99],{"categories":4187},[125],{"categories":4189},[102],{"categories":4191},[],{"categories":4193},[125],{"categories":4195},[],{"categories":4197},[125],{"categories":4199},[125],{"categories":4201},[108],{"categories":4203},[],{"categories":4205},[185],{"categories":4207},[125],{"categories":4209},[99],{"categories":4211},[99],{"categories":4213},[108],{"categories":4215},[140],{"categories":4217},[140],{"categories":4219},[94],{"categories":4221},[125],{"categories":4223},[99],{"categories":4225},[],{"categories":4227},[99],{"categories":4229},[125],{"categories":4231},[94],{"categories":4233},[125],{"categories":4235},[125],{"categories":4237},[125],{"categories":4239},[99],{"categories":4241},[185],{"categories":4243},[125],{"categories":4245},[105],{"categories":4247},[125],{"categories":4249},[125],{"categories":4251},[125],{"categories":4253},[125],{"categories":4255},[],{"categories":4257},[125],{"categories":4259},[185],{"categories":4261},[105],{"categories":4263},[125],{"categories":4265},[105],{"categories":4267},[],{"categories":4269},[],{"categories":4271},[],{"categories":4273},[125],{"categories":4275},[],{"categories":4277},[],{"categories":4279},[],{"categories":4281},[],{"categories":4283},[99],{"categories":4285},[140],{"categories":4287},[99],{"categories":4289},[99],{"categories":4291},[108],{"categories":4293},[89],{"categories":4295},[125],{"categories":4297},[125],{"categories":4299},[125],{"categories":4301},[89],{"categories":4303},[140],{"categories":4305},[],{"categories":4307},[185],{"categories":4309},[102],{"categories":4311},[125],{"categories":4313},[105],{"categories":4315},[140],{"categories":4317},[140],{"categories":4319},[537],{"categories":4321},[99],{"categories":4323},[125],{"categories":4325},[125],{"categories":4327},[140],{"categories":4329},[125],{"categories":4331},[],{"categories":4333},[],{"categories":4335},[450],{"categories":4337},[105],{"categories":4339},[140],{"categories":4341},[125],{"categories":4343},[94],{"categories":4345},[140],{"categories":4347},[89],{"categories":4349},[99],{"categories":4351},[99],{"categories":4353},[94],{"categories":4355},[125],{"categories":4357},[],{"categories":4359},[],{"categories":4361},[],{"categories":4363},[125],{"categories":4365},[],{"categories":4367},[94],{"categories":4369},[],{"categories":4371},[125],{"categories":4373},[],{"categories":4375},[94],{"categories":4377},[99],{"categories":4379},[125],{"categories":4381},[450],{"categories":4383},[125],{"categories":4385},[140],{"categories":4387},[125],{"categories":4389},[140],{"categories":4391},[140],{"categories":4393},[],{"categories":4395},[],{"categories":4397},[140],{"categories":4399},[140],{"categories":4401},[140],{"categories":4403},[],{"categories":4405},[140],{"categories":4407},[99],{"categories":4409},[99],{"categories":4411},[],{"categories":4413},[125],{"categories":4415},[102],{"categories":4417},[185],{"categories":4419},[125],{"categories":4421},[],{"categories":4423},[140],{"categories":4425},[125],{"categories":4427},[537],{"categories":4429},[140],{"categories":4431},[140],{"categories":4433},[102],{"categories":4435},[108],{"categories":4437},[108],{"categories":4439},[],{"categories":4441},[108],{"categories":4443},[125],{"categories":4445},[],{"categories":4447},[],{"categories":4449},[99],{"categories":4451},[],{"categories":4453},[99],{"categories":4455},[99],{"categories":4457},[94],{"categories":4459},[125],{"categories":4461},[94],{"categories":4463},[140],{"categories":4465},[94],{"categories":4467},[108],{"categories":4469},[108],{"categories":4471},[108],{"categories":4473},[94],{"categories":4475},[125],{"categories":4477},[99],{"categories":4479},[450],{"categories":4481},[89],{"categories":4483},[450],{"categories":4485},[450],{"categories":4487},[108],{"categories":4489},[450],{"categories":4491},[450],[4493,4767,4838,4914],{"id":4494,"title":4495,"ai":4496,"body":4501,"categories":4741,"created_at":65,"date_modified":65,"description":58,"extension":66,"faq":65,"featured":67,"kicker_label":65,"meta":4742,"navigation":69,"path":4754,"published_at":4755,"question":65,"scraped_at":4756,"seo":4757,"sitemap":4758,"source_id":4759,"source_name":4760,"source_type":76,"source_url":4761,"stem":4762,"tags":4763,"thumbnail_url":65,"tldr":4764,"tweet":65,"unknown_tags":4765,"__hash__":4766},"summaries\u002Fsummaries\u002Fcodex-ai-visits-your-files-for-sustained-smarts-summary.md","Codex: AI Visits Your Files for Sustained Smarts",{"provider":7,"model":8,"input_tokens":4497,"output_tokens":4498,"processing_time_ms":4499,"cost_usd":4500},8741,2610,31538,0.0030307,{"type":14,"value":4502,"toc":4734},[4503,4507,4510,4513,4516,4520,4523,4546,4549,4552,4556,4559,4657,4660,4664,4667,4687,4690,4693,4696,4700],[17,4504,4506],{"id":4505},"why-codex-outperforms-browser-chatgpt-context-flip-unlocks-focus","Why Codex Outperforms Browser ChatGPT: Context Flip Unlocks Focus",[22,4508,4509],{},"Dylan Davis explains the pivotal shift: in browser ChatGPT, you upload files and prompts, cramming everything into the AI's short-term memory, which dilutes focus and intelligence as context grows. \"When you're using chatbt in the browser you have to bring the data to the AI so your files the context the prompts everything and when doing this the AI has to hold all that context in its head at any given moment and the more information you put into the AI's head the less focus it has and the less likely it is to achieve the task that matters to you basically the AI gets dumber over time the more information you give it.\"",[22,4511,4512],{},"Codex inverts this—the AI navigates to your local files, selecting only relevant segments per task. This sustains sharp reasoning across large datasets or repeated interactions. Davis tested this first-time: drop a simple prompt into a test folder (\"inspect the folder tell me what you see and then suggest one small task you can complete safely\"), approve actions, and watch it interact without full-file uploads. Result: precise file handling without context bloat, ideal for business workflows where browser limits fail.",[22,4514,4515],{},"Tradeoff: Requires desktop install and monitoring usage limits (5-hour\u002Fweekly quotas per plan; $200 plan rarely hits caps). But for complex jobs, extra-high reasoning on GPT-4.5 (sic: 5.5) justifies slight speed\u002Fcost hits.",[17,4517,4519],{"id":4518},"setup-choices-folder-reasoning-permissions","Setup Choices: Folder, Reasoning, Permissions",[22,4521,4522],{},"Davis boils initial Codex decisions to three questions, mirroring ChatGPT familiarity:",[4524,4525,4526,4534,4540],"ol",{},[4527,4528,4529,4533],"li",{},[4530,4531,4532],"strong",{},"Where?"," Basic chat (global) vs. project folder (scoped to desktop\u002Fdocuments). Folders become \"projects\"—open one, and AI tailors to its contents.",[4527,4535,4536,4539],{},[4530,4537,4538],{},"How hard?"," Reasoning levels: low (fast\u002Fcheap) to extra-high (deep analysis, higher usage\u002Ftime). Pair extra-high with 5.5 model for complexity.",[4527,4541,4542,4545],{},[4530,4543,4544],{},"How free?"," Permissions: default (review actions), auto-review (less oversight), full access (unlocked in settings for trusted tasks). Start default to build confidence.",[22,4547,4548],{},"Model\u002Fspeed tweaks: 5.5 > 5.4; fast mode accelerates but burns quota. Track via settings > usage limits or chat footer (e.g., 92% weekly left). Davis: never dips below 75% on $200 plan despite heavy use.",[22,4550,4551],{},"This setup rejected browser's one-size-fits-all for granular control, enabling production reliability over demos.",[17,4553,4555],{"id":4554},"feature-translation-chatgpt-powers-amplified-2-3x","Feature Translation: ChatGPT Powers Amplified 2-3x",[22,4557,4558],{},"Codex mirrors ChatGPT but leverages local access for superior execution. Davis maps directly:",[4560,4561,4562,4578],"table",{},[4563,4564,4565],"thead",{},[4566,4567,4568,4572,4575],"tr",{},[4569,4570,4571],"th",{},"ChatGPT",[4569,4573,4574],{},"Codex Equivalent",[4569,4576,4577],{},"Why 2-3x Better",[4579,4580,4581,4592,4613,4624,4635,4646],"tbody",{},[4566,4582,4583,4587,4589],{},[4584,4585,4586],"td",{},"Chats",[4584,4588,4586],{},[4584,4590,4591],{},"Identical threading, but local context pulls.",[4566,4593,4594,4597,4600],{},[4584,4595,4596],{},"Projects\u002FCustom GPTs",[4584,4598,4599],{},"Folder Projects",[4584,4601,4602,4603,4607,4608,4612],{},"Add ",[4604,4605,4606],"code",{},"agents.md"," file (AI-generated) for persistent instructions: \"Create agents.md for ",[4609,4610,4611],"span",{},"outcome"," in this folder.\" Simple Markdown priming (# headings).",[4566,4614,4615,4618,4621],{},[4584,4616,4617],{},"Apps",[4584,4619,4620],{},"Plugins (App + Skills)",[4584,4622,4623],{},"Skills = reusable steps (like mini-projects). Gmail plugin includes triage skill; AI sustains long sessions without forgetting.",[4566,4625,4626,4629,4632],{},[4584,4627,4628],{},"Scheduled Tasks",[4584,4630,4631],{},"Automations",[4584,4633,4634],{},"Recurring prompts in folders (e.g., \"Weekly Monday 9AM briefing\"). Full read\u002Fwrite to tools like email\u002FCRM.",[4566,4636,4637,4640,4643],{},[4584,4638,4639],{},"Browser Tools (Atlas\u002FExtensions)",[4584,4641,4642],{},"@browser Plugin",[4584,4644,4645],{},"Best-in-class: navigates Workday\u002FQuickBooks\u002FGoogle Cloud autonomously. Saved Davis 6 hours on obscure software. Live browser in-app.",[4566,4647,4648,4651,4654],{},[4584,4649,4650],{},"Memory",[4584,4652,4653],{},"File-Based Memory",[4584,4655,4656],{},"Writes\u002Freferences unlimited desktop files, pulling preferences on-demand vs. ChatGPT's head-limits.",[22,4658,4659],{},"Decision chain: Browser apps falter on sustained tool use; Codex's context management fixes it. Plugins auto-bundle skills, reducing prompt engineering. Automations rejected browser versions for limited read-only access—Codex writes outputs.",[17,4661,4663],{"id":4662},"five-production-use-cases-from-files-to-automations","Five Production Use Cases: From Files to Automations",[22,4665,4666],{},"Davis prioritizes broadly applicable cases where browser fails, focusing on incremental\u002Frepetitive work:",[4524,4668,4669,4675,4681],{},[4527,4670,4671,4674],{},[4530,4672,4673],{},"Incremental Updates (Dashboards\u002FSheets):"," Browser rewrites entire Excel\u002FPowerPoint weekly, risking errors. Codex: Drop new data in folder, prompt \"Update dashboard with this data, change nothing else.\" Automate for zero-touch. Clients use for recurring reports—saves hours, preserves accuracy.",[4527,4676,4677,4680],{},[4530,4678,4679],{},"Bulk File Organization & Insights:"," Pour client\u002Fproject folders into Codex. AI renames, dedupes, merges, flags edges, extracts summaries\u002Flessons (e.g., prefers \"account name\" over \"company\"). \"It can not just organize stuff for you but also through the process of doing so write out insights that you may want to know about.\" Beats one-file-at-a-time uploads.",[4527,4682,4683,4686],{},[4530,4684,4685],{},"Browser for Rare Software:"," @browser pulls data from infrequently used tools (Workday, QuickBooks). AI logs in, navigates, extracts—no manual learning. \"The primary use case most people are going to get value from is if you need to get data from a piece of software that you don't really use that often or you don't necessarily know how to use at all.\"",[22,4688,4689],{},"(Transcript cuts off, but pattern implies 4-5: likely email triage, weekly briefings via automations.)",[22,4691,4692],{},"Tradeoffs: Test on duplicates first; monitor permissions to avoid mishaps. Results: Immediate productivity for solos\u002Fteams—organize 100s files, automate reports, query legacy tools.",[22,4694,4695],{},"\"If you understand chatbt you already understand most of codeex all you need is a translation layer and I'll give you that.\"",[17,4697,4699],{"id":4698},"key-takeaways","Key Takeaways",[4701,4702,4703,4706,4709,4716,4719,4722,4725,4728,4731],"ul",{},[4527,4704,4705],{},"Test Codex with safe folder prompt: inspect, suggest safe task—builds intuition fast.",[4527,4707,4708],{},"Always ask: Where (folder)? How hard (extra-high for complex)? How free (start default permissions)?",[4527,4710,4711,4712,4715],{},"Create project priming: \"Make agents.md for ",[4609,4713,4714],{},"folder goal","\"—persistent like Custom GPTs.",[4527,4717,4718],{},"Automate repeats: Folder + cron-like schedule + read\u002Fwrite plugins = hands-off workflows.",[4527,4720,4721],{},"Use @browser for obscure SaaS: Extract data without tutorials.",[4527,4723,4724],{},"Update artifacts incrementally: Drop new data, specify \"add only\"—no full rewrites.",[4527,4726,4727],{},"Bulk-organize files: Rename\u002Fdedupe\u002Fsummarize in one go, capture terminology prefs.",[4527,4729,4730],{},"Monitor quotas: Settings > usage; $200 plan for heavy use.",[4527,4732,4733],{},"Plugins > Apps: Skills make tool use reliable over long sessions.",{"title":58,"searchDepth":59,"depth":59,"links":4735},[4736,4737,4738,4739,4740],{"id":4505,"depth":59,"text":4506},{"id":4518,"depth":59,"text":4519},{"id":4554,"depth":59,"text":4555},{"id":4662,"depth":59,"text":4663},{"id":4698,"depth":59,"text":4699},[],{"content_references":4743,"triage":4749},[4744],{"type":4745,"title":4746,"url":4747,"context":4748},"other","When ChatGPT Isn’t Enough, Open Codex Presentation (with prompts)","https:\u002F\u002Fd-squared70.github.io\u002FWhen-ChatGPT-Isn-t-Enough-Open-Codex\u002F","mentioned",{"relevance":4750,"novelty":4751,"quality":4750,"actionability":4751,"composite":4752,"reasoning":4753},4,3,3.6,"Category: AI & LLMs. The article discusses a new AI tool, Codex, that enhances productivity by managing context more effectively than traditional browser-based AI, addressing a specific pain point of context overload. It provides insights into setup choices and reasoning levels, but lacks detailed actionable steps for implementation.","\u002Fsummaries\u002Fcodex-ai-visits-your-files-for-sustained-smarts-summary","2026-05-06 18:00:55","2026-05-07 11:05:36",{"title":4495,"description":58},{"loc":4754},"217b8727eb640537","Dylan Davis","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=yMV-05oa858","summaries\u002Fcodex-ai-visits-your-files-for-sustained-smarts-summary",[81,80,82],"Desktop Codex beats browser ChatGPT by sending AI to your data instead of overloading context, enabling complex tasks like file organization, incremental updates, and browser automation without losing focus.",[],"bSLZuUmf-Fn9780bJfN9qGm6gCcWnpuYyjt6zex3l9Q",{"id":4768,"title":4769,"ai":4770,"body":4775,"categories":4812,"created_at":65,"date_modified":65,"description":58,"extension":66,"faq":65,"featured":67,"kicker_label":65,"meta":4813,"navigation":69,"path":4825,"published_at":4826,"question":65,"scraped_at":4827,"seo":4828,"sitemap":4829,"source_id":4830,"source_name":4831,"source_type":76,"source_url":4832,"stem":4833,"tags":4834,"thumbnail_url":65,"tldr":4835,"tweet":65,"unknown_tags":4836,"__hash__":4837},"summaries\u002Fsummaries\u002Fknowledge-fails-without-connections-karpathy-s-ai--summary.md","Knowledge Fails Without Connections: Karpathy's AI Wiki Fix",{"provider":7,"model":8,"input_tokens":4771,"output_tokens":4772,"processing_time_ms":4773,"cost_usd":4774},5930,1721,20600,0.00202385,{"type":14,"value":4776,"toc":4807},[4777,4781,4784,4787,4791,4794,4797,4801,4804],[17,4778,4780],{"id":4779},"storage-and-retrieval-trap-experts-in-isolation","Storage and Retrieval Trap Experts in Isolation",[22,4782,4783],{},"Traditional note-taking apps like Notion, Obsidian, and Roam assume knowledge loss stems from poor capture or search, so they emphasize folders, tags, graphs, and fast retrieval. This works for beginners with sparse notes but fails professionals with 15-20 years of experience, who drown in disconnected data. The real bottleneck isn't finding a single note—it's lacking serendipitous collisions between ideas, like a 2016 client pattern linking to a recent framework for fresh insights in meetings. Retrieval keeps ideas in \"separate rooms with doors closed,\" preventing emergence where adjacent concepts produce novel understanding, as in brainstorming or reading synced books.",[22,4785,4786],{},"These tools treat connections as optional (e.g., graph views you stare at blankly), preserving individual notes rather than relational patterns that define true knowledge. Experts capture everything diligently yet feel they think from scratch because apps optimize findability, not synthesis.",[17,4788,4790],{"id":4789},"karpathys-ai-wiki-builds-living-knowledge-networks","Karpathy's AI Wiki Builds Living Knowledge Networks",[22,4792,4793],{},"Andrej Karpathy sidestepped this by designing for research synthesis, not note storage. Dump raw sources (papers, articles, datasets, repos) into a folder. Feed them to AI, which generates a dynamic wiki: plain-language docs where concepts auto-link, summaries trace to sources, and items contextualize against the corpus. AI maintains it—add sources, wiki updates; query deeply, it synthesizes across all, surfacing unintended relations you didn't consciously map.",[22,4795,4796],{},"This isn't manual linking or search; it's a proactive web where everything positions relative to everything else. Querying yields more than stored facts—it reveals patterns, contradictions, and questions from proximity, mimicking how brains spark on live connections, not archived files.",[17,4798,4800],{"id":4799},"experts-amplify-volume-into-strength-via-ai-synthesis","Experts Amplify Volume into Strength via AI Synthesis",[22,4802,4803],{},"The more you know, the harder access becomes: novices navigate small, fresh bases easily; experts wrestle vast, contextual layers where volume hinders navigation. You've seen patterns (e.g., spotting doomed projects in 10 minutes from scars of failures, trends, clients), but can't surface them fast amid meetings. Apps add no remedy—they hoard more isolation.",[22,4805,4806],{},"Karpathy's approach flips this: value lies in source interplay, not singles. AI enforces relations, turning 20 years' fragments into conversing wholes (e.g., old failure informing current proposal). Tools like Constella replicate this, ingesting all for holistic queries over folder hunts. Test apps by connection power, not storage: do ideas meet and evolve, or sit silently organized?",{"title":58,"searchDepth":59,"depth":59,"links":4808},[4809,4810,4811],{"id":4779,"depth":59,"text":4780},{"id":4789,"depth":59,"text":4790},{"id":4799,"depth":59,"text":4800},[99],{"content_references":4814,"triage":4823},[4815,4819],{"type":4745,"title":4816,"url":4817,"context":4818},"How to Build the Knowledge System Andrej Karpathy Uses (And What It's Actually For)","https:\u002F\u002Fmedium.com\u002Fgitconnected\u002Fhow-to-build-the-knowledge-system-andrej-karpathy-uses-and-what-its-actually-for-cf45dea0b277","cited",{"type":4820,"title":4821,"url":4822,"context":4748},"tool","Constella","https:\u002F\u002Fwww.constella.app\u002F",{"relevance":4750,"novelty":4751,"quality":4750,"actionability":4751,"composite":4752,"reasoning":4824},"Category: AI & LLMs. The article discusses the limitations of traditional note-taking apps for experts and presents a novel approach using AI to create interconnected knowledge systems, addressing a specific pain point of knowledge synthesis. It provides insights into Karpathy's method but lacks detailed actionable steps for implementation.","\u002Fsummaries\u002Fknowledge-fails-without-connections-karpathy-s-ai-summary","2026-05-01 18:37:53","2026-05-03 17:00:53",{"title":4769,"description":58},{"loc":4825},"d6111c03bfed6ac0","Generative AI","https:\u002F\u002Fgenerativeai.pub\u002Fthe-reason-your-knowledge-system-doesnt-work-and-karpathy-figured-it-out-without-trying-eefcfbb7368d?source=rss----440100e76000---4","summaries\u002Fknowledge-fails-without-connections-karpathy-s-ai--summary",[81,82,80],"Note-taking apps store isolated notes for retrieval, but experts need AI-connected wikis where ideas collide for emergent insights, as Karpathy built for research.",[],"03k46DUQeK2m4VjQIdeGnlUUtZ4ubLZtMSGFmF8homg",{"id":4839,"title":4840,"ai":4841,"body":4846,"categories":4892,"created_at":65,"date_modified":65,"description":58,"extension":66,"faq":65,"featured":67,"kicker_label":65,"meta":4893,"navigation":69,"path":4902,"published_at":4903,"question":65,"scraped_at":4904,"seo":4905,"sitemap":4906,"source_id":4907,"source_name":4760,"source_type":76,"source_url":4908,"stem":4909,"tags":4910,"thumbnail_url":65,"tldr":4911,"tweet":65,"unknown_tags":4912,"__hash__":4913},"summaries\u002Fsummaries\u002Fclaude-default-to-projects-use-skills-sparingly-summary.md","Claude: Default to Projects, Use Skills Sparingly",{"provider":7,"model":8,"input_tokens":4842,"output_tokens":4843,"processing_time_ms":4844,"cost_usd":4845},8519,1486,14304,0.00242415,{"type":14,"value":4847,"toc":4887},[4848,4852,4855,4858,4861,4865,4868,4871,4874,4878,4881,4884],[17,4849,4851],{"id":4850},"qualify-use-cases-before-building-projects-or-skills","Qualify Use Cases Before Building Projects or Skills",[22,4853,4854],{},"Only create Projects or Skills if your task repeats with similar shape (not identical steps) more than once AND demands consistently high-quality outputs. Ad-hoc chats suffice for one-offs or low-stakes work, keeping your setup lean and preventing unnecessary complexity.",[22,4856,4857],{},"Projects excel for scoped activities like client negotiations (e.g., 6 months of materials for one client) or monthly closes, where dropping all relevant files into a dedicated workspace ensures the AI references only that context without dilution. This isolation boosts output quality by eliminating distractions from unrelated files or instructions—crucial when scaling to hundreds of Projects, as each opens in isolation.",[22,4859,4860],{},"Skills suit standardized processes with rigid steps, formats, or outputs, like branded proposals or financial evaluations, reusable across clients without per-project files. They load titles\u002Fdescriptions in every browser chat (proactively triggering based on context) but pull deeper instructions\u002Ffiles only as needed, optimizing context window usage.",[17,4862,4864],{"id":4863},"projects-scale-better-than-skills-for-beginners","Projects Scale Better Than Skills for Beginners",[22,4866,4867],{},"Start with Projects as your default: they contain custom instructions and knowledge files (browser) or folder contents + cloud.md instructions (desktop app), focusing the AI solely on one activity. Avoid dumping all company files into one Project (e.g., Acme everything)—instead, create separate ones like \"Acme Client Updates,\" \"Acme Proposals,\" and \"Acme Contract Review\" to maintain laser focus.",[22,4869,4870],{},"In browser, Projects reference uploaded files; in desktop (via folder selection), parent folders expose subfolders, but subfolder chats limit to contents there. This structure scales infinitely without overwhelming the AI, unlike global Skills.",[22,4872,4873],{},"Projects handle client-specific rules (e.g., unique reconciliation categories) paired with Skills for process standardization, yielding precise outputs like monthly financial closes.",[17,4875,4877],{"id":4876},"build-skills-from-proven-conversations-limit-to-avoid-errors","Build Skills from Proven Conversations, Limit to Avoid Errors",[22,4879,4880],{},"Never build Skills from scratch—chat until perfect output (5-20 exchanges), then prompt Claude's built-in \"Skill Creator\" (from Anthropic) to extract the reusable process: \"Strip client-specific details, encapsulate procedures\u002Fstandards\u002Fformats into a Skill based on this conversation.\" This captures what works, making it topic-agnostic.",[22,4882,4883],{},"Skills portable across tools (export from Claude, import to OpenAI alternatives), chainable in Project instructions (e.g., Skill1 → Skill2 → Skill3), and reusable anywhere. Explicitly invoke via \u002Fslash command (e.g., \u002Fproposal-writer) for control.",[22,4885,4886],{},"Cap browser Skills at 13-15 max: more causes proactive misfires (e.g., confusing client vs. vendor proposals). Desktop mitigates by attaching Skills to subfolders (e.g., finance folder gets only financial Skills). Overloading confuses selection when titles\u002Fdescriptions overlap.",{"title":58,"searchDepth":59,"depth":59,"links":4888},[4889,4890,4891],{"id":4850,"depth":59,"text":4851},{"id":4863,"depth":59,"text":4864},{"id":4876,"depth":59,"text":4877},[],{"content_references":4894,"triage":4899},[4895],{"type":4820,"title":4896,"author":4897,"context":4898},"Skill Creator","Anthropic","recommended",{"relevance":4750,"novelty":4751,"quality":4750,"actionability":4750,"composite":4900,"reasoning":4901},3.8,"Category: AI & LLMs. The article provides practical guidance on using AI tools effectively by distinguishing between Projects and Skills, addressing a common pain point of managing AI distractions. It offers actionable strategies for structuring AI interactions, which can directly benefit product builders looking to optimize their workflows.","\u002Fsummaries\u002Fclaude-default-to-projects-use-skills-sparingly-summary","2026-04-25 18:00:32","2026-04-26 17:06:26",{"title":4840,"description":58},{"loc":4902},"5c89eb62b0d061d8","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=Sw85fGBKVSw","summaries\u002Fclaude-default-to-projects-use-skills-sparingly-summary",[80,81,82],"Use Projects for focused, activity-specific workspaces to avoid AI distraction; reserve Skills for reusable processes across chats\u002Fprojects, limiting to 13-15 active ones in browser to prevent confusion.",[],"u9L0_T0-lr1jJ7xhpHVcZ6OXTtVb3tzT9vviCF_0370",{"id":4915,"title":4916,"ai":4917,"body":4922,"categories":4956,"created_at":65,"date_modified":65,"description":58,"extension":66,"faq":65,"featured":67,"kicker_label":65,"meta":4957,"navigation":69,"path":4975,"published_at":4976,"question":65,"scraped_at":4977,"seo":4978,"sitemap":4979,"source_id":4980,"source_name":4981,"source_type":76,"source_url":4982,"stem":4983,"tags":4984,"thumbnail_url":65,"tldr":4985,"tweet":65,"unknown_tags":4986,"__hash__":4987},"summaries\u002Fsummaries\u002Frun-gemma-4-on-iphone-at-40-tokens-sec-with-mlx-summary.md","Run Gemma 4 on iPhone at 40 Tokens\u002FSec with MLX",{"provider":7,"model":8,"input_tokens":4918,"output_tokens":4919,"processing_time_ms":4920,"cost_usd":4921},5614,1749,12368,0.00197465,{"type":14,"value":4923,"toc":4951},[4924,4928,4931,4934,4938,4941,4944,4948],[17,4925,4927],{"id":4926},"integrate-mlx-swift-lm-for-on-device-llm-apps","Integrate MLX Swift LM for On-Device LLM Apps",[22,4929,4930],{},"To build iOS, iPadOS, or macOS apps running LLMs locally on Apple Silicon, install the MLX Swift LM GitHub repo—a framework optimized by Apple for iPhone and Mac chips. The API is straightforward: pass a Hugging Face model ID, and it auto-downloads and runs the model. Implementation takes under 10 minutes, enabling native chatbots like Locally AI, which supports Gemma 4, Qwen, Small LM, and Apple Foundation models. For Python\u002FMac apps, use MLX variants like MLX VLM for vision-language or MLX Audio for speech. This setup ensures fully offline, optimized performance without cloud dependency.",[22,4932,4933],{},"Quantization is key for iPhone: select 4-8 bit versions from Hugging Face's MLX Community (nearly 5,000 models, quantized in 4-bit\u002F6-bit\u002F8-bit within 30 minutes of release). Avoid under 4-bit due to quality loss; full-precision models exceed device limits (e.g., 1-3GB downloads). Example: Gemma 4 4-bit or 8-bit runs smoothly, while tiny 300-350M parameter models enable Shortcuts automation for text processing.",[17,4935,4937],{"id":4936},"benchmark-performance-and-real-world-speed","Benchmark Performance and Real-World Speed",[22,4939,4940],{},"On latest iPhones, Gemma 4 4-bit quantized hits 40 tokens\u002Fsecond with streaming—fast enough for responsive chat UIs generating long outputs in seconds. Older iPhones deliver 20 tokens\u002Fsecond, still viable for most apps. Demo shows live, offline generation rivaling cloud speed without latency. Trade-offs: model size (1-3GB) is the main barrier, but shrinking models and improving hardware (e.g., next iPhone) boost usability. Enable non-streaming for batch tasks or streaming for interactive use.",[22,4942,4943],{},"MLX Swift LM supports tool calling (improved in recent models), though structured generation requires third-party packages from Hugging Face. The ecosystem expands to Omni models for text-to-speech, speech-to-speech, image\u002Fvideo generation.",[17,4945,4947],{"id":4946},"try-and-scale-with-apps-and-servers","Try and Scale with Apps and Servers",[22,4949,4950],{},"Test via free Locally AI app (App Store, QR code)—select verified MLX-compatible models; not all Hugging Face uploads work perfectly on iPhone. Recently acquired by LM Studio, which downloads\u002Fruns models via Llama.cpp or MLX, exposes OpenAI\u002FAnthropic-compatible servers for app integration. This combo lets you prototype on-device, scale to local servers, and compare engines for optimal speed\u002Fquality.",{"title":58,"searchDepth":59,"depth":59,"links":4952},[4953,4954,4955],{"id":4926,"depth":59,"text":4927},{"id":4936,"depth":59,"text":4937},{"id":4946,"depth":59,"text":4947},[125],{"content_references":4958,"triage":4971},[4959,4961,4963,4965,4968],{"type":4820,"title":4960,"context":4748},"MLX Swift LM",{"type":4820,"title":4962,"context":4748},"Locally AI",{"type":4820,"title":4964,"context":4748},"LM Studio",{"type":4820,"title":4966,"author":4967,"context":4748},"MLX Community","Hugging Face",{"type":4745,"title":4969,"author":4970,"context":4748},"Gemma 4","Google",{"relevance":4972,"novelty":4750,"quality":4750,"actionability":4972,"composite":4973,"reasoning":4974},5,4.55,"Category: AI & LLMs. The article provides a detailed guide on integrating MLX Swift LM for on-device LLM applications, addressing practical implementation steps that the target audience can directly apply. It includes specific instructions for model selection and performance benchmarks, making it highly actionable for developers looking to build AI-powered features.","\u002Fsummaries\u002Frun-gemma-4-on-iphone-at-40-tokens-sec-with-mlx-summary","2026-04-20 21:53:25","2026-04-26 17:03:54",{"title":4916,"description":58},{"loc":4975},"4a7efc75d166a49a","AI Engineer","https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=a2muGkT4WD4","summaries\u002Frun-gemma-4-on-iphone-at-40-tokens-sec-with-mlx-summary",[80,81,82],"Install MLX Swift LM repo, grab 4-8 bit quantized Gemma 4 from Hugging Face MLX Community, integrate via simple API for fast on-device inference on iPhone—40 tokens\u002Fsec on latest models.",[],"fGpYNXgs4aGHCLmpZDUIQGro6Q4Quq8JHUPzK02MQNg"]