Entropy in algorithm analysis
11011110.github.io·2d
🧮Kolmogorov Complexity
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
📡RSS Automation
Flag this post
Scala vs. F#
💧Liquid Types
Flag this post
My Experience as a SDE Intern at AWS
🔩Systems Programming
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·11h
⚡Incremental Computation
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·11h
🔐Homomorphic Encryption
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·11h
🔲Cellular Automata
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·1d
🚀Query Optimization
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·11h
🧠Learned Indexing
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·11h
✨Effect Handlers
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·11h
🔄Reproducible Builds
Flag this post
Prog8
🔩Systems Programming
Flag this post
“From Code to Content: Why I Tested ChatGPT vs Grammarly for My Blog”
⚡Proof Automation
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·11h
🔤DSLs
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·11h
🧠Machine Learning
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·11h
💻Local LLMs
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·11h
🔍Vector Forensics
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·11h
🧮Constraint Solvers
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·11h
🎯Proof Tactics
Flag this post
Loading...Loading more...