ProofRun – a local verification receipt for AI coding agents
给你的AI编码代理加上加密验证收据,让“测试通过”不再只凭一句空话。
Article URL: https://github.com/yebiguo/ProofRun Comments URL: https://news.ycombinator.com/item?id=49316605 Points: 2 # Comments: 0
给你的AI编码代理加上加密验证收据,让“测试通过”不再只凭一句空话。
Article URL: https://github.com/yebiguo/ProofRun Comments URL: https://news.ycombinator.com/item?id=49316605 Points: 2 # Comments: 0
开源项目,为固件CVE复现生成可验证收据,提升安全研究透明度和可信度
Article URL: https://github.com/prevotai/colmena Comments URL: https://news.ycombinator.com/item?id=49089763 Points: 3 # Comments: 0
给每个大模型回复加盖“收据”,一个开源AI网关,让AI输出变得可验证、可溯源。
Article URL: https://github.com/AxioRank/gateway/tree/main Comments URL: https://news.ycombinator.com/item?id=48880034 Points: 1 # Comments: 0
开源工具,为OpenAI和Anthropic API提供逐次调用的计费收据,轻松管理账单。
Article URL: https://github.com/inferock/inferock-bench Comments URL: https://news.ycombinator.com/item?id=48868354 Points: 1 # Comments: 0
Shop应用冒出陌生收据?别慌,这是新型诈骗,教你三步识破并处理。
Scammers are inserting fraudulent invoices into Shop histories.
据报道,高盛集团的股票交易业务即将在第二季度创下另一项纪录,营收额有望超过50亿美元。高盛股票交易的业绩受到亚洲市场活跃度激增的提振,这种活跃度推动了交易和融资活动的增长。这一局面主要归功于对冲基金的强劲需求,它们热衷于押注AI及其相关基础设施投资的爆发式增长。投资者对SpaceX创纪录IPO的热情…
让AI代理行为拥有可验证收据,AERF通过Ed25519签名确保可信溯源。
Article URL: https://github.com/aerf-spec/aerf Comments URL: https://news.ycombinator.com/item?id=48369900 Points: 1 # Comments: 0
多模态大模型在真实收据文档理解上的基准测试与改进,揭示现有模型局限并推进从识别到推理的能力跃升。
arXiv:2605.22413v1 Announce Type: new Abstract: Extracting structured information from visual documents (Visual Information Extraction, VIE) is a corn…