Storing configuration directly in executable, with no external config (2023)
💧Liquid Types
Flag this post
HalfStyle: Style each half or third of a character, vertically or horizontally
📟Terminal Typography
Flag this post
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
arxiv.org·4h
✅Formal Methods
Flag this post
Enhancing Grant Proposal Evaluation via Hyperdimensional Semantic Analysis and Recursive Validation
📋Document Grammar
Flag this post
I Got Tired of Manually Repurposing My Blog Posts, So I Built an AI Tool to Do It For Me
🌀Brotli Internals
Flag this post
Dendrograms of Mixing Measures for Softmax-Gated Gaussian Mixture of Experts: Consistency without Model Sweeps
arxiv.org·4h
📈Mutual Information
Flag this post
Discrepancy Detection at the Data Level: Toward Consistent Multilingual Question Answering
arxiv.org·4h
🔍Z3 Parsing
Flag this post
Online KubeDiagrams Service
📦Container Security
Flag this post
Performance of Gaussian Boson Sampling on Planted Bipartite Clique Detection
arxiv.org·4h
⚛️Quantum Algorithms
Flag this post
Preference-Aware Memory Update for Long-Term LLM Agents
arxiv.org·1d
💻Local LLMs
Flag this post
VisualDAN: Exposing Vulnerabilities in VLMs with Visual-Driven DAN Commands
arxiv.org·1d
🕵️Vector Smuggling
Flag this post
HYPE: Hybrid Planning with Ego Proposal-Conditioned Predictions
arxiv.org·4h
⚡Z3 Optimization
Flag this post
Loading...Loading more...