Handbook of Satisfiability (2021)
🔗Combinatory Logic
Flag this post
Show HN: ChatGPT for Forms
🎙️Whisper
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·11h
🎞️Tape Combinatorics
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
✨Effect Handlers
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·11h
⚡Incremental Computation
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·11h
⏱️SMPTE Timecode
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·11h
🎙️Whisper
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🌀Brotli Internals
Flag this post
A filtering scheme for confocal laser endomicroscopy (CLE)-video sequences for self-supervised learning
arxiv.org·11h
🌀Riemannian Computing
Flag this post
🧠 Mastering Goroutines in Go: The Power of Lightweight Concurrency.
🔩Systems Programming
Flag this post
Day 24: Python Countdown with Boom – Reverse Loop Printing "Boom" on Multiples of 3
🔗Concatenative Languages
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·11h
🧮Vector Embeddings
Flag this post
AI Powered High Quality Text to Video Generation with Enhanced Temporal Consistency
arxiv.org·11h
🧠Learned Codecs
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
🧮Vector Embeddings
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·11h
🕸️Network Topology
Flag this post
Loading...Loading more...