Type-level Programming, Proof-carrying Code, Agda, Type Safety
Weekly Update 465
troyhunt.com·56m
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.com·3d
DualPhys-GS: Dual Physically-Guided 3D Gaussian Splatting for Underwater Scene Reconstruction
arxiv.org·2d
Deep and diverse population synthesis for multi-person households using generative models
arxiv.org·2d
FlowTime
hackster.io·1d
DAgger Diffusion Navigation: DAgger Boosted Diffusion Policy for Vision-Language Navigation
arxiv.org·2d
Loading...Loading more...