Website profile

johndcook.com

Companies come to us for help data analysis and data privacy. Clients have included Amazon, Google, Microsoft, law firms, start-ups, and smaller businesses.

  • 29articles · 30d
  • 3+ day agolatest article
  • Aug 15, 2026earliest in window
  • 100%with images
  • 262avg words
articles per day
Categories
  • Science & Technology 27
  • Science & Nature 25
  • STEM 20
  • Computers & Electronics 6
  • Economy, Business & Finance 2
  • Software Dev. 2
  • Food & Drink 1
  • Internet & Telecom 1
Bylines

Please confirm you are human

This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.

A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.

Hold with a pointer, or hold Space or Enter.

News

johndcook.com
johndcook.com > blog > 09/09/2026 > four-colors

A 50-year-old computer-assisted proof

3+ day, 19+ hour ago   (254+ words) The idea of using computers to assist with proofs is not new. The first major computer-assisted proof was published in 1976, the proof of the four color theorem by Kenneth Appel and Wolfgang Haken. The authors reduced the proof of the…...

johndcook.com
johndcook.com > blog > 09/09/2026 > ai-multiplier

AI is an intelligence multiplier

3+ day, 20+ hour ago   (257+ words) A rising tide may lift all boats, but the AI tide lifts some boats much more than others. By all accounts, the best programmers have had the biggest productivity boost from AI. And top tier mathematicians are using AI to…...

johndcook.com
johndcook.com > blog > 09/03/2026 > hugging-face-easter-egg

Hugging Face Easter Egg

1+ week, 2+ day ago   (142+ words) NVIDIA has offered by buy Hugging Face for $12,930,300,000. 129303 is the Unicode code point for the Hugging Face emoj (U+1F917), which you can verify with the following Python code. >>> import unicodedata >>> 129303 == 0x1F917 True >>> unicodedata.name(chr(0x1F917)) 'HUGGING FACE' Related posts Prevent characters…...