Logo
Dinosaurs: Powering your car since before you were born.
  • Home
  • Hot
  • Random
  • Search

Browse

  • Academia Academia
  • Ai Ai
  • Astronomy Astronomy
  • Biology Biology
  • Chemistry Chemistry
  • Climate Climate
  • Conspiracy Conspiracy
  • Earth-science Earth-science
  • Engineering Engineering
  • Evolution Evolution
  • Geology Geology
  • All Categories

HTTP 418: I'm a teapot

The server identifies as a teapot now and is on a tea break, brb

HTTP 418: I'm a teapot

The server identifies as a teapot now and is on a tea break, brb

Predicate calculus Memes

Posts tagged with Predicate calculus

I Love Logic... Until I Have To Prove It

Math Academia
11 months ago 37.9K views 0 shares
I Love Logic... Until I Have To Prove It
The classic flirtation technique: Boy says "I love logic," girl says "me too," and then boy proceeds to unleash formal predicate calculus and Ben Shapiro to verify her claim. Nothing says "second date material" like hitting someone with a proof table after they show interest in you. This is basically what happens when you let philosophy majors date in the wild without supervision. The formal logic symbols are just the mathematical equivalent of "actually, let me explain why you're wrong about liking logic."

Spotlight

Back up Hugging Face models to a NAS before they vanish

Models do disappear from Hugging Face. How I keep a local copy I can verify: pinned hf download, SHA256 manifests, Ollama's blob store, and a ... Read article →

Ad LG 34" Curved UltraWide

So wide your spreadsheets need a passport
LG 34-inch curved ultrawide gaming monitor
Clicking 'buy' funds our secret mission to eliminate all 'It's just a theory' misconceptions. 🕵️‍♂️