are-dependent-types-actually-erased
chadnauseam.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Dependent Types
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
How Self-Attention Actually Works (Simple Explanation)
dev.toยท20hยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post
Reverse Engineering Googles BotGuard
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“œBytecode Interpreters
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.orgยท2d
โœจGleam
Flag this post
Math.random, friend or foe?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Hash Functions
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
dev.toยท2dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
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
Personal Standard Library - Generic and Type-Safe Containers
reddit.comยท1dยท
๐Ÿ“‹Row Typing
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.orgยท2d
๐ŸชœRecursive Descent
Flag this post