[{"data":1,"prerenderedAt":120},["ShallowReactive",2],{"maker-nsomani":3},[4,35,58,82,98],{"id":5,"name":6,"line":7,"ai":8,"cat":9,"year":10,"points":11,"comments":12,"rec":13,"s":14,"top":15,"kw":16,"maker":21,"domain":22,"tier":23,"attempts":24,"strip":25,"url":26,"mix":27,"praise":32,"objection":33,"sub":34},23190921,"senator-filings","A tool to scrape senators' stock transactions for your own analysis",false,"finance_crypto",2020,350,80,"curious",0.07,4,[17,18,19,20],"senator stock trades","congressional trading","stock transactions scraper","insider trading","nsomani","github.com","legend",0,"5300053013333100000000030335530000003333","https:\u002F\u002Fgithub.com\u002Fneelsomani\u002Fsenator-filings",[28,29,30,31],5,17,1,3,"Transparency tool that is needed and could reduce corruption.","Senators' trades are small and may show no insider edge.","stock trading data analysis",{"id":36,"name":37,"line":38,"ai":8,"cat":39,"year":40,"points":41,"comments":42,"rec":43,"s":44,"top":45,"kw":46,"maker":21,"domain":51,"tier":52,"attempts":24,"strip":53,"url":54,"mix":55,"praise":-1,"objection":56,"sub":57},44486228,"Today on Tech Twitter","A website to summarize Tech Twitter each day","ai",2025,11,2,"quiet",null,71,[47,48,49,50],"tech twitter summary","gpt-4.1","daily tech news","ai summarizer","todayontechtwitter.com","shown","10","https:\u002F\u002Fwww.todayontechtwitter.com",[24,24,24,30],"Only three summaries a day, available from Google News","ai news summarizer",{"id":59,"name":60,"line":61,"ai":8,"cat":62,"year":40,"points":63,"comments":64,"rec":65,"s":66,"top":67,"kw":68,"maker":21,"domain":22,"tier":74,"attempts":24,"strip":75,"url":76,"mix":77,"praise":80,"objection":81,"sub":69},45674126,"Cuq","Formal Verification of Rust GPU Kernels","dev_tools",94,63,"mixed",-0.32,21,[69,70,71,72,73],"formal verification","rust cuda","coq","gpu kernels","ptx memory model","notable","0330100010000000031000301000135000113010","https:\u002F\u002Fgithub.com\u002Fneelsomani\u002Fcuq",[30,78,42,79],7,8,"Project is pretty cool","The name sounds like a slur or rude word",{"id":83,"name":84,"line":85,"ai":8,"cat":86,"year":87,"points":88,"comments":42,"rec":43,"s":44,"top":89,"kw":90,"maker":21,"domain":22,"tier":52,"attempts":42,"strip":95,"url":96,"mix":97,"praise":-1,"objection":-1,"sub":91},46518608,"Symbolic Circuit Distillation","prove program to LLM circuit equivalence","learning_science",2026,16,53,[91,92,93,69,94],"mechanistic interpretability","circuit distillation","smt equivalence checking","transformer circuits","30","https:\u002F\u002Fgithub.com\u002Fneelsomani\u002Fsymbolic-circuit-distillation",[24,30,24,24],{"id":99,"name":100,"line":101,"ai":8,"cat":102,"year":87,"points":103,"comments":104,"rec":105,"s":24,"top":106,"kw":107,"maker":21,"domain":113,"tier":52,"attempts":24,"strip":114,"url":115,"mix":116,"praise":117,"objection":118,"sub":119},46549231,"The Daily Auction","A website that auctions itself daily","web_saas",43,19,"roasted",31,[108,109,110,111,112],"solana auction","english auction","codex editor","daily auction website","crypto auction","thedailyauction.com","1010505300000001000","https:\u002F\u002Fwww.thedailyauction.com\u002F",[42,30,24,31],"Cool idea, moves toward constantly changing online content","Security risk from editable homepage content and social engineering","online auction",1794036772400]