📐 Theorem Proving - laurynas · Scour

Identification of PTPRR gene associated with cirrhosis and sarcopenia based on bioinformatics and machine learning 🗃️databases

·4d

Why India has banned sugar exports till September 2026: 6 alternatives to sugar in Indian kitchens 🔍AI Interpretability

timesofindia.indiatimes.com

·2d

Byron Dix’s Portraits Feel Like Album Covers From Another Future 🎯Reranking

designyoutrust.com·2d

Cardio Party Workout [ How-To ] [ One Set ] by #DAREBEE 👆human-computer interaction

youtube.com·3d

Snake plant falling over? Here's what's wrong and how to fix it 🎯Reranking

·2d

How to build a company that withstands any era | Eric Ries, Lean Startup author 🌊Stream Processing

lennysnewsletter.com

·5d

Use this map to find the data centers in your backyard 🌊Stream Processing

·1d

12 Min HIIT Workout for Women 40+ | Full Body Fat Burn (No Repeats) Warm up + Cooldown 🎯Reranking

youtube.com·4d

Founders Stories Podcast: Isabelle Bichler-Eliasaf on retraining AI to retrain people 🎯Reranking

squarepeg.vc·2d

examples : add llama-eval by ggerganov · Pull Request #21152 ✨UI generation

github.com·3d·r/LocalLLaMA

‘Parallel Tales’ Review: Isabelle Huppert Is a French Novelist Spying on the Apartment Across the Street in Asghar Farhadi’s Weirdly Muddled Voyeuristic Head Ga... 🎛️interfaces

variety.com·1d·r/ForeignMovies

Lynx look to defense, rebounding in road clash with Wings 🎮Reinforcement Learning

deadspin.com·1d

Bookbinding 101: Five-Hole Pamphlet Stitch 🎯Reranking

kokorobot.ca·4d

Out of work? Don’t think twice about collecting unemployment benefits 🌊Stream Processing

fastcompany.com·2d

Parallel Tales review – Isabelle Huppert pens furtive sexual fantasy for Vincent Cassel in Asghar Farhadi’s latest 🎛️interfaces

theguardian.com·1d

Lofree Lipstick Mechanical Keyboard 🎛️interfaces

blessthisstuff.com·3d

A Modern Sneaker Built on Real Heritage ⚙Context engineering

blessthisstuff.com·1d

AI drives boom in one-person companies nationwide 🤝Multi-Agent Systems

TIAA CEO Thasunda Brown Duckett’s 3 rules for Gen Z entering the workforce: Adapt, lean in, and build a bigger table 🎛️interfaces

·4d

Automating Bitvector and Finite Field Equivalence Proofs in Lean 🧪Property-based Testing

Sign up or log in to see more results

Log in to enable infinite scrolling