Nix pills
nixos.orgยท1d
โ„๏ธNixpkgs
Medium Android App โ€” Migrating from Apollo Kotlin 3 to 4: Lessons Learned
medium.engineeringยท22h
๐ŸŽ๏ธVarnish Cache
Adversary TTP Simulation Lab
infosecwriteups.comยท1h
๐Ÿ Homelab Pentesting
Language Support for Marginalia Search
marginalia.nuยท1d
๐Ÿ”BitFunnel
Practical ZFS Performance Tuning: ARC, L2ARC, and SLOG Explained
discoverbsd.comยท1d
๐Ÿ”eBPF
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocksยท1dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Atomic and Saturated Models
functor.networkยท3dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
A many-objective evolutionary algorithm using indicator-driven weight vector optimization
arxiv.orgยท1d
๐Ÿ“Vector Dimensionality
VisitHGNN: Heterogeneous Graph Neural Networks for Modeling Point-of-Interest Visit Patterns
arxiv.orgยท1d
๐ŸŒ€Hyperbolic Geometry
Expand Neurons, Not Parameters
arxiv.orgยท3h
๐Ÿ“ŠQuantization
Automatic Building Code Review: A Case Study
arxiv.orgยท1d
๐Ÿ“Code Metrics
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.orgยท1d
โš›๏ธQuantum Compilers
Evaluating LLMs for Demographic-Targeted Social Bias Detection: A Comprehensive Benchmark Study
arxiv.orgยท3h
๐Ÿ“œDigital Philology
Thinking on the Fly: Test-Time Reasoning Enhancement via Latent Thought Policy Optimization
arxiv.orgยท3h
๐Ÿ’ปLocal LLMs
Can LLMs Detect Ambiguous Plural Reference? An Analysis of Split-Antecedent and Mereological Reference
arxiv.orgยท3h
๐Ÿ”—Monadic Parsing
LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.orgยท3h
๐Ÿ’ปLocal LLMs
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.orgยท3h
๐Ÿง Machine Learning
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgยท3h
โœ“Automated Theorem Proving