InFeeo
United States
technology
New
Language

Channels

Show HN: Tabby – sleeps tabs based on RAM pressure, not fixed timers(chromewebstore.google.com)
Tabby watches your real memory pressure and automatically sleeps idle tabs before your browser slows down — with a cat that shows you exactly what's going on. One-time payment · No subscription · Works on Chrome, Edge & Brave Watch Tabby save 15.5GB of RAM in a single day — no setup needed Tabby runs quietly in the background. No setup needed. Just install and let the cat do its job. One click. No account. No permissions beyond what's needed. Ready immediately. The cat companion shows your browser's health in real time — happy, tired, or stressed. Tabs you haven't touched are gently rested. They reload instantly when you need them back. Less memory pressure. Smoother browsing. A happier cat — and a happier you. Active, pinned, audio & protected sites always stay awake. Lightweight, private, and does exactly what it promises. Tabby's mood changes based on your browser's memory pressure. Happy and bouncing when calm. Stressed when things get heavy. Tabby waits until tabs are truly idle before putting them to sleep. No aggressive discarding — just gentle, intelligent resting. Active tabs, pinned tabs, and tabs playing audio are never touched. Music, calls, and podcasts keep running. Add your own sites to the whitelist too. See tabs slept and memory reduced today. Resets every morning so you always know what Tabby did for you. Set your own thresholds. Name your companion. Add protected sites. Tabby adapts to exactly how you work. Zero browsing data collected. No servers. Runs only when your browser is open. Your tabs and history stay completely private. Tabby checks more frequently when your browser is stressed and slows down when things are calm — saving resources while staying responsive. Tabby automatically scans your system memory and sets smart default thresholds based on what your device can actually handle — no manual setup needed. Need instant relief? Hit "Put Tabs to Sleep" and Tabby aggressively clears all idle tabs right now — no waiting, no timers. You're always in control. Three states. Three behaviors. Always adapting to keep your browser healthy. Memory is comfortable. Tabby is bouncing happily. No action needed — just enjoying the calm. Memory is climbing. Tabby starts watching closely and quietly puts idle tabs to sleep every 2 minutes. Memory is critical. Tabby acts immediately — sleeping all eligible tabs to bring things back under control. Pay once. Own it forever. No subscriptions, no hidden fees. One-time · All future updates included · No subscription ever Tabby does not collect, store, or transmit any personal data, browsing history, or user information of any kind. All settings and daily stats are stored exclusively on your device using Chrome's built-in storage API. This data never leaves your browser. Tabby connects to LemonSqueezy solely to verify your purchase license key. Install and use immediately. No sign-up, no login, no email address needed — ever. Questions about this policy?Reach out and we'll respond promptly.
Weave: Merging based on language structure and not lines(github.com)
Entity-level semantic merge driver for Git. Two agents edit different functions in the same file? Clean merge. Every time. 31 merge scenarios across 7 languages. Full breakdown → Use just the merge driver. Or add coordination for multi-agent workflows. Full docs → Replaces git's line-level merge. Parses code with tree-sitter, merges by function and class. Agents claim entities before editing. Detect conflicts before they happen. 15 tools via Model Context Protocol. Claude and other AI agents call them directly. Entity extraction powered by sem-core and tree-sitter. Plus 5 data formats. Full list →
Zero-knowledge SAT validation engine(frontend-seven-delta-66.vercel.app)
0 classifications 0 Set A (probe) 0 Set B (solver) — solver calls avoided Theoretical Result A 6.36σ universal separability signal exists across the SAT phase transition — a previously undescribed structural property of random k-SAT, validated n=15 to n=500 on random 3-SAT · SATLIB benchmarks n=50–100. This signal partitions instances without solver invocation, enabling 57% solver call reduction on hard phase-transition instances. Parks SAT Framework (PTSF) · Alika M. Parks · Kalaheo, Hawaii · 2026 — instances classified globally Performance Metrics 57% solver call reduction · Tier 1 classifier 47x vs MiniSAT · Tier 1 · benchmark hardware · n=50 3.9x vs Kissat · Tier 2 VIG-CDCL solver · mean n=20–100 9.7x vs Kissat · Tier 2 peak · n=75 6.36σ universal separability signal · n=15 to n=500 0.999 Tier 1 accuracy · SATLIB validated 100% Tier 2 solver correctness · n=20–100 validated Tier 1 (classifier): ~57% · no solver ·