are-dependent-types-actually-erased
๐Dependent Types
Flag this post
Binary Breadcrumbs: Correlating Malware Samples with Honeypot Logs Using PowerShell [Guest Diary], (Wed, Nov 5th)
isc.sans.eduยท4h
๐ก๏ธParser Security
Flag this post
An end-to-end multilingual framework for intelligent analysis of risk influence factors in ship grounding accidents
sciencedirect.comยท2d
๐Language Bridges
Flag this post
PrivyWave: Privacy-Aware Wireless Sensing of Heartbeat
arxiv.orgยท1h
๐Hash Functions
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.orgยท1h
๐กBinary Protocols
Flag this post
Finding Non-Redundant Simpson's Paradox from Multidimensional Data
arxiv.orgยท2d
๐ชขRope Data Structures
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.orgยท2d
โจGleam
Flag this post
Towards Selection of Large Multimodal Models as Engines for Burned-in Protected Health Information Detection in Medical Images
arxiv.orgยท1d
โจEffect Inference
Flag this post
Math.random, friend or foe?
๐Hash Functions
Flag this post
LGCC: Enhancing Flow Matching Based Text-Guided Image Editing with Local Gaussian Coupling and Context Consistency
arxiv.orgยท1d
๐ฑMinimal ML
Flag this post
Beyond Scarcity: How LLM-Driven Synthetic Data Generation is Reshaping AI
pub.towardsai.netยท1d
๐ญProgram Synthesis
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.orgยท2d
๐บ๏ธRegion Inference
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
๐ฎLanguage Ergonomics
Flag this post
Neural Physics: Using AI Libraries to Develop Physics-Based Solvers for Incompressible Computational Fluid Dynamics
arxiv.orgยท1h
๐ช๏ธV8 TurboFan
Flag this post
Open Character Training: Shaping the Persona of AI Assistants through Constitutional AI
arxiv.orgยท2d
๐ฏFinite Automata
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.orgยท1d
โจEffect Inference
Flag this post
Loading...Loading more...