Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

Regexss: Turned into over $6k in Bounties
sec.stealthcopter.com·7h·
Discuss: Hacker News
🛡️Parser Security
Organic memcapacitor-based neural network for diverse signal recognition
sciencedirect.com·1h
Control Synthesis
Enhancing Web Development with Large Language Models: A New Era of User Interaction - Mid-day
news.google.com·3h
🎮Language Ergonomics
Intel XeSS multi-frame generation reference found in driver files
tweaktown.com·13h
🤖Embedded Go
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·1d·
Discuss: Hacker News
🌊Streaming Lexers
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·2d·
Discuss: Hacker News
🔮Clojure
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·1d
🔗Hash Functions
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·1d
🧩Constraint Solvers
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·1d
📈Monotonic Logic
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·1d
🌱Minimal ML
DS-Diffusion: Data Style-Guided Diffusion Model for Time-Series Generation
arxiv.org·13h
🔍ML Language
FRAUDGUESS: Spotting and Explaining New Types of Fraud in Million-Scale Financial Data
arxiv.org·2d
🌸Bloom Filters
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·10h·
Discuss: DEV
Effect Inference
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·1d
🤖Abstract Machines
Guard Your Rust Code with Tests
dev.to·3d·
Discuss: DEV
🎲Test Generators
WolBanking77: Wolof Banking Speech Intent Classification Dataset
arxiv.org·13h
📊LR Parsing
Weakly Supervised Food Image Segmentation using Vision Transformers and Segment Anything Model
arxiv.org·13h
Effect Inference
Phase Diagram of Extensive-Rank Symmetric Matrix Denoising beyond Rotational Invariance
journals.aps.org·1d
🧮Linear Algebra
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·13h
📐Succinct Data Structures