aware
12 stories and discussions about aware, aggregated from every source we track.
It’s an egraph that supports well-scoped alpha aware binders.
Fast, robust, accurate, syntax-aware code diffing. - ivankovic/codediff
Jev isn't perfect. Here are some jagged edges we are aware of with jev-1.13. Many of these will be fixed in later versions.
Jev isn't perfect. Here are some jagged edges we are aware of with jev-1.13. Many of these will be fixed in later versions.
Zero-dependency Java sorted Set and Map library featuring binary and N-ary tree families, JMH benchmarks, and hardware-counter-backed performance analysis. - Chaos-vy/ChaosTree
Temporary tables and named sessions live on a single ClickHouse replica, so a follow-up query routed elsewhere can't see them. Replica-aware routing pins your requests to the same replica over HTTP or the native…
WorldCrafter: Consistent Video World Model with Implicit 3D-aware Memory
Agent-aware terminal resource monitor: htop and nvitop fused, grouped by the agent that owns each process. - dynaum/agdog
Online OS tuning can improve long-running services, but existing controllers are poorly matched to live hosts. They treat scheduler, power, memory, and I/O controls as black-box variables and optimize a scalar reward.…
This PEP proposes adding two new operators.
This PEP proposes adding two new operators.