Singletons, Type-level Programming, GADTs, Kind Polymorphism
Microsoft Copilot trashtalks chatGPT, loses badly in Atari 2600 chess showdown (linkedin.com)
linkedin.com·1d
Apache Under the Lens: Tomcat’s Partial PUT and Camel’s Header Hijack
unit42.paloaltonetworks.com·22h
SafeMobile: Chain-level Jailbreak Detection and Automated Evaluation for Multimodal Mobile Agents
arxiv.org·2d
VirtualFencer: Generating Fencing Bouts based on Strategies Extracted from In-the-Wild Videos
arxiv.org·2d
Feature Integration Spaces: Joint Training Reveals Dual Encoding in Neural Network Representations
arxiv.org·2d
VEDA: Efficient LLM Generation Through Voting-based KV Cache Eviction and Dataflow-flexible Accelerator
arxiv.org·2d
Misaligned from Within: Large Language Models Reproduce Our Double-Loop Learning Blindness
arxiv.org·4h
Identifying Systems with Symmetries using Equivariant Autoregressive Reservoir Computers
arxiv.org·2d
Loading...Loading more...